Toward a Formalization of UML2.0 Metamodel using Z Specifications.
Ahmed M. MostafaManal Ahmed IsmailHatem El-BolokE. M. SaadPublished in: SNPD (1) (2007)
Keyphrases
- metamodel
- operational semantics
- modeling language
- uml profile
- development process
- data model
- life cycle
- black box
- software systems
- reference model
- model driven
- formal semantics
- design patterns
- knowledge representation
- transformation rules
- high level
- software engineering
- formal specification
- platform independent
- design rationale
- development processes
- model driven architecture
- object oriented
- autonomous agents
- specification language
- software requirements