An Implementation of the REpresentation and MAintenance of Process Knowledge(REMAP) Model in the Knowledge-Based Software Assistant Concept Demonstration System
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Pagination or Media Count:
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 Laboratorys 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.
- Computer Programming and Software