@inproceedings{f92443c19c7c493db292b42eafc03e0b,
title = "Revisiting the categorical approach to systems",
abstract = "Although the contribution of Category Theory as a mathematical platform for supporting software development, in the wake of Goguen{\textquoteright}s approach to General Systems, is now reasonably recognised, accepted and even used, the emergence of new modelling techniques and paradigms associated with the “New-Economy” suggests that the whole approach needs to be revisited. In this paper, we propose some revisions capitalising on the lessons that we have learned in using categorical techniques for formalising recent developments on Software Architectures, Coordination Technologies, and Service-Oriented Software Development in general.",
keywords = "Design Decision, Categorical Approach, Output Channel, Input Channel, Design Formalism",
author = "Ant{\'o}nia Lopes and Fiadeiro, {Jos{\'e} Luiz}",
year = "2002",
month = jan,
day = "1",
doi = "10.1007/3-540-45719-4_29",
language = "English",
isbn = "9783540441441",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "426--440",
editor = "Helene Kirchner and Christophe Ringeissen",
booktitle = "Algebraic Methodology and Software Technology",
address = "Germany",
note = "9th International Conference on Algebraic Methodology and SoftwareTechnology, AMAST 2002 ; Conference date: 09-09-2002 Through 13-09-2002",
}