Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/11091

TitleValidation of scenario-based business requirements with Coloured Petri Nets
Author(s)Ribeiro, Óscar R.
Fernandes, João M.
KeywordsBusiness requirements
Scenarios
Validation
Coloured Petri Nets
Issue dateSep-2009
PublisherIEEE
CitationBONESS, Kenneth [et. al.], eds. – “Proceedings of the Fourth International Conference on Software Engineering Advances (ICSEA 2009), Porto, Portugal, 2009.” Los Alamitos : IEEE Society Press, 2009. ISBN 978-1-4244-4779-4. p. 250-255.
Abstract(s)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 two-level 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.
TypeConference paper
URIhttp://hdl.handle.net/1822/11091
ISBN978-1-4244-4779-4
DOI10.1109/ICSEA.2009.45
Peer-Reviewedyes
AccessOpen access
Appears in Collections:CAlg - Artigos em livros de atas/Papers in proceedings
DI/CCTC - Artigos (papers)

Files in This Item:
File Description SizeFormat 
2009-ICSEA-IEEE.pdf157,65 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