This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2011 International Conference of Information Technology, Computer Engineering and Management Sciences
Use Cases and Feedback in Functional Requirements Analysis
Nanjing, China
September 24-September 25
ISBN: 978-0-7695-4522-6
ASCII Text
x 
 
Jiandong Xu, Tong Li, Zhongwen Xie, Tilei Gao, "Use Cases and Feedback in Functional Requirements Analysis," Information Technology, Computer Engineering and Management Sciences, International Conference of, vol. 2, pp. 54-57, 2011 International Conference of Information Technology, Computer Engineering and Management Sciences, 2011.
 
 
BibTex
x
 
@article{ 10.1109/ICM.2011.201,
author = {Jiandong Xu and Tong Li and Zhongwen Xie and Tilei Gao},
title = {Use Cases and Feedback in Functional Requirements Analysis},
journal ={Information Technology, Computer Engineering and Management Sciences, International Conference of},
volume = {2},
year = {2011},
isbn = {978-0-7695-4522-6},
pages = {54-57},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICM.2011.201},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Information Technology, Computer Engineering and Management Sciences, International Conference of
TI - Use Cases and Feedback in Functional Requirements Analysis
SN - 978-0-7695-4522-6
SP54
EP57
A1 - Jiandong Xu,
A1 - Tong Li,
A1 - Zhongwen Xie,
A1 - Tilei Gao,
PY - 2011
KW - Use Case
KW - Feedback
KW - Functional requirement
KW - Hoare Logic
KW - Petri Net
VL - 2
JA - Information Technology, Computer Engineering and Management Sciences, International Conference of
ER -
 
Feedback exists in almost every stage of a software process and can improve the quality of the product generated from each stage. Use cases model is one important product of functional requirements analysis, so it should be updated continuously through feedback. This paper proposes a formal, three-level use cases model which consists of function use case level, system use case level and business use case level. A function use case is formalized with Hoare Logic, a system use case is composed of a set of function use cases according to three composition rules, and a business use case is formalized with a Petri Net. After the use cases model is proposed, how feedback in functional requirements analysis has effect on the model is well discussed. And changes of a function use case and a system use case are formally defined.
Index Terms:
Use Case, Feedback, Functional requirement, Hoare Logic, Petri Net
Citation:
Jiandong Xu, Tong Li, Zhongwen Xie, Tilei Gao, "Use Cases and Feedback in Functional Requirements Analysis," icm, vol. 2, pp.54-57, 2011 International Conference of Information Technology, Computer Engineering and Management Sciences, 2011
Usage of this product signifies your acceptance of the Terms of Use.