sle2013/paper16

SLE 2013 paper:
Partial Instances via Subclassing

Kacper Bąk, Zinovy Diskin, Michał Antkiewicz, Krzysztof Czarnecki, Andrzej Wąsowski

• DOI: 10.1007/978-3-319-02654-1_19
• T1A: Design
  • The main contribution is a language-design extension to object-oriented modeling instantiation, introducing partial/uncertain instances via subclassing.
• T5D: Formal Methods
  • It provides a formal account of partial instantiation (e.g., completions, open-world assumptions) to ensure the notion is well-defined.
• T3A: Meta-languages
  • The work operates at the metamodeling/meta-level of class-diagram instance semantics, i.e., reasoning about a modeling formalism itself.

---

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