Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems

Matthias Kowal, Ina Schaefer

Automation systems exist in many variants and may evolve over time in order to deal with different environment contexts or to fulfill changing customer requirements. This induces a…