Applications of Join Java

摘要

We have previously proposed Join Java, a super-set of Java that incorporates the synchronisation and concurrency semantics of the Join calculus. Join Java incorporates asynchronous method calls and message passing. These modifications support the object-oriented flavour of Java. Synchronisation is expressed by a conjunction of method calls that will execute associated code only when all parts of the condition are satisfied. Thread creation is expressed by addition of a new return type that indicates an asynchronous method. This paper illustrates how Join Java can be used to represent two popular process semantics in a straight forward manner. In this paper we first examine state charts and how they map directly into Join Java syntax. We then examine Petri nets and how they also map into Join Java.