A new era of automated services has permeated user's daily lives thanks to paradigms such
as Smart City and the Internet of Things. This shift from traditional applications is possible …

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 …

This paper addresses the issue of verifying if composite Web services design meets some
desirable properties in terms of deadlock freedom, safety (something bad never happens) …

Emergency management has long been recognized as a social challenge due to the
criticality of the response time. In emergency situations such as severe traffic accidents …

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 …

Given a set V of n points in k-dimensional space, and an Lq-metric (Minkowski metric), the
All-Nearest-Neighbors problem is defined as follows: For each point p in V, find all those …

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

Temporal Constraint Networks (TCSP) allow to express minimal and maximal durations
between time-points. Though being used in many research areas, this model disregards the …

Compositional coordination models such as Reo provide powerful support for the
development of large-scale distributed systems by allowing construction of complex …

Coordination in Reo emerges from the composition of the behavioural constraints of
primitives, such as channels, in a component connector. Understanding and implementing …