Electronic Notes in Theoretical Computer Science (ENTCS)

This paper introduces a service-oriented model for the development of Peer-to-Peer (P2P) systems. We first describe the set of abstract primitives supported by the model, and then the semantics for a simple calculus over these primitives that provides a ...

Nowadays, service-oriented architectures are becoming gradually more important. The vast diversity of implementation and support platforms for this kind of architectures (such as Web, Grid or even CORBA) increases the complexity of the development ...

Three models of coordination-Reo, Actors-Roles-Coordinators (ARC), and Reflective Russian Dolls (RRD)-are compared and contrasted according to a set of coordination features. Mappings between their semantic models are defined. Use of the models is ...

Orc and Reo are two complementary approaches to the problem of coordinating components or services. On one hand, Orc is highly asynchronous, naturally dynamic, and based on ephemeral connections to services. On the other hand, Reo is based on the ...

Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primitive channels with well-defined behavior. These channels are mobile, i.e. ...

The formal modelling of programming languages has always been a challenging activity due to the gap occurring between formal definition and actual implementation. On the other hand, the Maude rewriting language has already proven to be a suitable tool ...

More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, due to several factors such as the widespread availability of multi-core / parallel architectures and Internet-based ...