This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Conceptual Transaction Modeling
December 1989 (vol. 1 no. 4)
pp. 508-518

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.

[1] M. L. Brodie, "On the development of data models," inOn Conceptual Modeling, Perspectives from Artificial Intelligence, Databases, and Programming Languages. New York: Springer-Verlag, 1984, pp. 19-47.
[2] A. Albanoet al., Computer-Aided Database Design: The Dataid Approach. Amsterdam, The Netherlands: Elsevier, 1985.
[3] M. L. Brodie and D. Ridjanovic, "On the design and specification of database transactions," inOn Conceptual Modeling, Perspectives from Artificial Intelligence, Databases, and Programming Languages. New York: Springer-Verlag, 1984, pp. 277-306.
[4] A. H. H. Ngu, "Data modeling through quasi-natural language," inProc. 10th Australian Comput. Sci. Conf., Victoria, Australia, 1987, pp. 57-67.
[5] V. Antonellis and B. Zonta, "Modeling events in data base applications design," inProc. 7th Int. Conf. Databases, Carnas, France, 1981, pp. 23-31.
[6] R. King and D. Mcleod, "A unified model and methodology for conceptual database design," inOn Conceptual Modeling, Perspectives from Artificial Intelligence, Databases, and Programming Languages. New York: Springer-Verlag, 1984, pp. 313-327.
[7] B. Nixon, "Taxis '84 selected papers," Dep. Comput. Sci., Univ. Toronto, Toronto, Canada, Tech. Rep. CSRG-160, 1984.
[8] A. H. H. Ngu, "Specification and verification of temporal relationships in transaction modeling,"Inform. Syst., vol. 15, no. 1, 1989.
[9] C. M. R. Leung and G. M. Nijssen, "From a NIAM conceptual schema into the optimal SQL relational database schema,"Australian Comput. J., vol. 19, no. 3, pp. 69-75, 1987.
[10] B.J. Cox,Object-Oriented Programming: An Evolutionary Approach. Reading, MA: Addison Wesley, 1986.
[11] M. L. Brodie and E. Silva, "Active and passive component modeling: ACM/PCM,"Information Systems Design Methodologies: A Comparative Review. Amsterdam, The Netherlands: North-Holland, 1982, pp. 41-91.
[12] J. S. Aikins, "A representation scheme using both frames and rules," inRule-Based Expert System. Reading, MA: Addison-Wesley, 1984, pp. 424-440.
[13] A. H. H. Ngu, "Enforcement of consistency and completeness of static and dynamic modeling," Dep. Compht. Sci., Univ. Western Australia, Tech. Rep. 8111, 1989.
[14] C. Batini, "User oriented methodologies for database design," presented at the Int. Conf. Extending Database Technol., tutorial session, Venice, Italy, 1988.
[15] A. M. Tjoa and R. R. Wagner, "Comparison of dynamic aspects in semantic data modeling," inProc. Int. Conf. Appl. Inform., Acta Press, Zurich, 1985.

Index Terms:
data modeling; specification language; transaction schema; ACM/PCM; static schema; intended transactions; formal specification; specification languages; transaction processing
Citation:
A.H.H. Ngu, "Conceptual Transaction Modeling," IEEE Transactions on Knowledge and Data Engineering, vol. 1, no. 4, pp. 508-518, Dec. 1989, doi:10.1109/69.43425
Usage of this product signifies your acceptance of the Terms of Use.