Superposition: composition vs refinement of non-deterministic, action-based systems

Lopes, Antónia; Fiadeiro, José Luiz

doi:10.1007/s00165-003-0021-6

Cited by 9 publications

(6 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this sense, morphisms capture relationships between designs that are similar to what in parallel program design languages is known as 'superposition' (Lopes and Fiadeiro 2004).…”

Section: Identifying Components Of Systemsmentioning

confidence: 99%

“…More information on the relationship between refinement and superposition, and the compositionality results that relate them can be found in Lopes and Fiadeiro (2004). Fig.…”

Section: Compositionalitymentioning

confidence: 99%

“…We have proved that this process is compositional with respect to superposition, that is, that the designs of components can be refined independently of the way they are interconnected. We believe that the separation between superposition and refinement as design dimensions is an essential one, and that compositionality results are key for any architectural style to be able to address the complexity of software development (Lopes and Fiadeiro 2004).…”

Section: Conclusion and Further Workmentioning

confidence: 99%

“…In order to identify components in systems, the bodies of their designs also have to be taken into account, that is, the 'semantics' of the components have to be preserved. In this sense, morphisms capture relationships between designs that are similar to what in parallel program design languages is known as 'superposition' (Lopes and Fiadeiro 2004).…”

Section: Is a Function On Services;mentioning

confidence: 99%

See 3 more Smart Citations

An algebraic semantics of event-based architectures

Fiadeiro¹,

Lopes²

2007

Math. Struct. Comp. Sci.

Self Cite

View full text Add to dashboard Cite

We propose a mathematical semantics for event-based architectures that serves two main purposes: to characterise the modularisation properties that result from the algebraic structures induced on systems by this discipline of coordination; and to further validate and extend the categorical approach to architectural modelling that we have been building around the language CommUnity with the 'implicit invocation', also known as 'publish/subscribe' architectural style. We then use this formalisation to bring together synchronous and asynchronous interactions within the same modelling approach. We see this effort as a first step towards a form of engineering of architectural styles. Our approach adopts transition systems extended with events as a mathematical model of implicit invocation, and a family of logics that support abstract levels of modelling.

show abstract

“…In this sense, morphisms capture relationships between designs that are similar to what in parallel program design languages is known as 'superposition' (Lopes and Fiadeiro 2004).…”

Section: Identifying Components Of Systemsmentioning

confidence: 99%

“…More information on the relationship between refinement and superposition, and the compositionality results that relate them can be found in Lopes and Fiadeiro (2004). Fig.…”

Section: Compositionalitymentioning

confidence: 99%

Section: Conclusion and Further Workmentioning

confidence: 99%

Section: Is a Function On Services;mentioning

confidence: 99%

See 2 more Smart Citations

An algebraic semantics of event-based architectures

Fiadeiro¹,

Lopes²

2007

Math. Struct. Comp. Sci.

Self Cite

View full text Add to dashboard Cite

show abstract

“…To do so, superimposed processes must have access to internal states in the first one; in the end, actions composing the behaviour of the whole set interleave, creating just one process. Currently, this mechanism is used quite often as a method for stepwise refinement for concurrent systems [14,18].…”

Section: Superimposition and Reflectionmentioning

confidence: 99%

Reflection-Based, Aspect-Oriented Software Architecture

Cuesta

Romay

Fuente

et al. 2004

Software Architecture

View full text Add to dashboard Cite

Abstract. The Software Architecture discipline is devoted to the study and description of structures, created by the composition of software modules. At the same time, the most important merit of Aspect Orientation is the fact that it introduces a new kind of modularization, deployed in a range of new dimensions, orthogonally to traditional models. These fields are able not only to combine, but also to complement and extend each other. They show also remarkable coincidences in some of their key concepts, such as multiple viewpoints and connectors. This paper explores their relationship, in particular from the point of view of the specification of "aspect-oriented architectures" in terms of existing Architecture Description Languages (Adls). Specifically, we consider the language PiLar: a reflective, process-algebraic Adl conceived for the description of dynamic architectures. It has three conceptual foundations which have also been proposed as a basis for aspect-orientation, namely reflection, superimposition and process algebras. We show how, due to the semantics of its reification relationship, PiLar is capable to directly describe "architectural aspects" with no need for syntactic extensions. At the same time, we suggest that the addition of these extensions could be very useful anyway. The discussion is supported by an example of a coordination aspect in PiLar, based on the classical Paxos Consensus algorithm.

show abstract