DocumentCode :
1992644
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
fYear :
1996
fDate :
21-23 Aug 1996
Firstpage :
132
Lastpage :
137
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International
Conference_Location :
Seoul
ISSN :
0730-3157
Print_ISBN :
0-8186-7579-9
Type :
conf
DOI :
10.1109/CMPSAC.1996.544148
Filename :
544148
Link To Document :
بازگشت