Towards a Theory of Glue

Simon Bliudze
(Ecole Polytechnique Fédérale de Lausanne)

We propose and study the notions of behaviour type and composition operator making a first step towards the definition of a formal framework for studying behaviour composition in a setting sufficiently general to provide insight into how the component-based systems should be modelled and compared. We illustrate the proposed notions on classical examples (Traces, Labelled Transition Systems and Coalgebras). Finally, the definition of memoryless glue operators, takes us one step closer to a formal understanding of the separation of concerns principle stipulating that computational aspects of a system should be localised within its atomic components, whereas coordination layer responsible for managing concurrency should be realised by memoryless glue operators.

In Marco Carbone, Ivan Lanese, Alexandra Silva and Ana Sokolova: Proceedings Fifth Interaction and Concurrency Experience (ICE 2012), Stockholm, Sweden, 16th June 2012, Electronic Proceedings in Theoretical Computer Science 104, pp. 48–66.
Published: 14th December 2012.

ArXived at: https://dx.doi.org/10.4204/EPTCS.104.6 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org