As a programming technique, we formulate a calculus of illustrating event formation which is effectively performed. An event
is visualized as a sequence of abstract charts denoting processes. The calculus contains a set of charts related to basic
processes, a set of situations, a semantic function assigning a situation transition to each chart, a logic program with negation-as-failure,
and the
... [Show full abstract] integrity constraint on the set of situations.