Objectives and topics

In recent years, MDA and associated MDE methodologies, approaches and languages emphasized the role that OCL has to play in MDE development. Beyond using OCL in specifying assertions and operations, new approaches and visions reveal beneficial usage of OCL to specify model behavior, compilation and evaluation of models, model transformation, and code generation. All these usages concern modeling languages in general, and UML in particular, as a modeling language.

This workshop solicits research contributions and experience reports related to the adequacy of OCL specifications to the mentioned usages, OCL refactoring and extensions in order to support new usages of OCL specifications and new applications domain.

Topics of interest include, but are not limited to:

OCL as a textual formalism for specifying (meta-)models, irrespective of the abstraction level.
Use of OCL in Domain Specific Languages (DSLs).
Use of OCL in specifying model behavior. Extensions required for this usage. Examples of applications.
Using OCL expressions in specifying aspects.
OCL usage for navigating and querying models and databases.
OCL as a neutral standard for specifying multi-tier applications.
Tools supporting model compilation and execution.
OCL and Model Transformations. Needed extensions. Experience reports.
Using OCL specifications in metamodeling. Completeness and correctness of well-formedness rules.
OCL and business process modeling
OCL and ontology modeling. Experience reports on OCL usage in the Semantic Web application domain.
Experience reports on OCL usage in profile specification and profile usage in application domains. OCL for the implementation of domain specification languages.
Aspects needing to be clarified in OCL specifications, for example the semantics of undefined values and the evaluation of expressions containing undefined values, or overriding OCL expressions.