Object-Oriented Modeling and Analysis Capabilities

Modélisation Orienté Objet et Analyse de spécifications

Didier Buchs , Mathieu Buffo , Fabrice Kordon (1)

1 SRC - Systèmes répartis et coopératifs

Usual object-oriented modeling notations have either high expressivity, or a high proof-potential. As a consequence, developers have to choose between an easy modeling or good analysis capability. This paper proposes to bridge the object-oriented modeling language CO-OPN with the Petri-net based formalism AMI-nets. Hence, user can manipulate easy-to-use, expressive CO-OPN models, while keeping high proof-potential thanks to AMI nets.

Les notations courrament utilisées en modélisation de système proposent soit une bonne expressivité, soit un bon potentiel de preuve, jamais les deux. Ainsi, les utilisateurs de telles méthodes doivent choisir entre la facilité de modélisation et les possibilités d'analyse des modèles ainsi produits. Dans ce papier, nous proposons un pontage entre CO-OPN, un langage de modélisation orienté objet, et le formalisme AMI-Net, un dialexte réseau de Petri. L'objectif est de permettre aux modélisateurs de profiter de l'expressivité de CO-OPN et de l'associer aux outils de preuve associés aux AMI-Nets.

Mots clés: Formal Specification; Validation; Verification; Prototyping; Distributed

Mots clés: Spécification formelle; Validation; Vérification; Prototypage; Systèmes Répartis

Domaines: Informatique [cs]

Didier Buchs, Mathieu Buffo, Fabrice Kordon. Object-Oriented Modeling and Analysis Capabilities. [Research Report] lip6.2000.001, LIP6. 2000. ⟨hal-02548276⟩