Over the past decades, coordination languages have emerged for the specification and
implementation of interaction protocols for communicating software components. This class …

Business process modeling and implementation of process supporting infrastructures are
two challenging tasks that are not fully aligned. On the one hand, languages such as …

In this paper, we present a framework for formal modeling and verification of service-based
business processes with focus on their compliance to external regulations such as …

Constraint automata have been used as an operational model for Reo which offers a
channel-based framework to compose complex component connectors. In this paper, we …

Connectors have emerged as a powerful concept for composition and coordination of
concurrent activities encapsulated as components and services. Compositional coordination …

Ensuring transactional behavior of business processes and web service compositions is an
essential issue in the area of service-oriented computing. Transactions in this context may …

The paper reports on the foundations and experimental results with a model checker for
component connectors modelled by networks of channels in the calculus Reo. The …

Over the past years, the need for high-confidence coordination mechanisms has intensified
as new technologies have appeared for the development of service-oriented applications …

Constraint automata have been used as an operational model for component connectors
that coordinate the cooperation and communication of the components by means of a …

Composition of a concurrent system out of components involves coordination of their mutual
interactions. In component-based construction, this coordination becomes the responsibility …