Abstract
By taking a logical approach to the practical task of constructing complex engineering systems from their component parts, we achieve a precise semantics for our building operations. If the underlying logic has the Craig interpolation property we are also able to preserve the structure and properties of the system components that we build with. System construction, defined as systems configuration, is carried out by applying combinators to recursively defined system components, and the history of construction is recorded within the textual specification for that system. System configuration also provides for the reusability of system components by a new and simple definition of a module as an instance of a specification.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
T. Gergely and L. Ury. First order programming theories. In W. Brauer, G. Rozenburg, and A. Saloma, editors, EATCS Monographs on Theoretical Computer Science, Volume 24. Springer-Verlag, 1991.
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. The configuration of complex systems. In T. ören, editor, CAST '94 Lecture Notes. Fourth International Workshop on Computer Aided Systems Technology, University of Ottawa, Ottawa, Ontario, Canada, 16–20 May, 1994. to be published in 1995 by Springer-Verlag.
G. Hill. Constructing specifications and modules in a KZ-doctrine. In C. L. Hankin, I. Mackie, and R. Nagarajan, editors, Theory and Formal Methods '94. Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods, September 1994. to be published by IC-press, World Scientific Publishing.
G. Hill. A Language for System Configuration. PhD thesis, Department of Computing, Imperial College, University of London, 1994. draft.
S. Takahashi and Y. Takahara. Logical approach to systems theory. Technical report, Tokyo Institute of Technology, Japan, 1994.
W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987.
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). A logical approach to system construction. In: Pichler, F., Díaz, R.M., Albrecht, R. (eds) Computer Aided Systems Theory — EUROCAST '95. EUROCAST 1995. Lecture Notes in Computer Science, vol 1030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034748
Download citation
DOI: https://doi.org/10.1007/BFb0034748
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60748-9
Online ISBN: 978-3-540-49358-7
eBook Packages: Springer Book Archive