An extensible formal semantics for UML activity diagrams.
Zamira DawRance CleavelandPublished in: CoRR (2016)
Keyphrases
- formal semantics
- uml activity diagrams
- business process models
- logical language
- first order logic
- formal language
- graphical representation
- modelling language
- object oriented
- modeling language
- control flow
- theorem prover
- data model
- operational semantics
- design rationale
- speech acts
- database
- process model
- owl dl ontology