Traditionally, distributed computing concentrates on computation understood at the level of
information exchange and sets aside human and organizational concerns as largely to be …

Global choreographies define the rules that peers should respect in their interaction, with the
aim of guaranteeing interoperability. An abstract choreography can be seen as a protocol …

This paper seeks to combine two largely independent threads of multiagent systems
research—agent specification and protocols. We specify agents in terms of goal models (as …

In this paper we show how we can translate Web Services described by WS-CDL into a
timed automata orchestration, and more specifically we are interested in Web services with …

In multiagent systems, agent interaction is ruled by means of interaction protocols.
Compliance to protocols can be hardwired in agent programs; however, this requires that …

Based on a literature survey, we aim to answer our main question:“How should we plan and
execute logistics in supply chains that aim to meet today's requirements, and how can we …

An agent communication protocol specifies the rules of interaction governing a dialogue
between agents in a multiagent system. In non-cooperative interactions (such as negotiation …

Commitments have recently emerged as a valuable abstraction for characterizing
interactions among autonomous agents at the level of their business relationships …

Communication between agents needs to be flexible enough to encompass together a
variety of different aspects such as, conformance to society protocols, private tactics of the …

This paper is concerned with bridging the gap between requirements and distributed
systems. Requirements are defined as basic message sequence charts (MSCs) specifying …