Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1017/S0960129507006299 | Mathematical Structures in Computer Science |
Keywords | Field | DocType |
abstract level,algebraic semantics,modelling approach,mathematical model,architectural modelling,algebraic structure,architectural style,event-based architecture,mathematical semantics,categorical approach,implicit invocation,asynchronous interaction | Publication,Asynchronous communication,Programming language,Algebraic structure,Categorical variable,Computer science,Denotational semantics,Theoretical computer science,Architectural style,Implicit invocation,Algebraic semantics | Journal |
Volume | Issue | ISSN |
17 | 5 | 0960-1295 |
Citations | PageRank | References |
2 | 0.37 | 8 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
José Luiz Fiadeiro | 1 | 1567 | 186.97 |
Antónia Lopes | 2 | 697 | 52.57 |