Modelling a Secure, Mobile and Transactional System with CO-OPN

Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new application domains include dynamicity, mobility, security, and localization dependent computing. In order to fully model and prototype such systems we propose to use several concepts introduced in our specification language CO-OPN, like context, dynamicity, mobility, subtyping and inheritance. CO-OPN (Concurrent Object Oriented Petri Net) is a formal specification language for modelling distributed systems; it is based on coordinated algebraic Petri nets. This paper focuses on the use of several basic mechanisms of CO-OPN for modelling mobile systems and the generation of corresponding Java code. A significant example of distributors accessible through mobile devices (for example, PDA with Bluetooth) is fully modelled and implemented with our technique.


Editor(s):
Lilius, Johan
Balarin, Felice
Machado, Ricard J.
Published in:
Proceedings of the International Conference on Application of Concurrency to System Design, Guimarães, Portugal, 82-91
Year:
2003
Publisher:
IEEE CS Press
Keywords:
Note:
Also available as Technical Report IC/2003/14, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences
Laboratories:




 Record created 2005-09-20, last modified 2018-01-27

External link:
Download fulltext
n/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)