Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets.
Lígia Maria Soares PassosTarcísio Abadio de Magalhães JúniorMarcelo de Almeida MaiaStéphane JuliaPublished in: SBSI (2013)
Keyphrases
- petri net
- concurrent systems
- formal methods
- petri net model
- specification language
- control flow
- model checker
- automated verification
- model checking
- sequence diagrams
- formal verification
- class diagram
- bounded model checking
- formal specification
- semi automated
- conceptual models
- asynchronous circuits
- object oriented
- high level
- modeling language
- web services
- relational databases
- software systems
- workflow management systems
- state machine
- delay insensitive
- finite state machines
- unified modeling language
- model driven engineering
- object oriented modeling
- business process