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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
R. Alur and T. Henzinger, “Reactive Modules”, in Proc. LICS’96, 207–218.
R. Burstall and J. Goguen, “Putting Theories Together to Make Specifications”, in Proc. 5th IJCAI,1045–1058, 1977.
K. Chandy and J. Misra, Parallel Program Design— A Foundation, Addison-Wesley, 1988.
T. Dimitrakos, “Parametrising (algebraic) Specification on Diagrams”, Proc. 13th Int. Conference on Automated Software Engineering, 1998.
J.L. Fiadeiro and T. Maibaum, “Categorical Semantics of Parallel Program Design”, Science of Computer Programming, 28:111–138, 1997.
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.
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.
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.
J.L. Fiadeiro and A. Lopes, “Algebraic Semantics of Coordination”, in A. Haeberer (ed), AMAST’98, LNCS 1548, Springer-Verlag.
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.
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.
J. Goguen and S. Ginalli, “A Categorical Approach to General Systems Theory”, in G. Klir(ed), Applied General Systems Research, Plenum 1978, 257–270.
J. Goguen, “Sheaf Semantics for Concurrent Interacting Objects”, Mathematical Structures in Computer Science 2, 1992.
M. Groβe-Rhode, “Algebra Transformations Systems and their Composition”, in E. Astesiano (ed), FASE’98, LNCS 1382, 107–122, Springer-Verlag, 1998.
C.A. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.
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.
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.
A. Lopes, Non-determinism and Compositionality in the Specification of Reactive Systems, PhD Thesis, University of Lisbon, 1999.
J. Magee and J. Kramer, “Dynamic Structures in Software Architecture”, in 4th Symposium on Foundations of Software Engineering, ACM Press 1996, 3–14.
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.
Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1991.
D. Smith, “Constructing Specification Morphisms”, Journal of Symbolic Computation 15 (5–6), 571–606, 1993.
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.
G. Winskel, “A Compositional Proof System on a Category of Labelled Transition Systems”, Information and Computation 87:2–57, 1990.
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.
V. Wiels and S. Easterbrook, “Management of Evolving Specifications using Category Theory”, Proc. 13th Int. Conference on Automated Software Engineering, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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