Analysis of Business Processes Specified in Z against an E−R Data Model

Abstract

A specification method for business processes is presented, in which not only the processes but also the database Integrity constraints are specified in Z based on the structure of an Entity-Relationship data model. The formality of Z facilitates strict reasoning about the correctness of the processes with respect to the database integrity constraints.