Modeling Service Orchestrations with a Rule-enhanced Business Process Language Milan Milanović 1 , Dragan Gašević 2 , Gerd Wagner 3 , and Vladan Deved žić 1 1 University of Belgrade, Serbia 2 Athabasca University, Canada 3 Brandenburg University of Technology, Germany

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

Process modeling and service composition

Orchestrations

Business processes from one participant’s side

Choreographies – MODELS 2009

Business processes from a global perspective

Orchestration Modeling Available languages (e.g., BPMN) Challenges to support business vocabularies to define message typing to formalize a language for defining conditions to support dynamic changes of business processes MODELS 2009

Available languages (e.g., BPMN)

Challenges

to support business vocabularies

to define message typing

to formalize a language for defining conditions

to support dynamic changes of business processes

Extension of BPMN building on the previous related work AORML [Taveter, 2004] adding support for vocabularies and rules rules and business processes everything to be modeled by rules hybrid approaches definition by metamodeling Approach MODELS 2009

Extension of BPMN

building on the previous related work

AORML [Taveter, 2004]

adding support for vocabularies and rules

rules and business processes

everything to be modeled by rules

hybrid approaches

definition by metamodeling

Rule-enhanced BPMN - rBPMN support for modeling orchestrations evaluation mechanism – expressiveness workflow patterns Result MODELS 2009

Rule-enhanced BPMN - rBPMN

support for modeling orchestrations

evaluation mechanism – expressiveness

workflow patterns

BPMN Language MODELS 2009 Submission by BEA, IBM, SAP, and Oracle http://www.omg.org/cgi-bin/doc?bmi/08-02-06

REWERSE I1 Rule Markup Language with a UML-based graphical concrete syntax Rule Modeling MODELS 2009

REWERSE I1 Rule Markup Language

with a UML-based graphical concrete syntax

REWERSE I1 Rule Markup Language Extension for Rule Models MODELS 2009

REWERSE I1 Rule Markup Language

Workflow Patterns Exclusive choice pattern MODELS 2009

Exclusive choice pattern

Workflow Patterns Milestone pattern

Milestone pattern

EDOC 2009 On a customer book request, if the requested book is available and its quantity is > 0, send the book available message with book price. Otherwise, send a book not avilable message.

Book request scenario

Expressiveness comparison Workflow Patterns

Workflow Patterns

Integration of rules and processes - rBPMN Externalizing business logic in rules Not a language for business analysts Intermediary between informal (PPT and visio) and technical (SoaML) Increases the level of agility service interaction and message exchange patterns Conclusion MODELS 2009

Integration of rules and processes - rBPMN

Externalizing business logic in rules

Not a language for business analysts

Intermediary between informal (PPT and visio) and technical (SoaML)

Increases the level of agility

service interaction and message exchange patterns

Future Work Support for new class of agility of patterns Additional scenarios for other types of rules Verbalization of rules (SBVR) Usability vs. expressivity Transformations into extended BPEL rBPMN model checking (e.g., mCRL2/mCRL)

Support for new class of agility of patterns

Additional scenarios for other types of rules

Verbalization of rules (SBVR)

Usability vs. expressivity

Transformations into extended BPEL

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

Thank you! Questions?