Formal validation on enterprise requirements model
Shilun Ge · Journal of Jiangsu University of Science and Technology · 2008
There are great requirements on comprehensive,accurate and consistent enterprise model in enterprise informationization.In life cycle of enterprise information system development,the acquisition and expression of requirements in system analysis phase is the key to guarantee the quality of software,and to reduce the development cost and risks.In this paper,we introduce the method of ontology into modeling the requirements to describe requirements formally,and then to detect bugs or errors in the model by designing the competency questions.On the base of it,we take the sales and marketing management domain as background,and use the logic programming language Visual Prolog to show an application of this formal validation method on enterprise requirement model.