Sciweavers

Share
ICSEA
2009
IEEE

Validation of Scenario-Based Business Requirements with Coloured Petri Nets

8 years 9 months ago
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an interaction diagram. This paper discusses how a collection of scenarios, all expressed as UML2 sequence diagrams, can be described for validation purposes by a single model, written in the Coloured Petri Nets (CPN) modelling language. Due to the support for parallelism given by the CPN language, the obtained CPN model can: (1) simultaneously execute several scenarios; and (2) elegantly represent the parallel activities inside a scenario. This twolevel parallelism is crucial during validation, since it allows one to detect problems that are only evident when several scenarios are in simultaneous execution and may affect each other. We exemplify our approach in a system that has a rich set of interactions with its users. Keywords
Óscar R. Ribeiro, João M. Fernandes
Added 19 Feb 2011
Updated 19 Feb 2011
Type Journal
Year 2009
Where ICSEA
Authors Óscar R. Ribeiro, João M. Fernandes
Comments (0)
books