Implementation of the REpresentation and MAintenance of Process Knowledge(REMAP) Model in the Knowledge-Based Software Assistant Concept Demonstration System.

摘要

The Representation and MAintenance of Process knowledge (REMAP) model supports the various stakeholders involved in software design during development and maintenance by capturing the rationale behind design decisions. This process knowledge is invaluable with changing requirements and assumptions. In the context of formal software development, process knowledge about the development of formal specifications from informal requirements will facilitate the understanding and maintenance of such specifications. We have implemented the REMAP model in the United States Air Force Rome Laboratory's KBSA Concept Demonstration system (a formal software development environment) to capture this process knowledge. We provide a graphical browser to facilitate the instantiation, browsing and modification of REMAP model primitives and a mechanism to reason with the knowledge in the Concept Demonstration system.