Tool support for OCL and related formalisms – needs and trends

  • Authors:

  • Thomas Baar;Dan Chiorean;Alexandre Correa;Martin Gogolla;Heinrich Hußmann;Octavian Patrascoiu;Peter H. Schmitt;Jos Warmer

  • Affiliations:

  • École Polytechnique Fédérale de Lausanne (EPFL), Switzerland;“Babes-Bolyai” University of Cluj-Napoca, Romania;University of Rio de Janeiro, Brazil;University of Bremen, Germany;LMU Munich, Germany;University of Kent, United Kingdom;Universität Karlsruhe, Germany;Ordina, The Netherlands

  • Venue:
  • MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

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.