Abstract
Properties in UML models are frequently formulated as OCL invariants or OCL pre- and postconditions. The UML-based Specification Environment (USE) supports validation and to a certain degree verification of such properties. USE allows the developer to prove the consistency and independence of invariants by building automatically generated test cases. USE also assists the developer in checking consequences and making deductions from invariants by automatically constructing a set of test cases in form of model scenarios. Suspected deductions are either falsified by a counter test case or are shown to be valid in a fixed finite search space.
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
Avila, C., Flores, G., Cheon, Y.: A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. In: Arabnia, H.R., Reza, H. (eds.) Software Engineering Research and Practice, pp. 403–408. CSREA Press (2008)
Aichernig, B.K., Salas, P.A.: Test Case Generation by OCL Mutation and Constraint Solving. In: QSIC, pp. 64–71. IEEE Computer Society, Los Alamitos (2005)
Bohling, J.: Snapshot Generation for Validating UML Class Diagrams. Diploma Thesis, University of Bremen, Computer Science Department (2001) (in German)
Baruzzo, A., Comini, M.: Static Verification of UML Model Consistency. In: Hearnden, D., Süß, J.G., Baudry, B., Rapin, N. (eds.) Proc. 3rd Workshop Model Design and Validation, October 2006, pp. 111–126. University of Queensland (2006)
Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: A Subset of Precise UML for Model-Based Testing. In: A-MOST, pp. 95–104. ACM, New York (2007)
Beckert, B., Hähnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software. LNCS, vol. 4334. Springer, Heidelberg (2007)
Cabot, J., Clarisó, R.: UML/OCL Verification in Practice. In: Van Baelen, S., Van Der Straeten, R., Mens, T. (eds.) ChaMDE 2008, 1st Int. Workshop Challenges in Model Driven Software Engineering, pp. 31–35 (2008), http://ssel.vub.ac.be/ChaMDE08/
Gaudel, M.-C.: Testing can be Formal, Too. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol. 915, pp. 82–96. Springer, Heidelberg (1995)
Gogolla, M., Richters, M., Bohling, J.: Tool Support for Validating UML and OCL Models through Automatic Snapshot Generation. In: Eloff, J., Engelbrecht, A., Kotze, P., Eloff, M. (eds.) Proc. Annual Research Conf. South African Institute of Computer Scientists and Information Technologists, pp. 248–257. ACM, New York (2003)
Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Journal on Software and System Modeling 4(4), 386–398 (2005)
Gogolla, M., Büttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming 69, 27–34 (2007)
Hughes, J.: QuickCheck Testing for Fun and Profit. In: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, pp. 1–32. Springer, Heidelberg (2006)
Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
Marcano-Kamenoff, R., Lévy, N.: Transformation Rules of OCL Constraints into B Formal Expressions. In: CSDUML 2002, Workshop Critical Systems Development with UML. 5th Int. Conf. Unified Modeling Language, Dresden, Germany (September 2002)
OMG (ed.): OMG Unified Modeling Language Specification, Version 2.0. OMG (2004)
OMG (ed.): OMG Query, View and Transformation Specification (QVT). OMG (2005)
Shen, W., Compton, K., Huggins, J.: A Toolset for Supporting UML Static and Dynamic Model Checking. In: Proc. 16th IEEE Int. Conf. Automated Software Engineering (ASE), pp. 147–152. IEEE Computer Society, Los Alamitos (2001)
Trong, T.D., Ghosh, S., France, R.B., Hamilton, M., Wilkins, B.: UMLAnT: An Eclipse Plugin for Animating and Testing UML Designs. In: Eclipse 2005, Proc. 2005 OOPSLA Workshop Eclipse Technology eXchange, pp. 120–124. ACM Press, New York (2005)
Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley, Reading (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gogolla, M., Kuhlmann, M., Hamann, L. (2009). Consistency, Independence and Consequences in UML and OCL Models. In: Dubois, C. (eds) Tests and Proofs. TAP 2009. Lecture Notes in Computer Science, vol 5668. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02949-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-02949-3_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02948-6
Online ISBN: 978-3-642-02949-3
eBook Packages: Computer ScienceComputer Science (R0)