Since software systems are becoming increasingly more concurrent and distributed,
modeling and analysis of interactions among their components is a crucial problem. In …

In concurrent and distributed systems, processes can complete tasks together by playing
their parts in a joint plan. The plan, or protocol, can be written as a choreography: a formal …

Choreographies allow business and service architects to specify with a global perspective
the requirements of applications built over distributed and interacting software entities. While …

Communication between organizations is formalized as process choreographies in daily
business. While the correct ordering of exchanged messages can be modeled and enacted …

Service-oriented computing has emerged as a new software development paradigm that
enables implementation of Web accessible software systems that are composed of …

In the near future we will be surrounded by a virtually infinite number of software
applications that provide services in the digital space. This situation promotes reuse-based …

Choreographies are contracts specifying from a global point of view the legal interactions
that must take place among a set of services. Such a contract may serve as a reference in …

Future Internet research promotes the production of a distributed-computing environment
that will be increasingly surrounded by a virtually infinite number of software services that …

Agent interaction descriptions (or protocols) are a key aspect of the design of multi-agent
systems. However, in the authors' extensive experience, the notations commonly used for …

A choreography describes the interaction between services. It may be used for specification
purposes, for instance serving as a contract in the design of an inter-organizational business …