Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models.
Zhou ZhouLinzhang WangZhanqi CuiXin ChenJianhua ZhaoPublished in: HASE (2008)
Keyphrases
- model driven
- metamodel
- behavioral models
- model driven engineering
- data driven
- model driven development
- service oriented
- data integration
- model driven architecture
- modeling language
- model checking
- software engineering
- conceptual model
- development process
- database
- platform independent
- software systems
- black box
- computational intelligence
- dynamic behaviors
- object oriented
- relational databases