Specifying Software Connectors

Abstract

Abstract. Orchestrating software components, often independently supplied, has assumed a central role in software construction. Actually, as relevant as components themselves, are the ways in which they can be put together to interact and cooperate in order to achieve some common goal. Such is the role of so-called software connectors: external coordination devices which ensure both the flow of data and synchronization restrictions within a component's network. This paper introduces a new model for software connectors, based on relations extended in time, which aims to provide support for light inter-component dependency and effective external control.

On-the-Fly Dependable Mediation between Heterogeneous Networked Systems

“…A lot of work has also been devoted to connectors like for example [29][30][31][32][33] to mention few. A work strictly related to the mediators is the seminal work by Yellin and Strom [34].…”

Rethinking software connectors

“…In Figure 1, we considered a set of pipes as a set 5 An extreme example of this continuum comes from the world of operating system security, where covert channel analysis shows us that any stateful shared resource can act as a communication channel.…”

“…Some make no clear distinction between the two [5], whereas others define "connectors" as a particular type of "coordinator" [4].…”

A Perspective on Component Refinement

“…Note that the final coalgebra for the 'abstract' shape is A ∞ , i.e., the space of finite and infiinite sequences of A, whereas for the concrete case one gets (A+1) ω , i.e., 10 The laws of reflection, cancellation and fusion stated below, in this order, and used in the proof are standard results on coinduction easily derived from the universal property (10) [15].…”