Login / Signup
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications.
Ahlem Ben Younes
Leila Jemni Ben Ayed
Published in:
MSVVEIS (2009)
Keyphrases
</>
uml activity diagrams
formal verification
business process models
control flow
formal methods
business process
model checking
business processes
model checker
high level
workflow management systems
graphical representation
formal specification
artificial intelligence
process model
conceptual model