Presentation of the MODELS 2009 paper: To address problem of modeling service choreographies, the paper tackles the following challenges of the state of the art in choreography modeling: i) choreography models are not well-connected with the underlying business vocabulary models. ii) there is limited support for decoupling parts of business logic from complete choreography models. This reduces dynamic changes of choreographies; iii) choreography models contain redundant elements of shared business logic, which might lead to an inconsistent implementation and incompatible behavior. Our proposal – rBPMN – is an extension of a business process modeling language with rule and choreography modeling support. rBPMN is defined by weaving the metamodels of the Business Process Modeling Notation (BPMN) and REWERSE Rule Markup Language (R2ML). http://dx.doi.org/10.1007/978-3-642-04425-0_25

1. 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

6. BPMN Language MODELS 2009

11. 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.

15. Thank you! Questions?