In service-oriented architectures (SOA), deadlock-free interaction of services is an important correctness criterion. To support
service discovery in an SOA, operating guidelines serve as a structure to characterize all deadlock-freely interacting partners of a services. In practice, however, there
are intended and unintended deadlock-freely interacting partners of a service. In this paper, we provide a formal approach to express intended and unintended
behavior as behavioral constraints. With such a constraint, unintended partners can be “filtered” yielding a customized operating guideline. Customized operating
guidelines can be applied to validate a service and for service discovery.
Keywords Business process modeling and analysis - Formal models in business process management - Process verification and validation - Petri nets - Operating guidelines - Constraints