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....
Saved in:
Published in | Algebra and Coalgebra in Computer Science pp. 194 - 208 |
---|---|
Main Authors | , |
Format | Book Chapter |
Language | English |
Published |
Berlin, Heidelberg
Springer Berlin Heidelberg
|
Series | Lecture Notes in Computer Science |
Subjects | |
Online Access | Get full text |
Cover
Loading…
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 |