Please use this identifier to cite or link to this item:

TitleValidation of reactive software from scenario-based models
Author(s)Ribeiro, Óscar R.
Fernandes, João M.
Issue dateSep-2007
Abstract(s)This thesis proposal suggests a model-based approach to obtain, from a set of behavioural scenarios of a given reactive software system, a graphical animation for reproducing that set of scenarios for validation purposes. The approach assumes that the requirements of the system are described by a use case diagram, being the behaviour of each use case detailed by a collection of scenario descriptions. These use cases and scenarios are transformed into a Coloured Petri Net (CPN) model, which is next complemented with animation-specific elements. By executing the CPN model, it is possible to animate the scenarios in a user-friendly way and thus ensuring an effective involvement of the users in the system’s validation. The CPN model is enforced to be (1) parametric, allowing an easy modification of the initial conditions of the scenarios, (2) environment-descriptive, meaning that it includes the state of the relevant elements of the environment, and (3) animation-separated, implying that the elements related to animation are clearly separated from the other ones. We validate our approach based on its application to two examples of reactive systems.
TypeConference paper
AccessOpen access
Appears in Collections:CAlg - Artigos em revistas internacionais/Papers in international journals
DI/CCTC - Livros e Capítulos de livros

Files in This Item:
File Description SizeFormat 
2007-QUATIC-IEEE-Ribeiro.pdfArtigo150,23 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID