資料載入中.....
|
請使用永久網址來引用或連結此文件:
http://ir.ncue.edu.tw/ir/handle/987654321/11689
|
題名: | A new approach to verifying conceptual models |
作者: | Lee, J.;Lai, Lien-Fu |
貢獻者: | 資訊工程學系 |
日期: | 1998-01
|
上傳時間: | 2012-07-02T02:01:11Z
|
出版者: | 中央研究院資訊科學研究所 |
摘要: | 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. |
關聯: | Journal of Information Science and Engineering, 14: 347-367 |
顯示於類別: | [資訊工程學系] 期刊論文
|
文件中的檔案:
檔案 |
大小 | 格式 | 瀏覽次數 |
2050400710001.pdf | 82Kb | Adobe PDF | 481 | 檢視/開啟 |
|
在NCUEIR中所有的資料項目都受到原著作權保護.
|