Ontology-Based Semantic Verification for UML Behavioral Models.
Hongyue HeZhixue WangQingchao DongWeizhong ZhangWeixing ZhuPublished in: Int. J. Softw. Eng. Knowl. Eng. (2013)
Keyphrases
- ontology based semantic
- behavioral models
- formal methods
- hierarchical structures
- model checking
- information retrieval systems
- dynamically created
- software systems
- modeling language
- object oriented
- dynamic behaviors
- conceptual model
- software development
- software engineering
- artificial intelligence
- metamodel
- databases
- programming language