OCL 2009 Workshop Web Page - Welcome!

OCL 2009 Workshop - The Pragmatics of OCL and other textual specification languages

Part of the MoDELS'09 conference

In recent years, MDA and associated MDE methodologies, approaches and languages (like QVT) emphasized the role that OCL has to play in MDE development. Moreover, the modeling community is continuously pushing forward the OCL, far beyond its initial requirements as a precise modeling language complementing UML specifications. Now, OCL is used in quite different applications domains (e.g., domain-specific languages, web semantics) and for various purposes (e.g., model verification and validation, code generation, test-driven development, transformations).

This workshop will focus on the challenges of using OCL on these new domains and how the language needs to evolve to be successfully applied on them. In particular, we are interested in discussing

• alternative notations/representations for OCL that simplify its application,
• new textual/graphical languages that can complement/replace OCL,
• new ways of writing OCL expressions (e.g., patterns, templates and libraries),
• sharing OCL expressions and OCL know-how,
• new domain-dependent evaluation and optimization strategies,
• mappings from OCL to other languages and formalisms (Java, SQL, Alloy, Maude, constraint programming, ...)
• and, of course, the tools that will make all of this possible.

In addition, all other aspects that may facilitate a wider adoption and support of OCL or its usability are also welcome.