Abstract
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the development activities is shifted from implementation code to more abstract models then software developers need a formalism to provide a complete, unambiguous and consistent model at a very detailed level. OCL is currently the only language that can bring this level of detail to UML models. The purpose of the workshop was to identify future challenges for OCL and to discuss how OCL and its current tool support can be improved to meet these challenges. The workshop gathered numerous experts from academia and industry to report on success stories, to formulate wishes to the next generation of OCL tools, and to identify weaknesses in the language, which make OCL sometimes cumbersome to use. The workshop could also attract numerous people whose aim was to get an overview on the state of the art of OCL tool support and on how OCL can efficiently be applied in practice.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baar, T.: 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); Technical Report LGL-REPORT-2005-001. EPFL (2005)
Homepage of OCL Workshop (2005), http://lgl.epfl.ch/members/baar/oclws05
Gogolla, M., Favre, J.-M., Büttner, F.: On squeezing M0, M1, M2, and M3 into a single object diagram
Akehurst, D.H., Howells, G., McDonald-Maier, K.D.: Supporting OCL as part of a family of languages
Ackermann, J.: Formal description of OCL specification patterns for behavioral specification of software components
Demuth, B., Hussmann, H., Konermann, A.: Generation of an OCL 2.0 parser
Dzidek, W.J., Briand, L.C., Labiche, Y.: Lessons learned from developing a dynamic OCL constraint enforcement tool for Java
Chiorean, D., Bortes, M., Corutiu, D.: Proposals for a widespread use of OCL
Baar, T.: OCL and graph transformations – a symbiotic alliance to alleviate the frame problem
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baar, T. et al. (2006). Tool Support for OCL and Related Formalisms – Needs and Trends. In: Bruel, JM. (eds) Satellite Events at the MoDELS 2005 Conference. MODELS 2005. Lecture Notes in Computer Science, vol 3844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11663430_1
Download citation
DOI: https://doi.org/10.1007/11663430_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31780-7
Online ISBN: 978-3-540-31781-4
eBook Packages: Computer ScienceComputer Science (R0)