National Changhua University of Education Institutional Repository : Item 987654321/11689
English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 6507/11669
造访人次 : 30036564      在线人数 : 586
RC Version 3.2 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜寻范围 进阶搜寻

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: 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.pdf82KbAdobe PDF481检视/开启


在NCUEIR中所有的数据项都受到原著作权保护.

 

DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回馈