A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Validation of Reactive Software from Scenario-Based Models
2007
6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)
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
doi:10.1109/quatic.2007.27
dblp:conf/quatic/RibeiroF07
fatcat:uwoommctzfep7gzzzykfusbe5q