Over the past decades, coordination languages emerged for modeling and implementing
concurrency protocols among components in component-based systems. Coordination …

Reo is an interaction-centric model of concurrency for compositional specification of
communication and coordination protocols. Formal verification tools exist to ensure …

We present a compositional construction of web services, using Reo and constraint
automata as the main “glue” ingredients. Reo is a graphical and exogenous coordination …

It is well-known that the difference between theory and practice seems smaller in theory than
in practice. From the perspective of the coordinator, the coordinated components play the …

To enhance their business opportunities, organisations involved in many service industries
are increasingly active in pursuit of both online provision of their business services (BSs) …

Coordination languages, as Reo, have emerged for the specification and implementation of
interaction protocols among concurrent entities. In this paper, we propose a framework for …

Constraint automata specify protocols as labeled transition systems that preserve
synchronization under composition. They have been used as a basis for tools, such as …

Treating interaction as an explicit first-class concept, complete with its own composition
operators, leads to a model of concurrency that allows direct specification and manipulation …

ABSTRACT The Blindingly Simple Protocol Language (BSPL) is a novel information-based
approach for specifying interaction protocols that can be enacted by agents in a fully …

The analysis of cyber-physical systems (CPS) is challenging due to the large state space
and the continuous changes occurring in their constituent parts. Design practices favor …