Structured Co-spans: An algebra of interaction protocols

José Luiz Fiadeiro, Vincent Schmitt

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationAlgebra and Coalgebra in Computer Science
Subtitle of host publicationSecond International Conference, CALCO 2007, Proceedings
EditorsT. Mossakowski, U. Montanari, M. Haveraaen
Place of PublicationBerlin
PublisherSpringer Verlag
Pages194-208
Number of pages15
ISBN (Electronic)9783540738596
ISBN (Print)9783540738572
DOIs
Publication statusPublished - 2007
Event2nd International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007 - Bergen, Norway
Duration: 20 Aug 200724 Aug 2007

Publication series

NameLecture Notes in Computer Science
PublisherSpinger
Volume4624
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference2nd International Conference on Algebra and Coalgebra in Computer Science, CALCO 2007
CountryNorway
CityBergen
Period20/08/0724/08/07

Keywords

  • Interaction Protocol
  • Algebraic Semantic
  • External Interface
  • Canonical Factorisation
  • Local Stock

Fingerprint Dive into the research topics of 'Structured Co-spans: An algebra of interaction protocols'. Together they form a unique fingerprint.

Cite this