Dos sitios relacionados son de interés:
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.
Metamodel, que publicará los trabajos, y desarrolla actividades vinculadas a MDE, y MOdeling LAnguages, enfocado en MDE/MDA.