We present a formal model for the coordination of interactions in service-oriented systems.
This model provides a declarative semantics for the language SRML that is being developed …

In this paper, we provide a mathematical semantics for a fragment of a language–SRML–
that we have defined in the IST-FET-GC2 Integrated Project SENSORIA for modelling …

We present and discuss a formal, high-level approach to the specification and composition
of interaction protocols for service-oriented systems. This work is being developed within the …

In this paper, we address some of the challenges raised by the emerging serviceoriented
computing paradigm in what concerns the ability to define dynamic interactions between …

Service-oriented computing (SOC) is a new paradigm for creating and providing business
services via computer-based systems. In SOC, services are computational entities that can …

Usually, business to business communication consists of simple request-response
interactions. However, it is possible that several requests are necessary to achieve a goal …

This paper presents an approach to formal modeling of long-running business transactions.
Our solution is based on the channel-based exogenous coordination language Reo, which …

Service-oriented computing is an emerging paradigm with increasing impact on the way
modern software systems are designed and developed. Services are autonomous, loosely …

Abstract Service oriented applications feature interactions among several participants over
the network. Mechanisms such as correlation sets and two-party sessions have been …

Service-Oriented Computing (SOC) is an emerging computing paradigm that supports
loosely-coupled inter-enterprise interactions. SOC interactions are predominantly specified …