MEFISTO WP2-6
Sy, O., Navarre, D., Le, D., Palanque, P., Bastide, R.
Formal definition of Interactive Cooperative Objects
This document presents the exhaustive formal definition of the Interactive Cooperative Objects (ICO) formal specification technique. It encompasses the presentation of several formal specification techniques grounding the ICO formalism. As ICOs can be seen as being at the top of a pyramid of formal specification techniques, we represent here the evolution from basic Petri nets to ICOs through the presentation of Object Petri nets and Cooperative Objects.
A small but complete application is then used for exemplifying the various concepts and notations used in the first parts of the document.
Home
Overview
Contact list
Planning of Work
Documents
Workspace
Related Links
Statistics