A Task-Based Approach to Verifying Conceptual Models.
Journal
COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea
Pages
132-137
Date Issued
1996
Author(s)
Abstract
We propose the use of task based specifications in conceptual graphs to construct and verify a conceptual model. Task based specification methodology is used to serve as the mechanism to structure the knowledge captured in the conceptual model; whereas, conceptual graphs are adopted as the formalism to express task based specifications. Verifying a conceptual model is performed on model specifications of a task through constraint satisfaction and relaxation techniques, and on process specifications of the task based on the resolution algorithm and the notion of specificity.
Type
conference paper