Coordination through Channel Composition

@inproceedings{Arbab2002CoordinationTC,
  title={Coordination through Channel Composition},
  author={F. Arbab and F. Mavaddat},
  booktitle={COORDINATION},
  year={2002}
}
P?? is a channel-based exogenous coordination model wherein complex coordinators, called connectors are compositionally built out of simpler ones. The simplest connectors in P?? are a set of channels with well-defined behavior supplied by users. P?? can be used as a language for coordination of concurrent processes, or as a "glue language" for compositional construction of connectors that orchestrate component instances in a component-based system. The emphasis in P?? is on connectors and their… Expand
Reo: a channel-based coordination model for component composition
  • F. Arbab
  • Computer Science
  • Mathematical Structures in Computer Science
  • 2004
TLDR
It is shown that exogenous coordination patterns that can be expressed as (meta-level) regular expressions over I/O operations can be composed in Reo out of a small set of only five primitive channel types. Expand
Coordination as a Service
TLDR
A basic ontology and a formal framework endorsing the viewpoint of coordination as a service are presented, whereby coordination media are characterised in terms of their interactive behaviour, and are seen as primary abstractions amenable of formal investigation. Expand
A Coinductive Calculus of Component Connectors
TLDR
A simple and transparent semantical model for Reo, in which connectors are relations on timed data streams, and coinduction is the main reasoning principle and it is used to prove properties such as connector equivalence. Expand
(Context-Sensitivity In) Reo, Revisited
TLDR
This paper studies three common and historically significant primitives in Reo—context-sensitive LossySync, FIFOn, and LossyFIFOn—and proves that they have inconsistent informal semantics, and four major formal semantics of Reo do not correspond with its foremost alternative informal semantics. Expand
Coordination as a Service: Ontological and Formal Foundation
TLDR
A basic ontology and a formal framework endorsing the viewpoint of coordination as a service are presented, seen as primary abstractions amenable of formal investigation, promoting their exploitation at any step of the engineering process. Expand
Web Services: separation of concerns: computation coordination communication
The purpose of this paper is to investigate the use of a new concept in component communication, expressed by the channel based coordination language called ρεω in the coordination of Web Services.Expand
Enacting Coordination Processes
TLDR
The operational semantics of coordination processes are contributed, which enforces the coordination constraints at run-time of interdependent processes. Expand
Design and implementation of an editor and simulators for constraint automata in the context of Reo
TLDR
This thesis describes the design and implementation of a tool for constraint automata consisting of an editor and three simulators, which allows users to visually construct and modify constraint automaton. Expand
Puff, The Magic Protocol
  • F. Arbab
  • Computer Science
  • Formal Modeling: Actors, Open Systems, Biological Systems
  • 2011
TLDR
It is shown how exogenous coordination in Reo reflects an interaction-centric model of concurrency where an interaction (protocol) consists of nothing but a relational constraint on communication actions. Expand
Reasoning about software reconfigurations: The behavioural and structural perspectives
TLDR
What reconfiguration means within coordination-based models of software design is discussed, from both a structural and a behavioural perspective, and an algebra of reconfigurations for software connectors is introduced. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 13 REFERENCES
Reo: a channel-based coordination model for component composition
  • F. Arbab
  • Computer Science
  • Mathematical Structures in Computer Science
  • 2004
TLDR
It is shown that exogenous coordination patterns that can be expressed as (meta-level) regular expressions over I/O operations can be composed in Reo out of a small set of only five primitive channel types. Expand
Coordination of Mobile Components
  • F. Arbab
  • Computer Science
  • Electron. Notes Theor. Comput. Sci.
  • 2001
TLDR
Peω is a paradigm for composition of software components based on the notion of mobile channels, in the style of the IWIM coordination model, and is an extension of earlier work on formal-logic-based component interface description language to convey the observable semantics of components. Expand
A coordination language for mobile components
TLDR
The sigmapi 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. Expand
A transition system semantics for the control-driven coordination language MANIFOLD
TLDR
This work presents the formal semantics of a kernel of MANIFOLD, based on a two-level transition system model: the first level is used to specify the ideal behavior of each single component in a MANifOLD system, whereas the second level captures their interactions. Expand
Coordinatio Languages and Models
Klaim (a Kernel Language for Agents Interaction and Mobility) [1] is an experimental programming language speci cally designed for programming mobile agents that supports a programming paradigm whereExpand
MoCha, a model for distributed mobile channels
TLDR
This thesis presents MoCha, a model for distributed Mobile Channels, and describes an efficient and non-trivial implementation of an asynchronous mobile channel in a distributed environment. Expand
Equations for Describing Dynamic Nets of Communicating Systems
  • M. Broy
  • Computer Science
  • COMPASS/ADT
  • 1994
TLDR
The modelling of interactive systems that correspond to dynamically changing net structures as obtained in systems with dynamic process creation within a framework of classical equational logic is demonstrated. Expand
A Logical Interface Description Language for Components
TLDR
The main results in this paper are the theorems that formulate the notion of compositionality and the completeness of the derivation system that supports this property in a component-based system. Expand
The IWIM Model for Coordination of Concurrent Activities
  • F. Arbab
  • Computer Science
  • COORDINATION
  • 1996
TLDR
The concurrent applications of today essentially use a set of ad hoc templates to coordinate the cooperation of their active components, showing the lack of proper coordination languages that can be used to explicitly describe complex cooperation protocols in terms of simple primitives and structuring constructs. Expand
A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing
TLDR
This work presents a fully abstract, denotational model for mobile, timed, nondeterministic data-flow networks whose components communicate in a point-to-point fashion and allows the description of a wide variety of networks. Expand
...
1
2
...