The Open UniversitySkip to content
 

A mathematical semantics for architectural connectors

Fiadeiro, José Luiz; Lopes, Antónia and Wermelinger, Michel (2003). A mathematical semantics for architectural connectors. In: Backhouse, R and Gibbons, J eds. Generic programming: advanced lectures. Lecture notes in computer science (2793). Berlin, Germany: Springer-Verlag, pp. 178–221.

URL: http://www.metapress.com/(p3xupl45k4jt2d315o1vk555...
Google Scholar: Look up in Google Scholar

Abstract

A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach to General Systems Theory and other algebraic approaches to specification, concurrency, and parallel program design.
This semantics is, essentially, ADL-independent, setting up criteria against which formalisms can be evaluated according to the support that they provide for architectural design. In particular, it clarifies the role that the separation between computation and coordination plays in supporting architecture-driven approaches to software construction and evolution. It also leads to useful generalisations of the notion of connector, namely
through the use of multiple formalisms in the definition of the glue and the roles, and their instantiations with programs or system components that can be implemented in different languages or correspond to "real-world"
components.

Item Type: Book Chapter
ISBN: 3-540-20194-7, 978-3-540-20194-6
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 1162
Depositing User: Michel Wermelinger
Date Deposited: 01 Jun 2006
Last Modified: 27 Oct 2014 09:01
URI: http://oro.open.ac.uk/id/eprint/1162
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk