TY - GEN
T1 - A language framework for multi-object coordination
AU - Frølund, Svend
AU - Agha, Gul
N1 - The first author is supported in part by the Danish Research Academy and a research fellowship from the Natural Science Faculty of h h u s University in Denmark.
The research described in this paper was carried out at the University of Illinois Open Systems Laboratory (OSL). The work at OSL is supported by grants from the Office of Naval Research (ONR contract number N00014-90-J-lS99), Digital Equipment Corporation, and by joint support from the Defense Advanced Research Projects Agency and the National Science Foundation (NSF CCR 90-07195).
PY - 1993
Y1 - 1993
N2 - We have developed language support for the expression of multi-object coordination. In our language, coordination patterns can be specified abstractly, independent of the protocols needed to implement them. Coordination patterns are expressed in the form of constraints that restrict invocation of a group of objects. Constraints are defined in terms of the interface of the objects being invoked rather than their internal representation. Invocation constraints enforce properties, such as temporal ordering and atomicity, that hold when invoking objects in a group. A constraint can permanently control access to a group of objects, thereby expressing an inherent access restriction associated with the group. Furthermore, a constraint can temporarily enforce access restrictions during the activity of individual clients. In that way, constraints can express specialized access schemes required by a group of clients.
AB - We have developed language support for the expression of multi-object coordination. In our language, coordination patterns can be specified abstractly, independent of the protocols needed to implement them. Coordination patterns are expressed in the form of constraints that restrict invocation of a group of objects. Constraints are defined in terms of the interface of the objects being invoked rather than their internal representation. Invocation constraints enforce properties, such as temporal ordering and atomicity, that hold when invoking objects in a group. A constraint can permanently control access to a group of objects, thereby expressing an inherent access restriction associated with the group. Furthermore, a constraint can temporarily enforce access restrictions during the activity of individual clients. In that way, constraints can express specialized access schemes required by a group of clients.
UR - https://www.scopus.com/pages/publications/85028868602
UR - https://www.scopus.com/inward/citedby.url?scp=85028868602&partnerID=8YFLogxK
U2 - 10.1007/3-540-47910-4_18
DO - 10.1007/3-540-47910-4_18
M3 - Conference contribution
AN - SCOPUS:85028868602
SN - 9783540571209
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 346
EP - 360
BT - ECOOP 1993 - Object-Oriented Programming - 7th European Conference, Proceedings
A2 - Nierstrasz, Oscar M.
PB - Springer
T2 - 7th European Conference on Object-Oriented Programming, ECOOP 1993
Y2 - 26 July 1993 through 30 July 1993
ER -