On the Formal Semantics of Change Patterns in Process-Aware Information Systems · Study