From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.

Ahlem Ben Younes Leila Jemni Ben Ayed

Published in: COMPSAC (2008)

Keyphrases

uml activity diagrams
formal verification
business process models
control flow
formal methods
business process
model checking
business processes
formal specification
process model
high level
workflow management systems
data flow
graphical representation
model checker
business rules