Special track on coordination models, languages and applications (track introduction)

Over the last decade we have witnessed the emergence of models, formalisms and mechanisms for describing concurrent and distributed computations based on the concept of coordination. The purpose of a coordination model is to enable the integration of a number of possibly heterogeneous components (processes, objects, agents) in such a way that the resulting ensemble forms a single application that can execute on as a whole and take advantage of parallel and distributed systems. The coordination paradigm is closely related to other contemporary software engineering approaches such as component-based systems and middleware platforms. Furthermore, the concept of coordination exists in many other Computer Science areas such as Cooperative Information Systems, Artificial Intelligence and Internet Technologies. The Special Track on Coordination Models, Languages and Applications takes deliberately a broad view of what is coordination. In addition to the traditional areas covering data-driven (such as Linda) and control-driven (such as Manifold) models and languages, the track invited contributions from several areas where the concept of coordination is relevant, such as software architectures, middleware platforms, groupware and workflow management, multiagent systems, etc. In response to the call-for-papers, 52 high quality submissions from 15 different countries were submitted to this special track. 21 of these submissions were forwarded to more appropriate tracks of SAC'2000, and the other 31 were fed into the reviewing process. There were altogether more than 70 reviewers and 150 reviews were submitted by them, an average of almost 5 reviews for each paper. Based on the reviewers' reports, the general ACM SAC guidelines for acceptance and rejection of submissions, and the unavoidable time and space constraints associated with any conference, it was possible to select only 17 of these submissions as regular papers and 2 more as short papers. In the process, a number of good and interesting papers had to be rejected.

[1]  David B. Skillicorn,et al.  Building programs in the network of tasks model , 2000, SAC '00.

[2]  Fabio Casati,et al.  Supporting workflow cooperation within and across organizations , 2000, SAC '00.

[3]  Paulo S. C. Alencar,et al.  An extensible model of architecture description , 2000, SAC '00.

[4]  Jacques Wainer Logic representation of processes in work activity coordination , 2000, SAC '00.

[5]  George R. Ribeiro-Justo,et al.  A configuration-oriented framework for distributed multimedia applications , 2000, SAC '00.

[6]  Alan Wood,et al.  Coordination with scopes , 2000, SAC '00.

[7]  José C. Cunha,et al.  A coordination language for collective agent based systems: GroupLog , 2000, SAC '00.

[8]  Eric Monfroy A coordination-based chaotic iteration algorithm for constraint propagation , 2000, SAC '00.

[9]  Nadia Busi,et al.  Event notification in data-driven coordination languages: comparing the ordered and unordered interpretations , 2000, SAC '00.

[10]  Jozef Hooman,et al.  Semantical aspects of an architecture for distributed embedded systems , 2000, SAC '00.

[11]  Salvatore Orlando,et al.  Coordinating HPF programs to mix task and data parallelism , 2000, SAC '00.

[12]  Lorenzo Bettini,et al.  Structured nets in KLAIM , 2000, SAC '00.

[13]  Murray Cole,et al.  Activity graphs: a model-independent intermediate layer for skeletal coordination , 2000, SAC '00.

[14]  Antony I. T. Rowstron Optimising the Linda in primitive: understanding tuple-space run-times , 2000, SAC '00.

[15]  Farhad Arbab,et al.  A coordination language for mobile components , 2000, SAC '00.

[16]  Serge Demeyer,et al.  Design guidelines for coordination components , 2000, SAC '00.

[17]  Victoria Ungureanu,et al.  Making tuple spaces safe for heterogeneous distributed systems , 2000, SAC '00.

[18]  Franco Zambonelli,et al.  XML dataspaces for mobile agent coordination , 2000, SAC '00.

[19]  E. Damiani,et al.  Semantical issues in the architecture of distributed embedded systems , 2000 .

[20]  Evelina Lamma,et al.  Abductive coordination for logic agents , 1999, SAC '99.

[21]  Andrea Omicini On the semantics of tuple-based coordination models , 1999, SAC '99.

[22]  Edgar F. A. Lederer,et al.  Reliable and efficient matrix processing with the specification-consistent coordination model , 1999, SAC '99.

[23]  Franco Zambonelli,et al.  Tuple centres for the coordination of Internet agents , 1999, SAC '99.

[24]  Matthew Haines,et al.  Mars: runtime support for coordinated applications , 1999, SAC '99.

[25]  Peter L. Mott,et al.  A multi-broker architecture for sharing information amongst diverse user communities , 1999, SAC '99.

[26]  Thomas Rauber,et al.  A coordination language for mixed task and and data parallel programs , 1999, SAC '99.

[27]  Franz Puntigam,et al.  Changeable interfaces and promised messages for concurrent components , 1999, SAC '99.