Coordination Languages and Models: First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.

ISBN-13: 9783540610526 / Angielski / Miękka / 1996 / 452 str.

Paolo Ciancarini;Chris Hankin

Opis

These conference proceedings are concerned with co-ordination, languages and models, a characteristic feature of which is that they are based on (generative) communication via a shared data space. Included with the book are posters.

Spis treści

Parallel multiset processing: From explicit coordination to chemical reaction.- Graph rewriting and constraint solving for modelling distributed systems with synchronization (extended abstract).- Coordination as constrained interaction (extended abstract).- The IWIM model for coordination of concurrent activities.- Sonia: An adaptation of Linda for coordination of activities in organizations.- The ToolBus coordination architecture.- Enhancing coordination and modularity mechanisms for a language with objects-as-multisets.- Towards a compositional method for coordinating Gamma programs.- Introducing a calculus for higher-order multiset programming.- ?2Log: Towards remote coordination.- A process algebra based on Linda.- Intra- and inter-object coordination with MESSENGERS.- Ariadne and HOPLa: Flexible coordination of collaborative processes.- Coordination in the ImpUnity framework.- Compiler correctness for concurrent languages.- A software environment for concurrent coordinated programming.- Designing a coordination model for open systems.- CCE: A process-calculus based formalism for specifying multi-object coordination.- An extensible framework for the development of coordinated applications.- Broadcasting in time.- Semantics of a higher-order coordination language.- Solving the Linda multiple rd problem.- Coordinating distributed objects with declarative interfaces.- Coordinating services in open distributed systems with Laura.- Visifold: A visual environment for a coordination language.- ALWAN: A skeleton programming language.- Weaving the Web using coordination.- Investigating strategies for cooperative planning of independent agents through prototype evaluation.- A case study of integration of a software process management system with software engineering environments for process monitoring and management.- Nepi: A network programming language based on the ?-calculus.- Modelling interoperability by CHAM: A case study.- Integrating coordination features in PVM.- A simulator framework for embedded systems.- Understanding behavior of business process models.