D. Garlan, D. Le M'etayer, Eds., Coordination Languages and Models, LNCS 1282, 1997.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....in coordination frameworks and languages. An early survey is [17] which characterisies coordination as an emerging discipline. Various approaches with roots in e.g. the actor model [1] or in logic programming [21] were instrumental in establishing coordination as an independent discipline. See [12,14,19,13,20,18] for representative contemporary work. A number of higher level perspectives have emerged. Among these are the tuple based approaches such as Linda [15,11] and by contrast, the connection control based approaches such as IWIM, the subject of this paper. In the rest of this paper, we survey the ....

Garlan D., Le Metayer D. (eds.) \Coordination Languages and Models 1997.

....coming from heterogeneous sources in di#erent formats. In this context, new models and technologies are emerging that focus on interaction as an independent dimension in the modelling and engineering of hardware and software systems. In particular, research on coordination models and languages [29,30,31,32,5,19,8,28] is providing computer scientists and engineers with the abstractions, languages and tools needed to shape and manage the space of agent interaction [7] Basically, a coordination model is a conceptual framework for modelling the interaction space in multi component systems. In a multi agent ....

Garlan, D. and D. Le Metayer, editors, "Coordination Languages and Models," LNCS 1282, Springer-Verlag, 1997, 2nd International Conference (COORDINATION'97), 1--3 September 1997, Berlin (D), Proceedings.

....supports global analysis, and enhances reuse of software. Hence, it is not surprising that the significance of this original work on coordination languages has now been recognised in areas of Software Engineering concerned with system configuration and architectural description languages [11]. In this paper, we show how the separation between computation and coordination can be captured in the framework of Goguen s categorical approach to General Systems Theory [13] We capitalise on our previous work on the formalisation of architectural principles in software design [7] which was ....

. D.Garlan and D.Le Metayer, Coordination Languages and Models, LNCS 1282, Springer-Verlag 1997.

....language like Linda, nor have they explored the tradeoffs between data communication and task migration formally. There has been much recent interest in developing expressive formal models of concurrency suitable to describe coordination languages which operate in a distributed environment [GM97]. More generally, systems such as the calculus [Mil89] are capable of describing the interaction of agents whose configuration and interaction may change dynamically. In the context of this model, researchers have developed encodings of other formal systems such as the calculus [Mil93] In ....

David Garlan and Daniel Le M'etayer, editors. Coordination Languages and Models, number 1282 in LNCS. Springer-Verlag, 1997.

....of two tiles as a (larger) tile. Eventually, all the possible evolutions are obtained by the repeated composition (synchronized, or in sequence, or in parallel) of certain small basic tiles called rewrite rules. In the case of actors and agents, it is convenient to take a coordination [19] point of view and to distinguish between the behavior of agents in isolation and the behavior of coordinators, i.e. of system components whose role is to connect agents and to control their behavior. This approach allows us to abstract from the behavior in the small of agents, which is presented ....

D. Garlan, D. Le M'etayer, Eds., Coordination Languages and Models, LNCS 1282, 1997.

....between process primitives and net (coordination) primitives provides a clean abstraction device for global programming languages. The design of X KLAIM s primitives in terms of process primitives and net primitives was influenced by recent works on coordination models and languages (see, e.g. [10] and the references therein) The rest of the paper is organized as follows. Sections 2 briefly discusses X KLAIM primitives and introduces, via simple examples, mobile agent programming in X KLAIM. The main aim of these examples is pointing out the impact of specific scoping disciplines on ....

D. Garlan, D. Le Metayer (Eds). Coordination Languages and Models. LNCS 1282, Springer, 1997.

....The research of Marcello M. Bonsangue was supported by the Stichting Informatica Onderzoek in Nederland within the context of the project no. 612 33 007 Formal methods and refinement for Coordination Languages . and static interfaces [17] With the growing interest in coordination models [1, 13, 15], more emphasis is placed on the organizational aspects of behavior and interaction. Coordination is the process of building programs by gluing together active pieces [11] Coordination models can be classified as either data driven or control driven depending on how coordination is achieved: by ....

D. Garlan and D. Le M'etayer (eds.). Coordination Languages and Models, Proceedings of the second international conference COORDINATION'97, Volume 1282 of Lecture Notes in Computer Science, SpringerVerlag, 1997.

....computing concerns from those activities that deal with the structure of an application 1 Corresponding author. E mail: Marcello.Bonsangue cwi.nl Preprint submitted to Elsevier Science 11 March (communication mechanisms, protocols, system configurations, etc. called coordination activities [18,28]. The interest in coordination has intensified in the last few years, as evidenced by the increasing number of conferences, tracks, and papers devoted to this topic, and by the recent upsurge of research activity in the theoretical computer science community in this field. Furthermore, the field ....

D. Garlan and D. Le M'etayer, editors. Coordination Languages and Models, Proceedings of the 2nd international conference COORDINATION'97, volume 1282 of Lecture Notes in Computer Science. Springer-Verlag, 1997.

No context found.

D. Garlan, D. Le M'etayer, Eds., Coordination Languages and Models, LNCS 1282, 1997.

No context found.

D. Garlan, D. Le Metayer (Eds). Coordination Languages and Models. LNCS 1282, Springer, 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC