A new approach to verifying conceptual models

NCUIR > College of Electrical Engineering & Computer Science > Graduate Institute of Computer Science and Information Engineering > journal & Dissertation > Item 987654321/29161

Please use this identifier to cite or link to this item: http://ir.lib.ncu.edu.tw/handle/987654321/29161

Title:	A new approach to verifying conceptual models
Authors:	Lee,J;Lai,LF
Contributors:	資訊工程研究所
Keywords:	SPECIFICATIONS;KNOWLEDGE;SYSTEMS
Date:	1998
Issue Date:	2010-06-29 20:15:11 (UTC+8)
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
Appears in Collections:	[Graduate Institute of Computer Science and Information Engineering] journal & Dissertation

Files in This Item:

File	Description	Size	Format
index.html		0Kb	HTML	433	View/Open

社群 sharing