Desynchronizable Choreographies

Non-desynchronizable Service Choreographies Gero Decker 1 , Alistair Barros 2 , Frank Michael Kraft 3 , Niels Lohmann 4 1 Hasso-Plattner-Institute, Potsdam, Germany 2 SAP Research, Brisbane, Australia 3 SAP AG, Walldorf, Germany 4 University of Rostock, Germany

Agenda ,[object Object],[object Object],[object Object],[object Object],[object Object]

Service Choreographies ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Modeling Choreographies Interconnection Modeling

Modeling Choreographies Interconnection Modeling incompatible loops definition of process instantiation incompatible branching structures incompatible sequence flow abstraction level = messages

Modeling Choreographies Interaction Modeling atomic interactions decision ownership global control flow dependencies complex interactions global loops process instantiation unspecified

Modeling Choreographies ,[object Object],[object Object],[object Object],[object Object],[object Object],Interconnection Models Interaction Models

Modeling Choreographies Does this choreography make sense in an asynchronous world?

Modeling Choreographies Synchronous vs. Asynchronous ,[object Object],[object Object],Desynchronized Net Interaction Petri net

Studying the Desynchronized Net Deadlock

[object Object],Desynchronizability Observable behavior model (role Z) ,[object Object],Observable behavior model (role A) … Role projection Role projection Interconnection ,[object Object],[object Object],[object Object],[object Object],[object Object]

Desynchronizability Location of conflict transitions ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Tooling Desynchronizability in IPNs ,[object Object]

Tooling Desynchronizability in BPMN 2.0 ,[object Object]

Resolution Strategies in Practice (1/2) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Resolution Strategies in Practice (2/2) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Summary & Outlook ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Questions? ,[object Object],[object Object],[object Object]

Desynchronizable Choreographies

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Ähnlich wie Desynchronizable Choreographies

Ähnlich wie Desynchronizable Choreographies (20)

Kürzlich hochgeladen

Kürzlich hochgeladen (20)

Desynchronizable Choreographies