A new approach to verifying conceptual models

Jonathan Lee, Lein F. Lai

研究成果: Article

摘要

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.

原文English
頁(從 - 到)347-367
頁數21
期刊Journal of Information Science and Engineering
14
發行號2
出版狀態Published - 1998 六月 1

All Science Journal Classification (ASJC) codes

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

指紋 深入研究「A new approach to verifying conceptual models」主題。共同形成了獨特的指紋。

  • 引用此