Ontology-Based Semantic Verification for UML Behavioral Models

Hongyue He, Zhixue Wang, Qingchao Dong, Weizhong Zhang, Weixing Zhu. Ontology-Based Semantic Verification for UML Behavioral Models. International Journal of Software Engineering and Knowledge Engineering, 23(2):117-146, 2013. [doi]

Abstract

Abstract is missing.