Verifying task-based specifications in conceptual graphs

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

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

Title:	Verifying task-based specifications in conceptual graphs
Authors:	Lee,J;Lai,LF
Contributors:	資訊工程研究所
Keywords:	REQUIREMENTS;SYSTEMS;KNOWLEDGE
Date:	1998
Issue Date:	2010-06-29 20:15:50 (UTC+8)
Publisher:	中央大學
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. (C) 1998 Elsevier Science B.V.
Relation:	INFORMATION AND SOFTWARE TECHNOLOGY
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	391	View/Open

社群 sharing