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 existing 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. We focus 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.