Login / Signup
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification.
Ahlem Ben Younes
Leila Jemni Ben Ayed
Published in:
SERVICES I (2009)
Keyphrases
</>
uml activity diagrams
formal methods
specification language
formal verification
business process models
formal specification
uml diagrams
artificial intelligence
business process
model checking
model checker
software engineering
requirements specification