LIP6 2000/001

• Reports
  Modélisation Orienté Objet et Analyse de spécifications
• D. Buchs, M. Buffo, F. Kordon
• 36 pages - 02/17/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
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.
• Keywords : Formal Specification, Validation, Verification, Prototyping, Distributed
• Publisher : Denis.Poitrenaud (at) nulllip6.fr