LIP6 2000/001

• Rapports de recherche
  Modélisation Orienté Objet et Analyse de spécifications
• D. Buchs, M. Buffo, F. Kordon
• 36 pages - 17/02/2000- document en - http://www.lip6.fr/lip6/reports/2000/lip6.2000.001.ps.gz - 145 Ko
• Contact : Fabrice.Kordon (at) nulllip6.fr
• Ancien Thème : SRC
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 : Spécification formelle, Validation, Vérification, Prototypage, Systèmes Répartis
• Directeur de la publication : Denis.Poitrenaud (at) nulllip6.fr