System Prototype and Verification Using Metamodel-Based Transformations.
Luis PedroLevi LucioDidier BuchsPublished in: IEEE Distributed Syst. Online (2007)
Keyphrases
- metamodel
- transformation rules
- modeling language
- software systems
- life cycle
- development process
- uml profile
- model driven
- data model
- reference model
- black box
- design patterns
- platform independent
- model checking
- model driven architecture
- case study
- development processes
- databases
- semantic web rule language
- petri net
- data sources
- multi agent
- artificial intelligence