An Executable UML with OCL-based Action Semantics Language.
Ke JiangLei ZhangShigeru MiyakePublished in: APSEC (2007)
Keyphrases
- uml class diagrams
- class diagrams
- constraint language
- modeling language
- uml diagrams
- class diagram
- specification language
- action language
- formal semantics
- formal specification
- software design
- description logics
- unified modeling language
- object oriented
- formal language
- logical language
- uml activity diagrams
- model theoretic
- control flow
- integrity constraints
- reasoning about actions
- software development
- intended meaning
- conditional logic
- operational semantics
- speech acts
- metamodel
- highly expressive
- design patterns
- database design
- action descriptions
- knowledge representation