Revisiting the categorical approach to systems

Antónia Lopes, José Luiz Fiadeiro

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

5 Citations (Scopus)

Abstract

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
Pages426-440
Number of pages15
ISBN (Print)9783540441441
DOIs
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)
Volume2422
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference9th International Conference on Algebraic Methodology and SoftwareTechnology, AMAST 2002
CountryFrance
CityReunion Island, Saint-Gilles-les-Bains
Period9/09/0213/09/02

Keywords

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

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

Cite this