[Previous [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]

Journal of Inforamtion Science and Engineering, Vol.14 No.2, pp.347-367 (June 1998)
A New Approach to Verifying Conceptual Models*

Jonathan Lee and Lein F. Lai
Software Engineering Lab.
Department of Computer Science and Information Engineering
National Central University
Chungli, Taiwan, R.O.C.

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.

Keywords: back-propagation learning, classification tree, entropy-tree net, information theory

Received July 9, 1996; revised October 27, 1997.
Communicated by Jieh Hsiang.
* This research was sponsored by National Science Council (Taiwan, R.O.C.) under the grant NSC86-2213-E-008-006.