Title :
A task-based approach to verifying conceptual models
Author :
Lee, Joiiatlian ; Lai, Lein F. ; Huang, W.T.
Author_Institution :
Dept. of Comput. Sci. & Inf. Eng., Nat. Central Univ., Chung-Li, Taiwan
Abstract :
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 constraint satisfaction and relaxation techniques, and on process specifications of the task based on the resolution algorithm and the notion of specificity
Keywords :
formal specification; graph theory; program verification; conceptual graphs; conceptual model verification; constraint satisfaction; model specifications; process specifications; relaxation techniques; resolution algorithm; specificity; task based approach; task based specifications; Computer errors; Costs; Councils; Design for disassembly; Erbium; Object oriented modeling; Organizing; Petri nets; Petroleum; Programming;
Conference_Titel :
Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International
Conference_Location :
Seoul
Print_ISBN :
0-8186-7579-9
DOI :
10.1109/CMPSAC.1996.544148
