Jeeg: temporal constraints for the synchronization of concurrent objects: Research Articles

Authors:
Giuseppe Milicia;Vladimiro Sassone
Affiliations:
Basic Research in Computer Science (BRICS), University of Aarhus, IT-parken Aabogade 34, DK-8200 Aarhus, Denmark;Informatics, University of Sussex, Brighton BN1 9QH, U.K.
Venue:
Concurrency and Computation: Practice & Experience - 2002 ACM Java Grande—ISCOPE Conference Part I
Year:
2005

Citing 0
Cited 2

EventJava: An Extension of Java for Event Correlation

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
simpA: An agent-oriented approach for programming concurrent applications on top of Java

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mechanisms of Java that results in a complete decoupling of the ‘business’ and the ‘synchronization’ code of classes. Synchronization constraints in Jeeg are expressed in a linear temporal logic, which allows one to effectively limit the occurrence of the inheritance anomaly that commonly affects concurrent object-oriented languages. Jeeg is inspired by the current trend in aspect-oriented languages. In a Jeeg program the sequential and concurrent aspects of object behaviors are decoupled: specified separately by the programmer, these are then weaved together by the Jeeg compiler. Copyright © 2005 John Wiley & Sons, Ltd.