Loading...
|
Please use this identifier to cite or link to this item:
http://ir.ncue.edu.tw/ir/handle/987654321/11856
|
Title: | A task-based approach to verifying conceptual models |
Authors: | Lee, Joiiatlian;Lai, Lien-Fu;Huang, W. T. |
Contributors: | 資訊工程學系 |
Date: | 1996-08
|
Issue Date: | 2012-07-02T02:24:21Z
|
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 |
Relation: | The IEEE Twentieth Annual International Computer Software and Applications Conference, Aug. 21-22, 1996: 132-137 |
Appears in Collections: | [資訊工程學系] 會議論文
|
Files in This Item:
File |
Size | Format | |
index.html | 0Kb | HTML | 418 | View/Open |
|
All items in NCUEIR are protected by copyright, with all rights reserved.
|