sle2013/poster2

SLE 2013 poster:
Towards Controlling Refinements of Statecharts

Conner Hansen, Eugene Syriani, Levi Lúcio

• DOI: 10.48550/arXiv.1503.07266
• T2B: Evolution
  • The paper’s core problem is controlling incremental refinement across versions of a Statecharts model to support predictable evolution and maintenance.
• T5D: Formal Methods
  • It defines a formal refinement relation and constraints (e.g., inclusion conditions over events/guards/structure) to guarantee behaviour preservation.
• T4C: Vertical Transformation
  • “Refinement” is treated as a disciplined stepwise development relation (additive, structure-preserving), i.e., a vertical refinement discipline over models.
• T3C: DSLs
  • Statecharts are treated as a domain-specific modeling language whose refinement rules constrain how models can be extended.

---

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