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.