Prototyping Object Specifications Using the CO-Nets Approach

6th Workshop AWPN-99

计算机科学;社会科学（总论）

Nasreddine Aoumeur ; Stefan Conrad ; Gunter Saake

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

来源: 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 benefits of these (validation) capabilities, we presents how prototyping and implementation of systems specified using widely accepted information systems languages, namely the Troll language, can be directly drawn up. This is mainly achieved through an intuitive translation of such specifications 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 efficient rapid-prototyping.