CfPBoK
by
Vadim Zaytsev
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.