Title :
ECA rule modeling language based on UML
Author :
Zhi-xue, Wang ; Xin, Jiang ; Qing-chao, Dong ; Hong-yue, He ; Qing-long, Wang
Author_Institution :
Inst. of Command Autom., PLA Univ. of Sci. & Technol., Nanjing, China
Abstract :
The paper proposes an ECA rule modeling approach based on UML which allows the domain experts to model the supposed trigger events and pre-conditions related to domain specific activities in order to enrich domain knowledge. It discusses the structures of ECA rules and suggests an ECA rule metamodel (ERM) and a mapping from ERM to SWRL. The ECA rule modeling language is defined by creating a UML profile of ERM. The model verification for checking the requirement reasonablility is also addressed in the paper. A case study of C4ISR domain-specific model checking is provided to demonstrate the availability and applicability of the method.
Keywords :
Unified Modeling Language; program verification; semantic Web; C4ISR domain-specific model checking; ECA rule metamodel; ECA rule modeling language; ERM; SWRL; UML profile; domain knowledge; domain specific activity; model verification; trigger event; Adaptation models; Engines; OWL; Object oriented modeling; Ontologies; Unified modeling language; ECA rule; SWRL; UML profile; domain knowledge; rule modeling;
Conference_Titel :
Computer Science and Automation Engineering (CSAE), 2012 IEEE International Conference on
Conference_Location :
Zhangjiajie
Print_ISBN :
978-1-4673-0088-9
DOI :
10.1109/CSAE.2012.6272672
