Principles for System Prototype and Verification Using Metamodel Based Transformations.
Luis PedroLevi LucioDidier BuchsPublished in: IEEE International Workshop on Rapid System Prototyping (2006)
Keyphrases
- metamodel
- transformation rules
- model driven architecture
- development process
- modeling language
- life cycle
- uml profile
- reference model
- data model
- model driven
- black box
- software systems
- database
- design patterns
- model checking
- semantic web rule language
- software development
- reinforcement learning
- platform independent
- design rationale
- constraint language
- case study
- information systems
- artificial intelligence