Abstract
A method and a tool for supporting transaction design in conceptual modelling of information systems is presented. The method derives automatically a transaction specification that integrates in a uniform manner the updating of base and derived information and the checking and maintenance of integrity within an information base conceptual schema. Transaction specifications thus obtained achieve their intended purpose and guarantee that information base consistency will be preserved. When there are several possible solutions, the method derives all of them. The designer may then intervene in various ways in order to select the most appropriate ones. From this choice on, the transaction processing system and the end-user can also play a role in the final application of the transaction specification, for this one can be directly executable. Using a declarative, logic-based approach, the method is general, and can be adapted easily to most conceptual modelling methodologies.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Coleman,D.;Arnold,P.; Bodoff,S;Dollin,C;Gilchrist,H.;Hayes,F.;Jeremes,P. “Object-oriented Development. The Fusion Method”. Prentice Hall Intl., 1994.
Casanova,A.;Furtado,A.L.;Tucherman,L. “A Software Tool for Modular Database Design”. ACM TODS, Vol. 16, No. 2, June 1991, pp. 209–234.
Casanova,M.A.;Hemerly,A.S.;Furtado,A.L. “A Declarative Conceptual Modelling Language: Description and Example Application”. Proc. of the 4th Int. Conf. CAiSE'92, Manchester, 1992, pp. 589–611.
Ceri, S.; Widom,J. “Deriving Production Rules for Constraint Maintenance”. Proc. of 16th VLDB, Brisbane, Australia, 1990, pp. 566–577.
Pastor,J.A.; Olivé,A. “An Approach to the Synthesis of Update Transactions in Deductive Databases”, Proc. of the 5th. Int. Conference on Information Systems and Management of Data (CISMOD'94), Madras, India, 1994.
Pastor,J.A.; Olivé,A. “Supporting Transaction Design in Conceptual Modelling of Information Systems (Extended Version)”, Internal research report LSI-95-11-R, Dept. LSI, UPC, Barcelona, 1995.
Quian,X. “The Deductive Synthesis of Database Transactions”. ACM TODS, Vol. 18, No. 4, December 1993, pp. 626–677.
Sancho,M.R.; Olivé,A. “Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems”. Proc. of the 6th Int. Conf. CAiSE'94, Utrech, The Netherlands, 1994, pp. 311–324.
Sheard,T.;Stemple,D. “Automatic Verification of Database Transaction Safety”, ACM TODS, Vol. 14, No. 3, September 1989, pp. 322–368.
Wallace,M. “Compiling Integrity Checking into Update Procedures”, 12th Int. Conf. on Artificial Intelligence, Sydney, Australia, 1991, Vol. 2, pp. 24–30.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pastor-Collado, J.A., Olivé, A. (1995). Supporting transaction design in conceptual modelling of information systems. In: Iivari, J., Lyytinen, K., Rossi, M. (eds) Advanced Information Systems Engineering. CAiSE 1995. Lecture Notes in Computer Science, vol 932. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59498-1_236
Download citation
DOI: https://doi.org/10.1007/3-540-59498-1_236
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59498-7
Online ISBN: 978-3-540-49290-0
eBook Packages: Springer Book Archive