Context: Software engineering for ubiquitous systems has experienced an important and
rapid growth, however the vast research corpus makes it difficult to obtain valuable …

Interoperability is a major concern for the software engineering field, given the increasing
need to compose components dynamically and seamlessly. This dynamic composition is …

Citizens of the digital world are threatened. The digital systems that surround them are
increasingly able to make autonomous decisions over and above them and on their behalf …

Future Internet research promotes the production of a distributed-computing environment
that will be increasingly surrounded by a virtually infinite number of software services that …

Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic
interaction among heterogeneous systems. To achieve this vision, interoperability among …

In this paper we share our experience in the CHOReOS EU project. CHOReOS provides
solutions for the development and execution of large scale choreographies for the Future …

Modern service-oriented systems are often built by reusing, and composing together,
existing services distributed over the Internet. Service choreography is a possible form of …

We formulate a compositional specification theory for interface automata, where a
component model specifies the allowed sequences of input and output interactions with the …

Security-critical systems typically place some requirements on the behaviour of their users,
obliging them to follow certain instructions when using those systems. Security …

Service choreographies represent a powerful and flexible approach to compose software
services in a fully distributed way. A key enabler for the actual realization of choreographies …