Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Algebraic Semantics of Coordination or What Is in a Signature

José Luiz Fiadeiro5, 6 Contact Information and Antónia LopesContact Information

(5)  Department of Informatics, Faculty of Sciences, University of Lisbon, Campo Grande, 1700 Lisboa, Portugal
(6)  Laboratório de Métodos Formais, Departamento de Inform’atica, Pontifícia Universidade Católica do Rio de Janeiro, Brazil
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.
This work was partially supported by LMF-DI (PUC-Rio, Brazil) through the ARTS project, and through PRAXIS XXI contracts PCSH/OGE/1038/95 (MAGO), 2/2.1/TIT/1662/95 (SARA) and PCEX/P/MAT/46/96 (ACL).

Contact Information José Luiz Fiadeiro
Email: llf@di.fc.ul.pt

Contact Information Antónia Lopes
Email: mal@di.fc.ul.pt
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Referenced by
2 newer articles

  1. Andrade, L. (2002) Separating computation, coordination and configuration. Journal of Software Maintenance and Evolution Research and Practice 14(5)
    [CrossRef]
  2. Ghosh, Sudipto (2005) A middleware-transparent approach to developing distributed applications. Software Practice and Experience 35(12)
    [CrossRef]
Remote Address: 38.107.191.106 • Server: mpweb02
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)