Design Support for Initiatives and Policies in Conceptual Models of Information Systems - A Statechart Approach
Thomas A. Mück · 1994
The advent of event trigger execution functionality in DBMS allows the realization of so called active databases, which am able to detect the occurence of user-demd situatiom and to initiate appropriate actions (e.g., calk to stored procedures) upon detection. This kind of situation monitoring represents an important technical prerequisite with respect to a large number of dynamic aspects of information system like defiition and enforcement of transition comtraints or wor@ow modelling. ERSC monitors are proposed as a formal design language aiming at several design issues related to dynamic aspects of information systems. They include extended ER diagrams for static design issues and modified Statechartsfor dynamic design aspects. A graphical representation of ERSC monitors is used to support man-machine interaction whereas an equivalent algebraic representation serves for analytical purposes and final compilation to ECA rules.