CfPBoK
by
Vadim Zaytsev
sle2014s/paper04
SLE 2014 SI
paper:
Intra- and interdiagram consistency checking of behavioral multiview models
Petra Kaufmann
,
Martin Kronegger
,
Andreas Pfandler
,
Martina Seidl
,
Magdalena Widl
DOI:
10.1016/j.cl.2015.08.003
Extended version of
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams
(
SLE 2014
)
T5D: Formal Methods
The contribution is a formal consistency-checking method for behavioral models (with SAT solving as the underlying decision procedure).
T5B: Language Description Analysis
It analyses language artifacts (behavioral UML models/diagrams) to detect and explain inconsistencies across views.
T3C: DSLs
The work targets a domain/purpose-specific modeling setting (behavioral multiview models) rather than general-purpose programming.
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.