Rule-enhanced Business Process Modeling Language for Service Choreographies Milan Milanović 1 , Dragan Gašević 2 , Gerd Wagner 3 , and Marek Hatala 4 1 University of Belgrade, Serbia 2 Athabasca University, Canada 3 Brandenburg University of Technology, Germany 4 Simon Fraser University, Canada

Problem Domain Process modeling and service composition Orchestrations – CASCON 2009 Business processes from one participant’s side Choreographies Business processes from a global perspective

Process modeling and service composition

Orchestrations – CASCON 2009

Business processes from one participant’s side

Choreographies

Business processes from a global perspective

Available languages (e.g., BPMN) Challenges How to manage redundant elements? How to support business vocabularies rules? Choreography Modeling MODELS 2009

Available languages (e.g., BPMN)

Challenges

How to manage redundant elements?

How to support business vocabularies rules?

Extension of BPMN building on the previous related work iBPMN [Decker & Puhlmann, 2007] adding support for vocabularies and rules Approach MODELS 2009

Extension of BPMN

building on the previous related work

iBPMN [Decker & Puhlmann, 2007]

adding support for vocabularies and rules

Rule-enhanced BPMN - rBPMN Interconnection and interaction models Evaluation mechanism – expressiveness Service Interaction Patterns Result MODELS 2009

Rule-enhanced BPMN - rBPMN

Interconnection and interaction models

Evaluation mechanism – expressiveness

Service Interaction Patterns

BPMN Language MODELS 2009

REWERSE I1 Rule Markup Language Extension for Rule Models MODELS 2009

REWERSE I1 Rule Markup Language

REWERSE I1 Rule Markup Language Extension for Rule Models MODELS 2009

REWERSE I1 Rule Markup Language

Multiplicity of participants - ||| References – to distinguish participants Correlation information – who sent a message Interaction Models MODELS 2009

Multiplicity of participants - |||

References – to distinguish participants

Correlation information – who sent a message

Service Interaction Patterns Contingent requests pattern MODELS 2009

Contingent requests pattern

EDOC 2009 On a patient information request, if the user is registered and provided valid credentials, retrieve the requested information and notify the user. Otherwise, send a fault message.

Service Interaction Patterns Contingent requests pattern MODELS 2009

Contingent requests pattern

Expressiveness comparison Service Interaction Patterns

Service Interaction Patterns

Integration of rules and processes - rBPMN Externalizing business logic in rules run-time changes Interaction and interconnection models Service interaction patterns Future work additional scenarios for other types of rules rBPMN model checking (e.g., mCRL2/mCRL) transformations of rBPMN models into BPEL4Chor Conclusion MODELS 2009

Integration of rules and processes - rBPMN

Externalizing business logic in rules

run-time changes

Interaction and interconnection models

Service interaction patterns

Future work

additional scenarios for other types of rules

rBPMN model checking (e.g., mCRL2/mCRL)

transformations of rBPMN models into BPEL4Chor

Thank you! Questions?