An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions.
Ileana OberPublished in: Abstract State Machines (2003)
Keyphrases
- metamodel
- transformation rules
- modeling language
- uml profile
- development process
- software systems
- model driven
- life cycle
- black box
- reference model
- constraint language
- data model
- design patterns
- formal semantics
- active shape model
- object oriented
- logic programming
- action language
- speech acts
- machine learning
- model driven architecture
- case study
- database
- databases
- software evolution
- situation calculus
- artificial intelligence
- cooperative