National Changhua University of Education Institutional Repository : Item 987654321/11689

English | 正體中文 | 简体中文 | Items with full text/Total items : 6507/11669
Visitors : 29964170 Online Users : 372

RC Version 3.2 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.

Scope Adv. Search

Login ‧ Upload ‧ Help ‧ About ‧ Administer

NCUEIR > College of Engineering > Department and Graduate Institute of Computer Science and Information Engineering > Periodical Articles > Item 987654321/11689

Please use this identifier to cite or link to this item: http://ir.ncue.edu.tw/ir/handle/987654321/11689

Title:	A new approach to verifying conceptual models
Authors:	Lee, J.;Lai, Lien-Fu
Contributors:	資訊工程學系
Date:	1998-01
Issue Date:	2012-07-02T02:01:11Z
Publisher:	中央研究院資訊科學研究所
Abstract:	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.
Relation:	Journal of Information Science and Engineering, 14: 347-367
Appears in Collections:	[Department and Graduate Institute of Computer Science and Information Engineering] Periodical Articles

Files in This Item:

File	Size	Format
2050400710001.pdf	82Kb	Adobe PDF	478	View/Open