Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking.

Faiz Ul Muram Huy Tran Uwe Zdun

Published in: FESCA (2014)

Keyphrases

formal specification
uml activity diagrams
model checking
object oriented design
reverse engineering
specification language
formal methods
software components
software testing
business process models
formal specification language
case study
data driven
temporal logic
graphical representation
code generation