Please use this identifier to cite or link to this item:
Title: An Algebraic Semantics of Event-based Architectures
Authors: Fiadeiro, José Luiz
Lopes, Antónia
First Published: 21-Sep-2007
Publisher: Cambridge University Press (CUP)
Citation: Mathematical Structures in Computer Science, 2007, 17 (5), pp.1029-1073
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.
DOI Link: 10.1017/S0960129507006299
ISSN: 0960-1295
eISSN: 1469-8072
Version: Publisher Version
Status: Peer-reviewed
Type: Article
Rights: Copyright © 2007, Cambridge University Press (CUP). Deposited with reference to the publisher’s open access archiving policy.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
10.1017_S0960129507006299.pdfPublished (publisher PDF)662.03 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.