A UML Profile for Dynamic Execution Persistence with Monitoring Purposes

System monitoring is typically performed by means of log files storing the sequential trace of the system events. However, these files constitute a poor solution when improved auditing features are required. For this reason, we advocate defining specific persistence structures for registering a more complete system trace. In particular, when the system behaviour is specified by means of a UML statechart, we propose to automatically generate a stereotyped UML class diagram containing information for tracing the system behaviour without loosing the statechart dynamic semantics. To do this, we have formally defined a Statechart Execution Persistence (SEP) UML profile which (1) eases audit and process improvement, (2) ensures accuracy and consistency of data, and (3) guides during the automatic generation of the system's storage mechanisms, following a MDD approach.