Book
Open access
Oct 2026
Repairing Conformance Violations with a Reference Model in the Context of Automata Decomposition
Existing conformance-checking approaches typically compare a reference model with a monolithic concrete model and therefore do not support decompositions into interacting subcomponents. We present a conformance-checking and repair approach for time-synchronous component-and-connector subarchitectures with statechart-ba...
Bahareh Taghavi, M. Stachon, Adrian Marin et al.
· Proceedings of the ACM/IEEE... · 0 citations