Formalizing and validating behavioral models through the event calculus

摘要

Accurate gathering of requirements is a major concern during conceptual modelling. Such accurateness can only be achieved through major involvement of users, who should check whether the system's specification conforms with their expectations. This task can be facilitated both by intuitive conceptual constructs and by executable models that allow interaction with the user to explain the behavior of the system in accordance with its specification. This work proposes the notions of stimuli and business policies as intuitive behavioral constructs, and the use of the event calculus as an appropriate formalism for building executable specifications for behavioral models. The approach is borne out by an early implementation that allows the user to question why and how a given state is reached, where the answer is given in terms of the specifications, i.e. stimuli and policies, being applied. The utilization of use-cases as a first guideline for validating the model is also addressed.