Abstract:Event processing is one of the cornerstone technologies in bridging physical world and cyber system together. Although event-based processing system has been widely used in various applications, however, consistency of event processing is still an open issue need further exploration. The inconsistency problem produces inaccurate detection result and corrupts the system correctness. In this paper, we propose a semantic approach for event modeling and detection model transformation with a semantic calculus system. Particularly, we first propose a complex event semantic model, OntoEvent, and define several key operators and properties to describe the logic, temporal and attribute relations in complex events. Second, we propose the concept of event constraint and elaborate the occurrence, temporal, and attribute functions to formalize the semantic implications in OntoEvent model. On that basis, we present the extraction rules and establish a calculus mechanism for constraints based on axioms. With these works, an automata-based detection model, named OntoCEP (Ontology-based Complex Event Detection), and a pipelined procedure for the assembly from constraints to OntoCEP model is proposed. The procedure is composed of several sequential phases and the consistency in each assembly phase is proved. Therefore, we establish a semantic-consistent mapping mechanism from event to detection model in the form of constraints. Experiments and evaluations prove that our approach ensure the consistency with event and detection models. Besides, our detection model consumes less computational resources and outperforms other selected benchmarked models in terms of computational efficiency and processing capability.

Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems

Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach.

Review of Resource Allocation Consistency Algorithms in Distributed System

Requirement Consistency and Integrity Verification Method based on Natural Language Processing

Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical Systems

Consistency Checks of E-CSPE Constraints

A Consistency Checking Approach for System Architecture

Efficiently Verifying Mutually Exclusive Inconsistency of Requirements for Embedded Systems

A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems

Analyzing Software Requirements for Cyber Physical Systems

Checking Component-Based Designs for Scenario-Based Specifications

Scenario-Based Consistency Verification of Component-Based Real-Time System Designs

On the consistency of event processing: A semantic approach.

Scenario-Based Behavioral Nonexistent Consistency Checking for Cyber-Physical Systems

Validation Test of Distributed Program Based on Event Sequencing Con Straints

Petri net based web service interactive behavior compatibility analysis

Detecting of Requirements Inconsistency: an Ontology-Based Approach

Formalizing Safety Requirements Using Controlling Automata

Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.

Consistency checking of concurrent models for scenario-based specifications

CORRECTNESS DESIGN AND ANALYSIS OF CONTROL FUNCTIONS IN SUBSTATION AUTOMATION