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