Abstract
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined in its conceptual schema. In this paper we propose a method to automatically determine the operations that may potentially violate an OCL integrity constraint in conceptual schemas defined in the UML. This is done by determining the structural events that may violate the constraint and checking whether those events appear in the operation specification. In this way, our method helps to improve efficiency of integrity checking since its results can be used to discard many irrelevant tests.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cabot, J., Teniente, E.: Determining the structural events that may violate an integrity constraint. LSI Research Report, LSI-04-41-R (2004)
Ceri, S., Widom, J.: Deriving Production Rules for Constraint Maintenance. In: Proc. of the 16th VLDB Conference (VLDB 1990), pp. 566–577. Morgan Kauffman, San Francisco (1990)
Demuth, B., Hussmann, H., Loecher, S.: OCL as a Specification Language for Business Rules in Database Applications. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 104–117. Springer, Heidelberg (2001)
Embley, D.W., Kurtz, B.D., Woodfield, S.N.: Object-Oriented Systems Analysis. A Model-Driven Approach, p. 302. Yourdon Press, New York
Gupta, A., Mumick, I.S.: Maintenance of Materialized Views: Problems, Techniques and Applications. IEEE Data Engineering Bulletin 18(2), 3–18 (1995)
ISO/TC97/SC5/WG3, Concepts and Terminology for the Conceptual Schema and Information Base, van Griethuysen, J.J.: (ed.), March
Mellor, S.J.: Executable UML: A Foundation for Model Driven Architecture. Addison-Wesley, Reading (2002)
Olivé, A.: Time and Change in Conceptual Modeling of Information Systems. In: Brinkkemper, S., Lindencrona, E., Solvberg, A. (eds.) Information Systems Engineering. State of the Art and Research Themes, pp. 289–304. Springer, Heidelberg (2000)
OMG, “UML 2.0 Superstructure Specification”, OMG Adopted Specification
OMG. MDA Guide Versión 1.0.1, http://www.omg.org/docs/omg/03-06-01.pdf
OMG, UML 2.0 OCL, http://www.omg.org/docs/ptc/03-10-14.pdf , OMG Adopted Specification
Project Technology, Object Action Language Manual, http://www.projtech.com/pdfs/bp/oal.pdf (visited March 2004)
Thalheim, B.: Entity-Relationship Modeling. Foundations of Database Technology, 627, Springer
Wieringa, R.: A survey of structured and object-oriented software specification methods and techniques. ACM Computing Surveys 30(4), 459–527 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cabot, J., Teniente, E. (2004). Determining the Structural Events That May Violate an Integrity Constraint. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds) «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications. UML 2004. Lecture Notes in Computer Science, vol 3273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30187-5_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-30187-5_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23307-7
Online ISBN: 978-3-540-30187-5
eBook Packages: Springer Book Archive