Abstract
Transaction modeling, which involves capturing the dynamic properties of an organization, is seen as a necessary component in data modeling. A specification language-transaction schema based on the ACM/PCM specification language-is implemented as the transaction modeling tool. The benefit of such a modeling tool is discussed and, in particular, illustrated by its capability to extend the static schema automatically in order to support the intended transactions.

This publication has 4 references indexed in Scilit: