Online Version - Last Updated - 20 Jan 2012 |
 |
| Home |
| |
| Procedures and Resources for Authors |
|
| Information and Resources for Volume Editors |
| |
| Orders and Subscriptions |
| |
| Published Articles |
|
| Upcoming Volumes |
| |
| Contact Us |
| |
| Useful External Links |
| |
| CRPIT Site Search |
Applications of Join Java
Itzstein, G.S. and Kearney, D.
We have previously proposed Join Java, a super-set of Java that incorporates the synchronization and concurrency semantics of the Join calculus. Join Java incorporates asynchronous method calls and message passing. These modification support the object-oriented flavour of Java. Synchronization 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.
Cite as: Itzstein, G.S. and Kearney, D. (2002). Applications of Join Java. In Proc. Seventh Asia-Pacific Computer Systems Architectures Conference (ACSAC2002), Melbourne, Australia. CRPIT, 6. Lai, F. and Morris, J., Eds. ACS. 37-46.
(from crpit.com)
(local if available)
