Associating synchronization constraints with data in an object-oriented language

2006 ◽  
Author(s):  
Mandana Vaziri ◽  
Frank Tip ◽  
Julian Dolby
Keyword(s):  
Object Oriented ◽  
Synchronization Constraints

SC-EXPRESSIONS IN OBJECT-ORIENTED LANGUAGES

2007 ◽  
Vol 18 (06) ◽  
pp. 1441-1452
Author(s):  
SHENG YU ◽  
QING ZHAO
Keyword(s):  
Parallel Programming ◽  
Programming Language ◽  
Object Oriented ◽  
Automata Theory ◽  
Basic Ideas ◽  
Basic Features ◽  
Synchronization Constraints ◽  
Object Oriented Languages ◽  
Parallel Programming Language

In this paper, SC-expressions are developed, based on automata theory, for specifying synchronization constraints in parallel object-oriented languages. The predecessor of SC-expressions, the synchronization expressions, was introduced in the ParC parallel programming language in the early nineties [19]. However, ParC is not an object-oriented language and also a number of basic features of synchronization expressions are inadequate for object-oriented languages. SC-expressions are developed for object-oriented environment. They are different from synchronization expressions in basic ideas and assumptions. Here we describe the basic ideas of SC-expressions and their applications in object-oriented languages. We also study the problem of inheritance of the SC-expressions.

Associating synchronization constraints with data in an object-oriented language

2006 ◽  
Vol 41 (1) ◽  
pp. 334-345 ◽  
Author(s):  
Mandana Vaziri ◽  
Frank Tip ◽  
Julian Dolby
Keyword(s):  
Object Oriented ◽  
Synchronization Constraints

scholarly journals Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects

2003 ◽  
Vol 10 (6) ◽  
Author(s):  
Giuseppe Milicia ◽  
Vladimiro Sassone
Keyword(s):  
Temporal Logic ◽  
Current Trend ◽  
Object Oriented ◽  
Linear Temporal Logic ◽  
Temporal Constraints ◽  
Concurrent Objects ◽  
Synchronization Mechanisms ◽  
Inheritance Anomaly ◽  
Synchronization Constraints ◽  
Object Oriented Languages

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 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.

Early generation of performance models for object-oriented systems

2000 ◽  
Vol 147 (3) ◽  
pp. 61 ◽  
Author(s):  
V. Cortellessa ◽  
G. Iazeolla ◽  
R. Mirandola
Keyword(s):  
Object Oriented ◽  
Performance Models ◽  
Early Generation ◽  
Object Oriented Systems

Object-oriented approach

IEE Review ◽  
1990 ◽  
Vol 36 (9) ◽  
pp. 338
Author(s):  
Stephen Wilson
Keyword(s):  
Object Oriented ◽  
Object Oriented Approach ◽  
Oriented Approach
Sign in / Sign up

Export Citation Format

Share Document