In this paper, 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 constraints satisfaction and relaxation techniques, and on process specifications of the task based on the resolution algorithm and the notion of specificity.
|Number of pages||6|
|Journal||Proceedings - IEEE Computer Society's International Computer Software & Applications Conference|
|Publication status||Published - 1996 Jan 1|
|Event||Proceedings of the 1996 IEEE 20th Annual International Computer Software & Applications Conference, COMPSAC'96 - Seoul, S Korea|
Duration: 1996 Aug 21 → 1996 Aug 23
All Science Journal Classification (ASJC) codes
- Computer Science Applications