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

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

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/11690

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

Title:	Verifying task-based specifications in conceptual graphs
Authors:	Lee, J.;Lai, Lien-Fu
Contributors:	資訊工程學系
Keywords:	Verification;Conceptual model;Task-based specifications;Conceptual graphs
Date:	1998-02
Issue Date:	2012-07-02T02:01:23Z
Publisher:	Elsevier
Abstract:	A conceptual model is a model of real world concepts and application domains as perceived by users and developers. It helps developers investigate and represent the semantics of the problem domain, as well as communicate among themselves and with users. 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 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 and to provide a reasoning capability for the purpose of verification. Verifying a conceptual model is performed on model specifications of a task through constraints satisfaction and relaxation techniques, and on process specifications of the task based on operators and rules of inference inherited in conceptual graphs.
Relation:	Information and Software Technology, 39(14-15): 913-923
Appears in Collections:	[Department and Graduate Institute of Computer Science and Information Engineering] Periodical Articles

Files in This Item:

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