Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic Methodology and Software Technology

AMAST 2002: Algebraic Methodology and Software Technology pp 426–440Cite as

Revisiting the Categorical Approach to Systems*

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2422))

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.

This research was partially supported by Fundação para a Ciência e Tecnologia through project POSI/32717/00 (FAST).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Alur and T. Henzinger, “Reactive Modules”, in Proc. LICS’96, 207–218.

    Google Scholar 

  2. R. Burstall and J. Goguen, “Putting Theories Together to Make Specifications”, in Proc. 5th IJCAI,1045–1058, 1977.

    Google Scholar 

  3. K. Chandy and J. Misra, Parallel Program Design— A Foundation, Addison-Wesley, 1988.

    Google Scholar 

  4. T. Dimitrakos, “Parametrising (algebraic) Specification on Diagrams”, Proc. 13th Int. Conference on Automated Software Engineering, 1998.

    Google Scholar 

  5. J.L. Fiadeiro and T. Maibaum, “Categorical Semantics of Parallel Program Design”, Science of Computer Programming, 28:111–138, 1997.

    Article  MATH  Google Scholar 

  6. J.L. Fiadeiro and T. Maibaum, “Interconnecting Formalisms: supporting modularity, reuse and incrementality”, in G.E. Kaiser (ed), Proc. 3rd Symp. on Foundations of Software Engineering, 72–80, ACM Press, 1995.

    Google Scholar 

  7. J.L. Fiadeiro and T. Maibaum, “Temporal Theories as Modularisation Units for Concurrent System Specification”, in Formal Aspects of Computing 4(3), 1992, 239–272.

    Article  MATH  Google Scholar 

  8. J.L. Fiadeiro, “On the Emergence of Properties in Component-Based Systems”, in M. Wirsing and M. Nivat (eds), AMAST’96, LNCS 1101, Springer-Verlag 1996, 421–443.

    Google Scholar 

  9. J.L. Fiadeiro and A. Lopes, “Algebraic Semantics of Coordination”, in A. Haeberer (ed), AMAST’98, LNCS 1548, Springer-Verlag.

    Google Scholar 

  10. J.L. Fiadeiro and A. Lopes, “Semantics of Architectural Connectors”, in M. Bidoit and M. Dauchet (eds), TAPSOFT’97, LNCS 1214, 505–519, Springer-Verlag, 1997.

    Google Scholar 

  11. J. Goguen, “Categorical Foundations for General Systems Theory”, in F. Pichler and R. Trappl (eds), Advances in Cybernetics and Systems Research, 121–130, Transcripta Books, 1973.

    Google Scholar 

  12. J. Goguen and S. Ginalli, “A Categorical Approach to General Systems Theory”, in G. Klir(ed), Applied General Systems Research, Plenum 1978, 257–270.

    Google Scholar 

  13. J. Goguen, “Sheaf Semantics for Concurrent Interacting Objects”, Mathematical Structures in Computer Science 2, 1992.

    Google Scholar 

  14. M. Groβe-Rhode, “Algebra Transformations Systems and their Composition”, in E. Astesiano (ed), FASE’98, LNCS 1382, 107–122, Springer-Verlag, 1998.

    Google Scholar 

  15. C.A. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.

    Google Scholar 

  16. K. Lano and A. Sanchez, “Design of Reactive Control Systems for Event-Driven Operations”, in J. Fitzgerald, C. Jones and P. Lucas (eds), Formal Methods Europe 1997, LNCS 1313, 142–161, Springer-Verlag, 1997.

    Google Scholar 

  17. A. Lopes and J.L. Fiadeiro, “Using Explicit State to Describe Architectures”, in J. Finance (ed), FASE’99, LNCS 1577, 144–160, Springer-Verlag, 1999.

    Google Scholar 

  18. A. Lopes, Non-determinism and Compositionality in the Specification of Reactive Systems, PhD Thesis, University of Lisbon, 1999.

    Google Scholar 

  19. J. Magee and J. Kramer, “Dynamic Structures in Software Architecture”, in 4th Symposium on Foundations of Software Engineering, ACM Press 1996, 3–14.

    Google Scholar 

  20. T. Maibaum, P. Veloso and M. Sadler, “A Theory of Abstract Data Types for Program Development: Bridging the Gap?”, in H. Ehrig, C. Floyd, M. Nivat and J. Thatcher (eds) TAPSOFT’85, LNCS 186, 1985, 214–230.

    Google Scholar 

  21. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1991.

    Google Scholar 

  22. D. Smith, “Constructing Specification Morphisms”, Journal of Symbolic Computation 15 (5–6), 571–606, 1993.

    Article  MATH  MathSciNet  Google Scholar 

  23. Y. Srinivas and R. Jüllig, “SpecwareTM:Formal Support for Composing Software”, in B. Möller (ed) Mathematics of Program Construction, LNCS 947, 399–422, Springer-Verlag, 1995.

    Google Scholar 

  24. G. Winskel, “A Compositional Proof System on a Category of Labelled Transition Systems”, Information and Computation 87:2–57, 1990.

    Article  MathSciNet  MATH  Google Scholar 

  25. G. Winskel and M. Nielsen, “Models for Concurrency”, Handbook of Logic in Computer Science, S. Abramsky, D. Gabbay and T. Maibaum (eds), Vol.4, 1–148, Oxford University Press 1995.

    Google Scholar 

  26. V. Wiels and S. Easterbrook, “Management of Evolving Specifications using Category Theory”, Proc. 13th Int. Conference on Automated Software Engineering, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, Faculty of Sciences, University of Lisbon, Campo Grande, 1749-016, Lisboa, Portugal

    Antónia Lopes & José Luiz Fiadeiro

  2. ATX Software SA, Alameda António Sérgio 7, 1A, 2795-023, Linda-a-Velha, Portugal

    José Luiz Fiadeiro

Authors
  1. Antónia Lopes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Luiz Fiadeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LORIA - CNRS & INRIA, Campus Scientifique, Bâtiment LORIA, BP 239, 54506, Vandoeuvre-lès-Nancy, France

    Hélène Kirchner

  2. LORIA - INRIA, 615, rue du Jardin Botanique, 54602, Villers-lès-Nancy, France

    Christophe Ringeissen

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lopes, A., Fiadeiro, J.L. (2002). Revisiting the Categorical Approach to Systems* . In: Kirchner, H., Ringeissen, C. (eds) Algebraic Methodology and Software Technology. AMAST 2002. Lecture Notes in Computer Science, vol 2422. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45719-4_29

Download citation

  • DOI: https://doi.org/10.1007/3-540-45719-4_29

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44144-1

  • Online ISBN: 978-3-540-45719-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation