Visual event capturing

The embed frame is free to use for private persons, universities and schools. It is not allowed to be used in any way by businesses and cooperations, except media companies. You may not modify, build upon, or block any portion or functionality of the embed frame, including but not limited to links back to the bookboon.com website.
The Embed frame may not be used as part of a commercial business offering. The embed frame is intended for private people who want to share a ebooks on their website or blog, professors or teaching professionals who want to make an ebook available...

Assumptions. We assume that the logs faithfully capture
events and their causality in the system’s execution. For
instance, if the log declares that event X happened before
event Y, we assume that is indeed the case, as the system
executes. We assume that the logs record each event’s
timestamp with integrity, and as close in time (as possi-
ble) to when the event actually occurred in the sequence
of the system’s execution.

Statecharts is a specification language which is derived from finite– state machines and it is a powerful visual formalism for specifying discrete event systems. Statechart diagrams capture the behaviour of entities by specifying the responses to possible event instances. Statecharts language has also a lot of features for diagram structure. Until now, some tools and software are developed to construct Statechart diagrams, however, they are neither complicated nor difficult.