Algebraic semantics of coordination or what is in a signature

José Luiz Fiadeiro, Antónia Lopes

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

10 Citations (Scopus)

Abstract

We propose an algebraic characterisation of the notion of coordination in the sense of recently proposed languages and computational models that provide a clear separation between the modelling of individual software components and their interaction in the overall software organisation. We show how this separation can be captured in Goguen’s categorical approach to General Systems Theory and borrow examples from specification logics, program design languages, mathematical models of behaviour, and coordination languages to illustrate the applicability of our algebraic characterisation.

Original languageEnglish
Title of host publicationAlgebraic Methodology and Software Technology - 7th International Conference, AMAST 1998, Proceedings
EditorsArmando Martin Haeberer
Place of PublicationBerlin
PublisherSpringer Verlag
Pages293-307
Number of pages15
ISBN (Electronic)9783540492535
ISBN (Print)3540654623, 9783540654629
DOIs
Publication statusPublished - 1998
Event7th International Conference on Algebraic Methodology and Software Technology, AMAST 1998 - Amazonia, Brazil
Duration: 4 Jan 19998 Jan 1999

Publication series

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

Conference

Conference7th International Conference on Algebraic Methodology and Software Technology, AMAST 1998
CountryBrazil
CityAmazonia
Period4/01/998/01/99

Keywords

  • Discrete Structure
  • Algebraic Semantic
  • Algebraic Characterisation
  • Program Signature
  • Software Organisation

Fingerprint Dive into the research topics of 'Algebraic semantics of coordination or what is in a signature'. Together they form a unique fingerprint.

Cite this