Object Constraint Language (OCL)
OCL is a textual constraint language originally associated with the Unified Modelling Language (UML) to allow the expression of constraints over UML models. It is now also being used to define well-formedness rules over metamodels for domain-specific or general-purpose modelling languages (such as the UML itself), to define model transformations, and for a range of other development and research activities, some far beyond what was originally envisioned to be its use.
I have co-authored the submission that was eventually turned into the current OCL 2.0 OMG standard.
Acceptance rate: 20%
[pdf (The original publication is available at www.springerlink.com.)] [http] [bibtex] Refereed Conference Paper, research areas: Model-Driven Development, Modularity, Object Constraint Language
Research contribution: Writing contribution: