Location of Repository

An Algebraic Semantics of Event-based Architectures

By José Luiz Fiadeiro and Antónia Lopes


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.Peer-reviewedPublisher Versio

Publisher: Cambridge University Press (CUP)
Year: 2007
DOI identifier: 10.1017/S0960129507006299
OAI identifier: oai:lra.le.ac.uk:2381/1818

Suggested articles



  1. (eds.) Model Checking Software. doi
  2. (2006). A Formal Approach to Service Component Architecture. doi
  3. (2003). A mathematical semantics for architectural connectors. doi
  4. (1993). A superimposition control construct for distributed systems. doi
  5. (2006). Adding mobility to software architectures. doi
  6. (2005). Algebraic semantics of design abstractions for context-awareness. doi
  7. (1973). Categorical foundations for general systems theory. doi
  8. (2004). Categories for Software Engineering,
  9. (2006). Computation orchestration: A basis for wide-area computing. doi
  10. (2001). Design and evaluation of a wide-area event notification service. doi
  11. (2003). Evaluating and improving the automatic analysis of implicit invocation systems. In: doi
  12. (1991). Formalizing design spaces: Implicit invocation mechanisms. doi
  13. (1985). Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, doi
  14. (2004). Generic support for distributed applications. doi
  15. (2013). IP address: An algebraic semantics of event-based architectures 1073
  16. (2003). Model checking publish-subscribe systems. doi
  17. (2007). Modules for service-component architectures. doi
  18. (1992). Reconciling environment integration and software evolution. doi
  19. (1997). Semantics of architectural connectors. doi
  20. (2004). Superposition: composition versus refinement of nondeterministic action-based systems. doi
  21. (2002). Taxonomy of distributed event-based programming systems. In: doi
  22. (2003). The many faces of publish/subscribe. doi
  23. (1998). Towards a formal treatment of implicit invocation. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.