Verifying task-based specifications in conceptual graphs

NCU Institutional Repository > 資訊電機學院 > 資訊工程研究所 > 期刊論文 > Item 987654321/29186

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/29186

题名:	Verifying task-based specifications in conceptual graphs
作者:	Lee,J;Lai,LF
贡献者:	資訊工程研究所
关键词:	REQUIREMENTS;SYSTEMS;KNOWLEDGE
日期:	1998
上传时间:	2010-06-29 20:15:50 (UTC+8)
出版者:	中央大學
摘要:	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.
關聯:	INFORMATION AND SOFTWARE TECHNOLOGY
显示于类别:	[資訊工程研究所] 期刊論文

文件中的档案:

档案	描述	大小	格式	浏览次数
index.html		0Kb	HTML	391	检视/开启

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

社群 sharing