Validation of Scenario-Based Business Requirements with Coloured Petri Nets.

Óscar R. Ribeiro João M. Fernandes

Published in: ICSEA (2009)

Keyphrases

business requirements
coloured petri nets
business processes
business process
business intelligence
web services
business rules
formal verification
service composition
data warehouse
databases
service oriented architecture
data analysis
decision support
quality of service