Event Engineering and Technologies
Event Engineering and Analysis Technologies (EEAT, formally REQMON) is software for specifying, instrumenting, and collecting data to enable goal-satisfaction and data-mining analysis for run-time requirements monitoring. Requirements monitoring is distinguished from other kinds of monitoring by its: (1) analysis of abstract, requirements-level properties, and (2) automation of runtime requirements evaluation, which interprets low-level software events as contributors to the eventual satisfaction or violation of requirements.
EEAT supports a specification language that is a variant of the OCL 2.0, which we call OCL TM -meaning OCL with Temporal Message logic. It is similar to other languages that support some form of predicate calculus and temporal logic over an object model (e.g., KAOS), and thus supports Goal Oriented Requirements Engineering (GORE). OCL TM also includes real-time operators.