Abstract
The usage of the Unified Modeling Language in the industrial context becomes increasingly popular. There is an agreement in academia that the Object Constraint Language (OCL) is suitable for defining model constraints and queries. However, it has not yet been broadly adopted by practitioners because they find it difficult to define OCL expressions. Thus, simplification is desirable to increase the use of OCL in practice. We propose OCL libraries (OCLLib), which simplify the development of OCL expressions and enable a high reuse factor, are configurable, testable (OCLUnit) and documented (OCLDoc). In this paper we present the underlying concepts related to OCL library development we used in UML specific and domain specific projects conducted in academic and industrial contexts, respectively.
The research herein is partially conducted within the competence network Softnet Austria (www.soft-net.at) and funded by the Austrian Federal Ministry of Economics (bm:wa), the province of Styria, the Steirische Wirtschaftsfoerderungsgesellschaft mbH. (SFG), and the city of Vienna in terms of the center for innovation and technology (ZIT).
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
Chimiak-Opoka, J., Lenz, C.: Use of OCL in a model assessment framework: An experience report. Electronic Communications of the EASST 5 (2006)
Chimiak-Opoka, J., Felderer, M., Lenz, C., Lange, C.: Querying UML Models using OCL and Prolog: A Performance Study. In: Model Driven Engineering, Verification, and Validation, Lillehammer, Norway (April 2008); presented at MoDeVVa
Baar, T., et al.: Tool support for OCL and related formalisms - needs and trends. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 1–9. Springer, Heidelberg (2006)
Correa, A.L., et al.: An empirical study of the impact of ocl smells and refactorings on the understandability of ocl specifications. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 76–90. Springer, Heidelberg (2007)
Ackermann, J.: Fallstudie zur spezifikation von fachkomponenten. In: Turowski, K. (ed.) 2. Workshop Modellierung und Spezifikation von Fachkomponenten, Bamberg, Deutschland, pp. 1–66 (2001) (in German)
Glass, R.L.: Two mistakes and error-free software: A confession. IEEE Softw. 25(4), 96 (2008)
Beck, K.: Test Driven Development: By Example. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)
Hunt, A., Thomas, D.: The pragmatic programmer: from journeyman to master. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)
Genero, M., Piattini, M., Calero, C.: A survey of metrics for uml class diagrams. Journal of Object Technology 4(9), 59–92 (2005)
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
Chimiak-Opoka, J. (2009). OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language. In: Schürr, A., Selic, B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04425-0_53
Download citation
DOI: https://doi.org/10.1007/978-3-642-04425-0_53
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04424-3
Online ISBN: 978-3-642-04425-0
eBook Packages: Computer ScienceComputer Science (R0)