Integration and verification of semantic constraints in adaptive process management systems · Study