"Use case+control case" driven approach for software analysis and design

ISCAS OpenIR

	"Use case+control case" driven approach for software analysis and design
	Liu, Chun (3); Zhang, Wei (1); Zhao, Hai-Yan (1); Jin, Zhi (1); Jin, Z.(zhijin@amss.ac.cn)
	2013
发表期刊	Ruan Jian Xue Bao/Journal of Software
ISSN	10009825
卷号	24 期号:4 页码:675-695
摘要	As software systems and their operational environments become more and more complex, the topic of software dependability has attracted more and more attention. The software analysis and design are both required to focus on the functionality and the dependability. However, there still lacks an effective approach to consider the functionality and the dependability simultaneously during software analysis and design. Based on cybernetics, this paper proposes a "use case+control case" driven approach for software analysis and design, which aims to address the software functionality and dependability under a unified framework. During requirements analysis, the "use case+control case" model supports the co-modeling of the functional requirements and the dependability requirements. During system design, the design techniques proposed by ICONIX approach are extended to identify the functionality objects that realize the use cases, and the dependability objects that realize the control cases. A case is also used to illustrate the feasibility of the proposed approach. ©2013 ISCAS.; As software systems and their operational environments become more and more complex, the topic of software dependability has attracted more and more attention. The software analysis and design are both required to focus on the functionality and the dependability. However, there still lacks an effective approach to consider the functionality and the dependability simultaneously during software analysis and design. Based on cybernetics, this paper proposes a "use case+control case" driven approach for software analysis and design, which aims to address the software functionality and dependability under a unified framework. During requirements analysis, the "use case+control case" model supports the co-modeling of the functional requirements and the dependability requirements. During system design, the design techniques proposed by ICONIX approach are extended to identify the functionality objects that realize the use cases, and the dependability objects that realize the control cases. A case is also used to illustrate the feasibility of the proposed approach. ©2013 ISCAS.
收录类别	EI
部门归属	(1) Key Laboratory of High Confidence Software Technologies of Ministry of Education (Peking University), Beijing 100871, China; (2) Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China; (3) Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China
语种	中文
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/17041
专题	中国科学院软件研究所
通讯作者	Jin, Z.(zhijin@amss.ac.cn)
推荐引用方式 GB/T 7714	Liu, Chun ,Zhang, Wei ,Zhao, Hai-Yan ,et al. "Use case+control case" driven approach for software analysis and design[J]. Ruan Jian Xue Bao/Journal of Software,2013,24(4):675-695.
APA	Liu, Chun ,Zhang, Wei ,Zhao, Hai-Yan ,Jin, Zhi ,&Jin, Z..(2013)."Use case+control case" driven approach for software analysis and design.Ruan Jian Xue Bao/Journal of Software,24(4),675-695.
MLA	Liu, Chun ,et al.""Use case+control case" driven approach for software analysis and design".Ruan Jian Xue Bao/Journal of Software 24.4(2013):675-695.