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

Matthias Kowal Ina Schaefer

Published in: FMSPLE (2016)

Keyphrases

consistency checking
uml models
object oriented
query answering
temporal reasoning
test cases
temporal constraints
sequence diagrams
contextual information
petri net
constraint satisfaction