Applications of Join Java
Date
2002
Authors
Von Itzstein, G.S.A.
Kearney, D.A.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Journal article
Citation
Australian computer science communications, 2002; 24(3):37-46
Statement of Responsibility
Conference Name
Abstract
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.
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright 2002 IEEE