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.

Citations