Abstract
Foundational work from logic and category theory is applied to the practical problem of constructing complex engineering systems from their component parts. System configuration involves keeping the history of system construction and is carried out by applying combinators to recursively defined system components. The results of configuration are represented precisely by constructing diagrams in a three-dimensional development space. A new and simple module concept is defined to manage the complexity of large engineering systems by enabling a reusable system component to be represented and reasoned about at any level of development.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
R. A. Burstall and J. A. Goguen. An informal introduction to specifications using Clear. In Boyer and Moore, editors, The Correctness Problem in Computer Science. Academic Press, 1981.
R. M. Burstall and J. A. Goguen. The semantics of Clear, a specification language. In Abstract Software Specifications, LNCS 86. Springer-Verlag, 1979.
H. Ehrig, W. Fey, H. Hansen, M. Lowe, and D. Jacobs. Algebraic concepts for software configuration development. Technical Report 88-19, Technical University, Berlin, August 1988.
H. Ehrig, W. Fey, H. Hansen, M. Lowe, D. Jacobs, and A. Langen. Algebraic specification of modules and configuration families. Technical Report 88-17, Technical University, Berlin, August 1988.
H. Ehrig, W. Fey, H. Hansen, M. Lowe, and F. Papisi-Presicce. Algebraic theory of modular specification development. Technical report, Technical University, Berlin, 1987.
H. Ehrig, F. Papisi-Presicce, W. Fey, and E. K. Blum. Algebraic theory of module specifications with constraints. In Proceedings MFCS LNCS 233, pages 59–77, 1986.
N. Fenton and G. Hill. Systems Construction and Analysis: A Mathematical and Logical Framework. McGraw-Hill International (UK), 1993.
J. Goguen. Categorical foundations for general systems theory. In Advances in Cybernetics and Systems Research, pages 121–130. Transcripta books, 1973.
J. Goguen. Principles of parameterized programming. Technical report, Stanford University, August 1987. Draft Version.
G. Hill. Category theory for the configuration of complex systems. In T. Rus M. Nivat, C Rattray and G. Scollo, editors, Algebraic Methodology and Software Technology, Entschede, 1993, pages 193–200. Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, The Netherlands, 21–25 June 1993, Springer-Verlag, 1994. Workshops in Computing series.
G. Hill. A Language for System Configuration. PhD thesis, Department of Computing, Imperial College, University of London, 1994. draft.
T. Maibaum, J. Fiadeiro, and M. Sadler. Stepwise program development in II institutions. Technical report, Imperial College, November 1990.
T. S. E. Maibaum and W. M. Turski. On what exactly is going on when software is developed step-by-step. In Proceedings of 7th International Conference on Software Engineering, pages 528–533, 1984.
B. Meyer. Reusability: The case for object-oriented design. IEEE Software, pages 50–63, March 1987.
M. Stefik and D. Bobrow. Object-oriented programming: Themes and variations. The AI Magazine, 6(4), 1986. Winter.
W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987.
P. 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.
H. Weber and H. Ehrig. Specification of modular systems. IEEE Transaction on Software Engineering, SE-12:786–798, June 1986.
P. Wegner. The object-oriented classification paradigm. In Research Directions in Object-Oriented Programming, pages 479–560. MIT Press, 1987.
M. Wirsing. Algebraic description of reusable software components. Technical report, University of Passau, 1987. Draft Version.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hill, G. (1996). The configuration of complex systems. In: Klir, G.J., Ören, T.I. (eds) Computer Aided Systems Theory — CAST '94. Lecture Notes in Computer Science, vol 1105. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61478-8_67
Download citation
DOI: https://doi.org/10.1007/3-540-61478-8_67
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61478-4
Online ISBN: 978-3-540-68600-2
eBook Packages: Springer Book Archive