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 …

Many real-world applications of multiagent systems require independently designed
(heterogeneous) and operated (autonomous) agents to interoperate. We consider agents …

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 …

An important issue, in open environments like the web, is guaranteeing the interoperability
of a set of services. When the interaction scheme that the services should follow is given (eg …

In open multi-agent systems agent interaction is usually ruled by public protocols defining
the rules the agents should respect in message exchanging. The respect of such rules …

This work faces the problem of automatic selection and composition of web services,
discussing the advantages that derive from the inclusion, in a web service declarative …

For a long time, logic programming and rule-based reasoning have been proposed as a
basis for policy specification languages. However, the term “policy” has not been given a …

Abstract Model checking is a formal and automatic technique used to verify computational
systems (eg communication protocols) against given properties. The purpose of this chapter …

Within the last years, new techniques for network covert channels arose, such as covert
channel overlay networking, protocol switching covert channels, and adaptive covert …

To facilitate modular development, the use of state machines has been proposed to specify
the protocol (ie, the sequence of messages) that each port of a component can engage in …