Prototyping Object Specications Using the CO-Nets Approach

Annual Linux Symposium 2006

Nasreddine Aoumeur ; Stefan Conrad ; Gunter Saake

Others  :  http://CEUR-WS.org/Vol-26/nasreddine.pdf
PID  :  975

来源: CEUR

【 摘 要 】

The CO-Nets approach, that we are developing, is an object oriented Petri net-based framework for specifying as well as prototyping|through graphical animation accompanied by a concurrent computation based on its semantics expressed in rewriting logic|distributed information systems. Taking benets of these (validation) capabilities, we presents how pro- totyping and implementation of systems specied using widely accepted information sys- tems languages, namely the Troll language, can be directly drawn up. This is mainly achieved through an intuitive translation of such specications into the CO-Nets approach where graphical animation and formal computation are carried out. Moreover, because of the capabilities of the CO-Nets approach for conceiving such systems as autonomous but yet cooperative components, it becomes semantically sound to enrich these languages with syntactical constructions for more modularity leading to more ecient rapid-prototyping.