A quite flourishing research thread in the recent literature on component-based systems is
concerned with the algebraic properties of different classes of connectors. In a recent paper …

A quite flourishing research thread in the recent literature on component-based system is
concerned with the algebraic properties of various kinds of connectors for defining well …

Software adaptation techniques appear in many disparate areas of research literature, and
under many guises. This paper enables a clear and uniform understanding of the related …

The heterogeneity characterizing the systems populating the Ubiquitous Computing
environment prevents their seamless interoperability. Heterogeneous protocols may be …

This paper addresses objectification, a formal specification technique which inspects the
potential for object-orientation of a declarative model and brings the'implicit objects' explicit …

The development of next generation Future Internet systems must be capable to address
complexity, heterogeneity, interdependency and, especially, evolution of loosely connected …

Existing work on software connectors shows significant disagreement on both their definition
and their relationships with components, coordinators and adaptors. We propose a precise …

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

In this chapter we present a coalgebraic semantics for components. Our semantics forms the
basis for a family of operators for combining components. These operators together with …

When modelling complex interactive systems, traditional interactor-based approaches suffer
from lack of expressiveness regarding the composition of the different interactors present in …