Login / Signup
Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B.
Ahlem Ben Younes
Leila Jemni Ben Ayed
Published in:
ICSOFT (2) (2010)
Keyphrases
</>
data integration
uml activity diagrams
formal verification
business process models
model checking
control flow
formal methods
workflow management systems
relational databases
business processes
formal specification
specification language
database systems
business process
data flow