Abstract
With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transformations. They might be the result of instantiating templates, of combining prefabricated parts, or of more general computation. Such generated specifications will often contain redundancies that reduce their readability. In this paper, we explore the possibilities of transforming OCL formulae to a simpler form through the repeated application of simple rules. We discuss the different kinds of rules that are needed, and we describe a prototypical implementation of the approach.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and Systems Modeling 4(1) (2005)
Baar, T., Hähnle, R., Sattler, T., Schmitt, P.H.: Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. In: Mehlhorn, K., Snelting, G. (eds.) Informatik 2000, 30. Jahrestagung der Gesellschaft für Infomatik, September 2000, pp. 389–404. Springer, Heidelberg (2000)
Beckert, B., Giese, M., Habermalz, E., Hähnle, R., Roth, A., Rümmer, P., Schlager, S.: Taclets: A new paradigm for constructing interactive theorem provers. Revista de la Real Academia de Ciencias Exactas, FÃsicas y Naturales, Serie A: Matemáticas (RACSAM) 98(1), 17–53 (2004), Special Issue on Symbolic Computation in Logic and Artificial Intelligence
Dershowitz, N., Plaisted, D.A.: Rewriting. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning. ch. 9, vol. I, pp. 535–610. Elsevier Science, Amsterdam (2001)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
Giese, M., Hähnle, R., Larsson, D.: Rule-based simplification of OCL constraints. In: Patrascoiu, O., et al. (eds.) Workshop on OCL and Model Driven Engineering at UML 2004, Lisbon, pp. 84–98 (2004)
Giese, M., Heldal, R.: From informal to formal specifications in UML. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 197–211. Springer, Heidelberg (2004)
Hähnle, R., Johannisson, K., Ranta, A.: An authoring tool for informal and formal requirements specifications. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 233–248. Springer, Heidelberg (2002)
Johannisson, K.: Disambiguating implicit constructions in OCL. In: Workshop on OCL and Model Driven Engineering at UML 2004, Lisbon (2004)
Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs (1993)
Nipkow, T., Prehofer, C.: Higher-order rewriting and equational reasoning. In: Bibel, W., Schmitt, P. (eds.) Automated Deduction — A Basis for Applications. Foundations, Applied Logic Series, vol. I(8), pp. 399–430. Kluwer, Dordrecht (1998)
Warmer, J., Kleppe, A.: The Object Constraint Language. In: Object Technology, 2nd edn., Addison-Wesley, Reading (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giese, M., Larsson, D. (2005). Simplifying Transformations of OCL Constraints. In: Briand, L., Williams, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2005. Lecture Notes in Computer Science, vol 3713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11557432_23
Download citation
DOI: https://doi.org/10.1007/11557432_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29010-0
Online ISBN: 978-3-540-32057-9
eBook Packages: Computer ScienceComputer Science (R0)