A new approach to verifying conceptual models

Jonathan Lee, Lein F. Lai

Research output: Contribution to journalArticlepeer-review


In this paper, we propose the use of task-based specifications in conceptual graphs (TBCG) to construct and verify a conceptual model. Task-based specification methodology a serves 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. Verification of 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.

Original languageEnglish
Pages (from-to)347-367
Number of pages21
JournalJournal of Information Science and Engineering
Issue number2
Publication statusPublished - 1998 Jun 1

All Science Journal Classification (ASJC) codes

  • Software
  • Human-Computer Interaction
  • Hardware and Architecture
  • Computational Theory and Mathematics
  • Library and Information Sciences

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

Cite this