Task-based approach to verifying conceptual models

Jonathan Lee, Lein F. Lai, Wei T. Huang

Research output: Contribution to journalConference articlepeer-review


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.

Original languageEnglish
Pages (from-to)132-137
Number of pages6
JournalProceedings - IEEE Computer Society's International Computer Software & Applications Conference
Publication statusPublished - 1996 Jan 1
EventProceedings of the 1996 IEEE 20th Annual International Computer Software & Applications Conference, COMPSAC'96 - Seoul, S Korea
Duration: 1996 Aug 211996 Aug 23

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Task-based approach to verifying conceptual models'. Together they form a unique fingerprint.

Cite this