Title :
Conceptual transaction modeling
Author_Institution :
Dept. of Comput. Sci., Univ. of Western Australia, Perth, WA, Australia
fDate :
12/1/1989 12:00:00 AM
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
Keywords :
formal specification; specification languages; transaction processing; ACM/PCM; data modeling; intended transactions; specification language; static schema; transaction schema; Computer science; Data models; Handicapped aids; Knowledge representation; Logic programming; Marine vehicles; Phase change materials; Software tools; Specification languages; Transaction databases;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
