Revisiting the categorical approach to systems

Antónia Lopes, José Luiz Fiadeiro

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

5 Citations (Scopus)


Although the contribution of Category Theory as a mathematical platform for supporting software development, in the wake of Goguen’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.

Original languageEnglish
Title of host publicationAlgebraic Methodology and Software Technology
Subtitle of host publication9th International Conference, AMAST 2002
EditorsHelene Kirchner, Christophe Ringeissen
PublisherSpringer Verlag
Number of pages15
ISBN (Print)9783540441441
Publication statusPublished - 1 Jan 2002
Event9th International Conference on Algebraic Methodology and SoftwareTechnology, AMAST 2002 - Reunion Island, Saint-Gilles-les-Bains, France
Duration: 9 Sep 200213 Sep 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference9th International Conference on Algebraic Methodology and SoftwareTechnology, AMAST 2002
CityReunion Island, Saint-Gilles-les-Bains


  • Design Decision
  • Categorical Approach
  • Output Channel
  • Input Channel
  • Design Formalism


Dive into the research topics of 'Revisiting the categorical approach to systems'. Together they form a unique fingerprint.

Cite this