ECA rule modeling language based on UML

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.