A coordination language for mobile components

Abstract

In this paper we present the σπ coordination language, a core language for specifying dynamic networks of components. The language is inspired by the Manifold coordination language and by the π-calculus. The main concepts of the language are components, classes, objects and channels. A program in σπ consists of a number of components, where each component is a collection of classes separable from its original context and re-usable in any other context. An object is an instance of a class that executes in parallel with the other objects active in the system. The σπ language differs from other models of object-oriented systems mainly in its treatment of communication and mobility: communication is anonymous via synchronous or asynchronous channels, while mobility is obtained by moving channels in the virtual space of linked objects. Thus, a channel is a transferable capability of communication, and objects are mobile in the sense that their communication possibilities may change during a computation. The language σπ itself does not impose exogenous coordination, meaning that the coordination primitives affecting each object can be executed within the computation of the object itself. However, only simple restrictions on the class-definitions of a σπ program suffice to enforce a separation between computation and coordination. Interaction typically occurs anonymously and under the full control of the objects involved. This make it easier to deal with Internet application where security policies must be enforced in view of the possibilities of attacks.

A Compositional Model for Confluent Dynamic Data-Flow Networks

“…The language MaC is a sub-language of the one introduced in [3]. The latter is an abstract core for the Manifold coordination language [4].…”

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

“…[3] extends the coordination language Manifold so that mobile components can be handled. [4] introduces the language KLAIM for coordinating interaction of mobile agents, [5] presents a mobile agents coordination platform based on XML, and [6] illustrates the use of the language GroupLog for coordinating ensembles of autonomous agents.…”

Coordination by Timers for Channel-Based Anonymous Communications

“…Manifold is event-driven: managers wait for some specific event to trigger some actions; these actions determine the manager to change its state. Other models for channel-based coordination languages, also based on the π-calculus, are MoCha-π [14] and σπ [3] which we describe more in details in conclusion.…”

“…G.Ciobanu, C. Prisacariu / Electronic Notes in Theoretical Computer Science 175 (2007) [3][4][5][6][7][8][9][10][11][12][13][14][15][16][17] …”