Skip to main content
SpringerLink
Log in

Category Theory for the Configuration of Complex Systems

  • Conference paper
Algebraic Methodology and Software Technology (AMAST’93)

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

The abstract framework of category theory is shown to provide a precise semantics for the configuration of complex systems from their component parts. Diagrams express configuration by representing the results of applying combinators to recursively defined system components. Although modularity has been described as an essential property of complex systems, no clear and simple definition of a module has emerged at this general level. In this paper a new module concept is defined to represent reusable system components, at any level of development.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. M. Burstall and J. A. Goguen. Putting theories together to make specifications. In Proceedings of the 5th. International Joint Conference on Artificial Intelligence, pages 1045–1058, Cambridge, Mass., 1977.

    Google Scholar 

  2. Gillian Hill. A Language for System Configuration. PhD thesis, Department of Computing, Imperial College, University of London, 1993. draft.

    Google Scholar 

  3. T. Maibaum and J. Fiadeiro. Stepwise program development in II institutions. Technical report, Imperial College, November 1990. with Martín Sadler.

    Google Scholar 

  4. P. H. Rodenburg and R. J. van Glabbeek. An interpolation theorem in equational logic. Technical Report CS-R8838, Department of Computer Science, Centre for Mathematics and Computer Science, Amsterdam, 1988.

    Google Scholar 

  5. Wladyslaw M. Turski and Thomas S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987.

    Google Scholar 

  6. László Úry and Tamas Gergely. A constructive specification theory. In G. David, R. T. Boute, and B. D. Shriver, editors, Declarative Systems. Elsevier Science Publishers B. V. (North Holland) IFIP, 1990.

    Google Scholar 

  7. Paulo A. S. Veloso. Program development as theory manipulations. Technical report, PUC/RJ Departamento de Informatica, Rio de Janeiro, Brazil, May 1985. Series: Monografias em Ciencia da Computacao No4/85.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College of Science and Technology, UK

    Gillian Hill

  2. Department of Computer Science, City University, London, Great Britain

    Gillian Hill

Authors
  1. Gillian Hill
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LITP, Université Paris VII, 2 Place Jussieu, 75251, Paris-Cedex 05, France

    Maurice Nivat

  2. Department of Computing Science, University of Stirling, Stirling, FK9 4LA, Scotland, UK

    Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math.

  3. Department of Computer Science, University of Iowa, Iowa City, IA, 52242, USA

    Teodor Rus PhD

  4. Fac. Informatica, University of Twente, PO Box 217, NL-7500 AE, Enschede, The Netherlands

    Giuseppe Scollo PhD

Rights and permissions

Reprints and permissions

Copyright information

© 1994 British Computer Society

About this paper

Cite this paper

Hill, G. (1994). Category Theory for the Configuration of Complex Systems. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds) Algebraic Methodology and Software Technology (AMAST’93). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3227-1_19

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3227-1_19

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19852-9

  • Online ISBN: 978-1-4471-3227-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation