Behavioral Constraints for Services

Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered correctness criterion is deadlock freedom of the composition of both services. In practice, 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. Key words: Business process modeling and analysis, Formal models in business process management, Process verification and validation, Petri nets, Operating guidelines, Constraints

• Type: Conference
• Year: 2007
• Where: BPM
• Authors: Niels Lohmann, Peter Massuthe, Karsten Wolf
• Keywords: BPM 2007, Business, Customized Operating Guidelines, Operating Guidelines, Unintended