sle2017/paper18

SLE 2017 paper:
Structural Model Subtyping with OCL Constraints

Artur Boronat

• DOI: 10.1145/3136014.3136026
• T1B: Static Semantics
  • The main contribution is a static semantics notion of structural model subtyping constrained by OCL.
• T5D: Formal Methods
  • It develops formal conditions/definitions for subtyping and constraint satisfaction.
• T1E: Reuse
  • Subtyping is motivated by enabling flexible reuse of models and transformations across related model types.
• T3C: DSLs
  • The setting is model-driven engineering where models and constraints form a domain-specific modeling language.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.