Adrian Marin

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...