A formal approach to event-based architectures

José Luiz Fiadeiro, Antónia Lopes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationFundamental Approaches to Software Engineering
Subtitle of host publication9th International Conference, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings
EditorsL. Baresi, H. Heckel
PublisherSpringer Verlag
Pages18-32
Number of pages15
ISBN (Electronic)9783540330943
ISBN (Print)9783540330936
DOIs
Publication statusPublished - 2006
Event9th International Conference on Fundamental Approaches to Software Engineering, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 - Vienna, Austria
Duration: 27 Mar 200628 Mar 2006

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume3922
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference9th International Conference on Fundamental Approaches to Software Engineering, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006
Country/TerritoryAustria
CityVienna
Period27/03/0628/03/06

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'A formal approach to event-based architectures'. Together they form a unique fingerprint.

Cite this