The growing overture towards interacting virtual words and the variety of uses, have brought great changes in the performing arts, that worth a profound analysis in order to understand the emerging issues. We examine the performance conception for its embodiment capacity with a methodology based on interaction analysis. Finally, we propose a new situation of multimodal choreography that respect...

Choreographies and Contracts are important concepts in Service Oriented Computing. Choreographies are the description of the behaviour of a service system from a global point of view, while contracts are the description of the externally observable message-passing behaviour of a given service. Exploiting some of our previous results about choreography projection and contract refinement, we show...

We give an overview of rules in the Semantic Web Services Language (SWSL) from the viewpoint of directions for standardization. This includes requirements, tasks about services, kinds of knowledge, combining rules with ontologies, suitability of fundamental knowledge representations and desirability of particular expressive features. Note: To Find More about this paper For updated/extended vers...

Various approaches for service-oriented business-to-business integration (B2Bi) rely on a top-down development methodology. The starting point is a choreography model which is subsequently partitioned into multiple orchestrations. Most current approaches use the Web Services Business Process Execution Language (BPEL) for implementing the latter. At the same time, a plethora of other languages, ...

Choreography-based approaches to service composition typically assume that, after a set of services has been found which correctly play the roles prescribed by the choreography, each service respects his role. Honest services are not protected against adversaries. We propose a model for contracts based on an extension of Petri nets, which allows services to protect themselves while still realiz...

TheWeb Service Choreography Description Language (WS-CDL) has been put forward as language for capturing sets of web service interactions and their control and data dependencies, seen from a global perspective. However the suitability of WS-CDL for this purpose has not been assessed in a systematic manner. This paper presents such an assessment by adopting a two-pronged approach. First, the pap...

This paper presents an executable service choreography framework (ECF). Current choreography languages are specification languages. They are used at design time to define a mutual contract between services that are under the supervision of different domain controllers. Choreography contracts are established by specifying the observable sequence of messages that are exchanged between services. S...

Choreography models the external visible behavior of services as a set of message exchanges that realize Message Exchange Patterns (MEP). A number of language exist that try to tackle the problem. However they constitute incomplete solutions, either because they lack of support of semantics, have a tight relation to the underlying communication framework, or mix structural, behavioral and opera...