Use cases and scenarios engineering

TitreUse cases and scenarios engineering
Publication TypeConference Paper
Year of Publication2007
AuthorsJakimi, A, Sabraoui, A, Badidi, E, Idri, A, M. Koutbi, E
Conference Name2007 INNOVATIONS IN INFORMATION TECHNOLOGIES, VOLS 1 AND 2
PublisherIEEE
ISBN Number978-1-4244-1840-4
Abstract

\textbackslash{} 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.

Revues: 

Partenaires

Localisation


Location map

Suivez-nous sur

  

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

Résultat de recherche d'images pour "icone fax" Télécopie : (+212) 5 37 77 72 30

    Compteur de visiteurs:283,070
    Education - This is a contributing Drupal Theme
    Design by WeebPal.