A logical approach to system construction
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.
Unable to display preview. Download preview PDF.
- 1.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.Google Scholar
- 2.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.Google Scholar
- 3.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.Google Scholar
- 4.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.Google Scholar
- 5.G. Hill. A Language for System Configuration. PhD thesis, Department of Computing, Imperial College, University of London, 1994. draft.Google Scholar
- 6.S. Takahashi and Y. Takahara. Logical approach to systems theory. Technical report, Tokyo Institute of Technology, Japan, 1994.Google Scholar
- 7.W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987.Google Scholar