Why Another Book on Category Theory? In the past ten years, several books have been
published on category t-ory either by computer scientists or having computer scientists as a …

A recent emergence of small, resource-constrained, and highly mobile computing platforms
presents numerous new challenges for software developers. We refer to development in this …

The ability of reconfiguring software architectures in order to adapt them to new
requirements or a changing environment has been of growing interest. We propose a …

The conceptual separation between computation and coordination in distributed computing
systems motivates the use of peculiar entities commonly called connectors, whose task is …

In the past years, Software Architecture has attracted increased attention by academia and
industry as the unifying concept to structure the design of complex systems. One particular …

A mathematical semantics is proposed for the notion of architectural connector, in the style
defined by Allen and Garlan, that builds on Goguen's categorical approach to General …

The ability of reconfiguring software architectures in order to adapt them to new
requirements or a changing environment has been of growing interest, but there is still not …

Dynamic architectural change is defined as the addition and removal of components and
connectors. Dynamic software architectures are those architectures that modify their …

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 …

Refinement is reviewed, highlighting in particular the distinction between its use as a
specification constructor at a high level, and its use as an implementation mechanism at a …