TY - GEN
T1 - Use cases and scenarios engineering
AU - Jakimi, A.
AU - Sabraoui, A.
AU - Badidi, E.
AU - Idri, A.
AU - El Koutbi, M.
PY - 2007
Y1 - 2007
N2 - In this paper, we suggest a requirement engineering process that composes (merge) use cases/scenarios and yields a formal specification of the system in form of a high-level Petri net. Use cases and scenarios are acquired in form of diagrams as defined by the Unified Modeling Language (UML). These diagrams are composed and transformed into Petri net specifications and merged to obtain a global Petri net specification capturing the behavior of the entire system. From the global specification, a system prototype can be generated and embedded in a user interface builder environment for further refinement. Based on end user feedback, the use cases and the input scenarios may be iteratively refined. The result of the overall process is a specification consisting of a global Petri net, together with the generated and refined prototype. This paper discusses some activities of this process.
AB - In this paper, we suggest a requirement engineering process that composes (merge) use cases/scenarios and yields a formal specification of the system in form of a high-level Petri net. Use cases and scenarios are acquired in form of diagrams as defined by the Unified Modeling Language (UML). These diagrams are composed and transformed into Petri net specifications and merged to obtain a global Petri net specification capturing the behavior of the entire system. From the global specification, a system prototype can be generated and embedded in a user interface builder environment for further refinement. Based on end user feedback, the use cases and the input scenarios may be iteratively refined. The result of the overall process is a specification consisting of a global Petri net, together with the generated and refined prototype. This paper discusses some activities of this process.
KW - Model transformation
KW - UML
KW - Unified Model of Interaction (UMI)
KW - Use case/scenario composition
KW - Use case/scenario engineering
UR - http://www.scopus.com/inward/record.url?scp=50249112803&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=50249112803&partnerID=8YFLogxK
U2 - 10.1109/IIT.2007.4430418
DO - 10.1109/IIT.2007.4430418
M3 - Conference contribution
AN - SCOPUS:50249112803
SN - 9781424418411
T3 - Innovations'07: 4th International Conference on Innovations in Information Technology, IIT
SP - 521
EP - 525
BT - Innovations'07
PB - IEEE Computer Society
T2 - Innovations'07: 4th International Conference on Innovations in Information Technology, IIT
Y2 - 18 November 2007 through 20 November 2007
ER -