Process Restructuring in the Presence of Message-Dependent Variables
When services interact, issues can be caused by service implementations being stateful because a stateful implementation requires a certain message exchange protocol to be followed. At present, a model of such a message exchange protocol is seldom complete and precise, mainly because the available analysis techniques for its derivation suffer from drawbacks: most prominently the neglect of data. Process restructuring allows for the increase of precision of such a data-unaware analysis by resolving conditional into unconditional control flow in service implementations and hence eliminating the need to consider data. But the restructuring approach so far has been restricted to cases where conditions of data-based choices have been defined over quasi-constant variables only. In this paper we introduce a restructuring technique that also allows us to resolve data-based choices with conditions over variables whose value is determined by the contents of incoming messages.
KeywordsBusiness Process Incoming Message Conditional Control Loop Condition Service Implementation
- 2.Business Process Model and Notation (BPMN) Version 2.0. OMG Standard, Object Management Group/Business Process Management Initiative (2009)Google Scholar
- 11.Web Services Business Process Execution Language Version 2.0. OASIS Standard, Organization for the Advancement of Structured Information Standards (2007)Google Scholar