Applications of Join Java

Authors:
G Stewart Itzstein;David Kearney
Affiliations:
University of South Australia, Mawson Lakes Campus, Mawson Lakes, Adelaide, South Australia 5095;University of South Australia, Mawson Lakes Campus, Mawson Lakes, Adelaide, South Australia 5095
Venue:
CRPIT '02 Proceedings of the seventh Asia-Pacific conference on Computer systems architecture
Year:
2002

Citing 6
Cited 6

Coloured Petri nets

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Compiling with continuations

Compiling with continuations
The chemical abstract machine

Selected papers of the Second Workshop on Concurrency and compositionality
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
A Distributed Real-Time Java System Based on CSP

ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Design and Implementation of Triveni: a Process-algebraic API for Threads + Events

ICCL '98 Proceedings of the 1998 International Conference on Computer Languages

Introducing ReConfigME: An Operating System for Reconfigurable Computing

FPL '02 Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications
Modern concurrency abstractions for C#

ACM Transactions on Programming Languages and Systems (TOPLAS)
A programming language for web service development

ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Exclusion requirements and potential concurrency for composite objects

Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
Synchronizing control flow in a tuplespace-based, distributed workflow management system

Proceedings of the 10th international conference on Electronic commerce
GPSL: a programming language for service implementation

FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.