University of Leicester
Browse
10.1017_S0960129507006299.pdf (662.03 kB)

An Algebraic Semantics of Event-based Architectures

Download (662.03 kB)
journal contribution
posted on 2009-12-08, 16:14 authored by José Luiz Fiadeiro, 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.

History

Citation

Mathematical Structures in Computer Science, 2007, 17 (5), pp.1029-1073

Version

  • VoR (Version of Record)

Published in

Mathematical Structures in Computer Science

Publisher

Cambridge University Press (CUP)

issn

0960-1295

eissn

1469-8072

Copyright date

2007

Available date

2009-12-08

Publisher version

http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1395560

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC