Ontology-based inconsistency management of software requirements specifications

CSpace

	Ontology-based inconsistency management of software requirements specifications
	Zhu, XF ; Jin, Z
	2005
发表期刊	SOFSEM 2005:THEORY AND PRACTICE OF COMPUTER SCIENCE
ISSN	0302-9743
卷号	3381 页码:340-349
摘要	Management of requirements inconsistency is key to the development of trustworthy software systems. But at present, although there are a lot of work on this topic, most of them are limited in treating inconsistency at the syntactic level. We still lack a systematical method for managing requirements inconsistency at the semantic level. This paper first proposes a requirements refinement model, which suggests that interactions between software agents and their ambiences are essential to capture the semantics of requirements. We suppose that the real effect of these interactions is to make the states of entities in the ambiences changed. So, we explicitly represent requirements of a software agent as a set of state transition diagrams, each of which is for one entity in the ambiences. We argue that, based on this model, the mechanism to deal with the inconsistency at the semantic level. A domain ontology is used as an infrastructure to detect, diagnose and resolve the inconsistency.
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Theory & Methods
WOS记录号	WOS:000228554400037
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/1978
专题	中国科学院数学与系统科学研究院
通讯作者	Zhu, XF
作者单位	1.Chinese Acad Sci, Comp Technol Inst, Beijing 100080, Peoples R China 2.Chinese Acad Sci, Grad Sch, Acad Math & Syst Sci, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Zhu, XF,Jin, Z. Ontology-based inconsistency management of software requirements specifications[J]. SOFSEM 2005:THEORY AND PRACTICE OF COMPUTER SCIENCE,2005,3381:340-349.
APA	Zhu, XF,&Jin, Z.(2005).Ontology-based inconsistency management of software requirements specifications.SOFSEM 2005:THEORY AND PRACTICE OF COMPUTER SCIENCE,3381,340-349.
MLA	Zhu, XF,et al."Ontology-based inconsistency management of software requirements specifications".SOFSEM 2005:THEORY AND PRACTICE OF COMPUTER SCIENCE 3381(2005):340-349.