Knowledge Representation and Reasoning in the Design of Composite Systems


Our interest is in the design process that spans the gap between the requirements acquisition process and the implementation process, in which the basic architecture of a system is defined, and functions are allocated to software, hardware, and human agents. We call this process composite system design. Our goal is an interactive model of composite system design incorporating deficiency-driven design, formal analysis, incremental design and rationalization, and design reuse. We discuss knowledge representations and reasoning techniques for the product (composite system) that we are designing, and for the design process, which support these goals. To evaluate our model, we report on its use to rationally reconstruct the design of two existing composite systems.

DOI: 10.1109/32.142870

Extracted Key Phrases

13 Figures and Tables


Citations per Year

153 Citations

Semantic Scholar estimates that this publication has 153 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Fickas1992KnowledgeRA, title={Knowledge Representation and Reasoning in the Design of Composite Systems}, author={Stephen Fickas and B. Robert Helm}, journal={IEEE Trans. Software Eng.}, year={1992}, volume={18}, pages={470-482} }