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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Ribeiro, Óscar R. (author)
Outros Autores: Fernandes, João M. (author)
Formato: conferencePaper
Idioma:eng
Publicado em: 2009
Assuntos:
Texto completo:http://hdl.handle.net/1822/11091
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/11091