Object-Oriented Modeling and Analysis Capabilities

D. Buchs, M. Buffo, F. Kordon

LIP6 2000/001: Rapport de Recherche LIP6 / LIP6 research reports
36 pages - Février/February 2000 - Document en anglais.

PostScript : 141 Ko /Kb

Contact : par mail / e-mail

Thème/Team: Systèmes Répartis et Coopératifs

Titre français : Modélisation Orienté Objet et Analyse de spécifications
Titre anglais : Object-Oriented Modeling and Analysis Capabilities

Résumé : 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.

Abstract : 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.

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

Key-words : Formal Specification, Validation, Verification, Prototyping, Distributed

Publications internes LIP6 2000 / LIP6 research reports 2000

Responsable Éditorial / Editor :Denis.Poitrenaud@lip6.fr