Structured Co-spans: An Algebra of Interaction Protocols

We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make interconnections independent of the nature of components involved, interaction protocols are formalised not in terms of morphisms (i....

Full description

Saved in:
Bibliographic Details
Published inAlgebra and Coalgebra in Computer Science pp. 194 - 208
Main Authors Fiadeiro, José Luiz, Schmitt, Vincent
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Algebraic Semantic
Canonical Factorisation
External Interface
Interaction Protocol
Local Stock
Online AccessGet full text

Cover

More Information
Summary:We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make interconnections independent of the nature of components involved, interaction protocols are formalised not in terms of morphisms (i.e. part-of relationships) but a generalised notion of (co-)span in which the arms are structured morphisms - the head (the glue of the protocol) and the hands (the interfaces of the protocol) belong to different categories, the category of glues being coordinated over that of the interfaces. The proposed generalization sheds some additional light into adjunctions in bicategories, namely on the factorisation of left adjoint 2-sided enrichments.
Bibliography:This work was partially supported through the IST-2005-16004 Integrated Project SENSORIA: Software Engineering for Service-Oriented Overlay Computers.
ISBN:9783540738572
3540738576
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-540-73859-6_14