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.
|
 |
Algebraic Semantics of Coordination or What Is in a Signature
| |
|
Algebraic Semantics of Coordination or What Is in a Signature
José Luiz Fiadeiro5, 6 and Antónia Lopes5 
| (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).
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|