Structuring theories on consequence
Lecture notes in Computer Science on Recent trends in data type specification
Parallel program design: a foundation
Parallel program design: a foundation
Abstract and concrete categories
Abstract and concrete categories
Coordination languages and their significance
Communications of the ACM
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Categorical semantics of parallel program design
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
Proceedings of the First International Conference on Coordination Languages and Models
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Proceedings of the Second International Conference on Coordination Languages and Models
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
MFCS '92 Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A Classification of Models for Concurrency
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Algebraic Support for Service-Oriented Architecture
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Revisiting the Categorical Approach to Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordination for Orchestration
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Parameterisation for abstract structured specifications
Theoretical Computer Science
| Hi-index | 0.00 |
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.