The Only Solution
Efforts are being made to enable business process monitoring and analysis through processing continuously generated events. Several ontologies and tools have been defined and implemented to allow applying general-purpose business process analysis techniques to specific domains. On this basis, a Semantic Enabled Monitoring Event Language (SEMEL) is proposed to facilitate defining complex queries over monitoring data so as to interleave temporal and ontological reasoning. In this paper, the formal semantics of SEMEL is discussed, and the implementation approach of SEMEL interpreter is also briefly described, which encompasses translation into an operational language.