A Formal Approach to Event-Based Architectures

  • José Luiz Fiadeiro
  • Antónia Lopes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3922)


We develop a formal approach to 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 CommUnity approach to architectural modelling with “implicit invocation”, or “publish/subscribe” interactions. This is a first step towards a formal integration of architectural styles.


  1. 1.
    Bacon, J., Moody, K., Bates, J., Hayton, R., Ma, C., McNeil, A., Seidel, O., Spiteri, M.: Generic support for distributed applications. IEEE Computer 33(3), 68–76 (2000)CrossRefGoogle Scholar
  2. 2.
    Bradbury, J., Dingel, J.: Evaluating and improving the automatic analysis of implicit invocation systems. In: ESEC/FSE 2003, pp. 78–87. ACM Press, New York (2003)Google Scholar
  3. 3.
    Carzaniga, A., Rosenblum, D., Wolf, A.: Design and evaluation of a wide-area event notification service. ACM Transactions on Computer Systems 19, 283–331 (2001)CrossRefGoogle Scholar
  4. 4.
    Dingel, J., Garlan, D., Jha, S., Notkin, D.: Towards a formal treatment of implicit invocation. Formal Aspects of Computing 10, 193–213 (1998)CrossRefzbMATHGoogle Scholar
  5. 5.
    Eugster, P., Felber, P., Guerraoui, R., Kermarrec, A.-M.: The many faces of publish/subscribe. ACM Computing Surveys 35(2), 114–131 (2003)CrossRefGoogle Scholar
  6. 6.
    Fiadeiro, J.L.: Categories for Software Engineering. Springer, Berlin, Heidelberg, New York (2004)zbMATHGoogle Scholar
  7. 7.
    Fiadeiro, J.L., Lopes, A.: Semantics of architectural connectors. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214, pp. 505–519. Springer, Heidelberg (1997)Google Scholar
  8. 8.
    Fiadeiro, J.L., Lopes, A.: CommUnity on the move: architectures for distribution and mobility. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 177–196. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Garlan, D., Khersonsky, S., Kim, J.S.: Model checking publish-subscribe systems. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 166–180. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  10. 10.
    Garlan, D., Notkin, D.: Formalizing design spaces: Implicit invocation mechanisms. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol. 551, pp. 31–44. Springer, Heidelberg (1991)Google Scholar
  11. 11.
    Lopes, A., Fiadeiro, J.L.: Context-awareness in software architectures. In: Morrison, R., Oquendo, F. (eds.) EWSA 2005. LNCS, vol. 3527, pp. 146–161. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Meier, R., Cahill, V.: Taxonomy of distributed event-based programming systems. In: Proceedings of the International Workshop on Distributed Event-Based Systems, pp. 585–588. IEEE Computer Society, Silver Spring, MD (2002)Google Scholar
  13. 13.
    Notkin, D., Garlan, D., Griswold, W., Sullivan, K.: Adding implicit invocation to languages: three approaches. In: Nishio, S., Yonezawa, A. (eds.) ISOTAS 1993. LNCS, vol. 742, pp. 489–510. Springer, Heidelberg (1993)CrossRefGoogle Scholar
  14. 14.
    Sullivan, K., Notkin, D.: Reconciling environment integration and software evolution. ACM TOSEM 1(3), 229–268 (1992)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • José Luiz Fiadeiro
    • 1
  • Antónia Lopes
    • 2
  1. 1.Department of Computer ScienceUniversity of LeicesterLeicesterUK
  2. 2.Department of Informatics, Faculty of SciencesUniversity of LisbonLisboaPortugal

Personalised recommendations