SlideShare a Scribd company logo
1st International Workshop on Model-Driven Engineering
 for Business Process Management (MDE4BPM 2008)



A Model-Driven Approach to Implementing
    Coordination Protocols in BPEL



   Oliver Kopp, Branimir Wetzstein, Ralph Mietzner, Stefan Pottinger,
                Dimka Karastoyanova, Frank Leymann
                  Institute of Architecture of Application Systems




                                                                     kopp@iaas.uni-stuttgart.de
Agenda

            Background
                      Coordination in a Web Service World
                      Transaction Research Roadmap of the IAAS


            The Approach

            Conclusion and Outlook




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   2
Modeling Coordination
                      Protocols



© Oliver Kopp                           3
Modeling Coordination Protocols – 1/4
         Describe states and transitions of one participant




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   4
Modeling Coordination Protocols – 2/4




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   5
Modeling Coordination Protocols – 3/4




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   6
Modeling Coordination Protocols – 4/4: WS-BA




    Coordination
   Protocol Graph
        CPG


A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   7
WS-Coordination




                         Web Services Coordination (WS-Coordination) Version 1.1

            One coordinator for many participants


A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   8
Background




© Oliver Kopp                9
Research at IAAS
            Aim: Describe any coordination protocol by BPEL
                      Rania Khalaf’s protocol for split loops and scopes
                      Supporting Business Process Fragmentation While Maintaining Operational
                      Semantics: A BPEL Perspective, Dissertation, University of Stuttgart
                      Auctions – e.g., multiple round sealed auction
                      F. Leymann and S. Pottinger: Rethinking the Coordination Models
                      of WS-Coordination and WS-CF, ECOWS’05

            Mapping of OASIS-BTP and WS-CAF to
            WS-Coordination (Master’s Thesis)

            Replacement of BPEL’s WS-BA transaction behavior by
            arbitrary transaction behavior

            Externalization of BPEL’s transaction behavior
                      S. Pottinger, R. Mietzner and F. Leymann:
                      Coordinate BPEL Scopes and Processes by Extending the WS-
                      Business Activity Framework, CoopIS 2007
A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   10
Why BPEL?

            BPEL is on a higher level than usual
            programming languages
            BPEL has native support for
                      Concurrency
                      Forward and backward recovery
                             Fault handler to catch fault and do alternative action
                             Phoenix behavior: If BPEL engine crashes, the state before
                             the crash is restored
                      Scalability
            BPEL is supported by the most important
            vendors
                      IBM, Oracle, Microsoft, Sun, …

A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   11
The Approach




© Oliver Kopp                  12
Overview
                                                                                   • Domain-specific Language
              CPG (Coordination Protocol Graph)
                                                                                   • Platform-Independent Model
                                                                                   • Marking: WSDL names



             Abstract                     Abstract                    WSDL         • Automatic generation from CPG
            Coordinator                  Participant                 Definitions   • Abstract BPEL processes
             Process                      Process                                  • WSDL interfaces for coordinator and
              Model                        Model                                     participant process




            Executable                  Executable                                 • Manual refinement from abstract BPEL
            Coordinator                 Participant                                  processes
             Process                     Process                                   • Replacing opaque tokens with
              Model                       Model                                      concrete BPEL code




A Model-Driven Approach to Implementing Coordination Protocols in BPEL                 presented by Oliver Kopp       13
Participant




© Oliver Kopp                 14
Observations and Basic Idea

            Participant is in one state at a time
            BPEL supports graph-based programming
            A CPG is a graph

            Translate Graph Structure as Close as Possible
            to BPEL
                      “Element Preservation Strategy” in
                      J. Mendling, K.B. Lassen, and U. Zdun. On the
                      Transformation of Control Flow between Block-
                      Oriented and Graph-Oriented Process Modeling
                      Languages. IJBPIM, 3(2), September 2008.
                      No loops
A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   15
WS-BA with Participant Completion




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   16
Implementation in BPEL




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   17
State Canceling




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   18
State Completed




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   19
State Active




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   20
State Active simplified




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   21
Coordinator




© Oliver Kopp                 22
Observations and Basic Idea

            Coordinator has to hold state for each participant
            Participant can register at any time
            Not specified how to end coordination

            Impossible to keep graph-structure
            Generate code for managing
                      Activation
                      Registration
                      End of Coordination
            Use Event-Condition-Action idea

A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   23
Activation and Registration Services




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   24
Overview of the Coordinator




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   25
Reaction to message “fail”
            If sending participant in state “Active”
                      Set flag “failed” to true
                      For all participants in state “Active”
                             Send “Cancel”
                      For all participants in state “Completed”
                             Send “Compensate”
                      Send “Failed”
            Else
                      Fail came from Canceling or Compensating
                      No action required




A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   26
Conclusion




© Oliver Kopp                27
Conclusion and Outlook
            MDA approach for WS-Coordination
                      Generated BPEL Skeletons
                      Participant easy to complete
                      Coordinator less easy to complete

            Loops
                      Jussi Vanhatalo, Hagen Völzer, Jana Koehler. The
                      Refined Process Structure, BPM 2008
                      W. Zhao, R. Hauser, K. Bhattacharya, B. R. Bryant, F.
                      Cao. Compiling business processes: untangling
                      unstructured loops in irreducible flow graphs. International
                      Journal of Web and Grid Services, 2006
            Support of Coordinator Hierarchy
            Support of mixed protocols at a coordinator
                      WS-BA and WS-AT
A Model-Driven Approach to Implementing Coordination Protocols in BPEL   presented by Oliver Kopp   28

More Related Content

Similar to A Model-Driven Approach to Implementing Coordination Protocols in BPEL

PEPPOL Pilot Execution Guidelines
PEPPOL Pilot Execution GuidelinesPEPPOL Pilot Execution Guidelines
PEPPOL Pilot Execution Guidelines
Friso de Jong
 
Introduction to OSLC and Linked Data
Introduction to OSLC and Linked DataIntroduction to OSLC and Linked Data
Introduction to OSLC and Linked Data
openservices
 
Representing Business Processes: Conceptual Model and Design Methodology
Representing Business Processes: Conceptual Model and Design MethodologyRepresenting Business Processes: Conceptual Model and Design Methodology
Representing Business Processes: Conceptual Model and Design Methodology
Michele Chinosi
 
Lbdc reflection; m&e; future linkages
Lbdc reflection; m&e; future linkagesLbdc reflection; m&e; future linkages
Lbdc reflection; m&e; future linkages
International Water Management Institute (IWMI)
 
Decentralized enactment of bpel processes
Decentralized enactment of bpel processesDecentralized enactment of bpel processes
Decentralized enactment of bpel processes
Nexgen Technology
 
03 Living Labs and Smart Cities Pieter Ballon
03 Living Labs and Smart Cities Pieter Ballon03 Living Labs and Smart Cities Pieter Ballon
03 Living Labs and Smart Cities Pieter Ballon
European Network of Living Labs (ENoLL)
 
Towards a Benchmark for BPMN Engines
Towards a Benchmark for BPMN EnginesTowards a Benchmark for BPMN Engines
Towards a Benchmark for BPMN Engines
Vincenzo Ferme
 
Kansas Elsas Klint 2011
Kansas Elsas Klint 2011Kansas Elsas Klint 2011
Kansas Elsas Klint 2011
Philip Elsas
 
Eviap Conference Lisbon Portugal 2011
Eviap Conference Lisbon Portugal  2011Eviap Conference Lisbon Portugal  2011
Eviap Conference Lisbon Portugal 2011
Mohan Kondur BE(Hons),PGDIE, MBA, PMP, PgMP
 
2007 11-09 mm (costa rica - incae cit omg) modeling with bpmn and xpdl
2007 11-09 mm (costa rica - incae cit omg) modeling with bpmn and xpdl2007 11-09 mm (costa rica - incae cit omg) modeling with bpmn and xpdl
2007 11-09 mm (costa rica - incae cit omg) modeling with bpmn and xpdl
Mike Marin
 
IEEE 2014 JAVA SERVICE COMPUTING PROJECTS Decentralized enactment of bpel pro...
IEEE 2014 JAVA SERVICE COMPUTING PROJECTS Decentralized enactment of bpel pro...IEEE 2014 JAVA SERVICE COMPUTING PROJECTS Decentralized enactment of bpel pro...
IEEE 2014 JAVA SERVICE COMPUTING PROJECTS Decentralized enactment of bpel pro...
IEEEFINALYEARSTUDENTPROJECTS
 
2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...
2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...
2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...
IEEEBEBTECHSTUDENTSPROJECTS
 
2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...
2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...
2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...
IEEEFINALYEARSTUDENTPROJECT
 
APIOps: Automated Processes for Even Better APIs
APIOps: Automated Processes for Even Better APIsAPIOps: Automated Processes for Even Better APIs
APIOps: Automated Processes for Even Better APIs
OlyaSurits
 
Tools4BPEL4Chor
Tools4BPEL4ChorTools4BPEL4Chor
Tools4BPEL4Chor
Universität Rostock
 
PEPPOL Test Guidelines
PEPPOL Test GuidelinesPEPPOL Test Guidelines
PEPPOL Test Guidelines
Friso de Jong
 
Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments
Retry Scopes to Enable Robust Workflow Execution in Pervasive EnvironmentsRetry Scopes to Enable Robust Workflow Execution in Pervasive Environments
Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments
Tobias Unger
 
On-the-fly Collaboration for Legacy Business Process Systems in An Open Servi...
On-the-fly Collaboration for Legacy Business Process Systems in An Open Servi...On-the-fly Collaboration for Legacy Business Process Systems in An Open Servi...
On-the-fly Collaboration for Legacy Business Process Systems in An Open Servi...
Förderverein Technische Fakultät
 
Quality and Control
Quality and ControlQuality and Control
Quality and Control
Rivet Software
 
Eclipse Con2009 Practical Process Orchestration
Eclipse Con2009 Practical Process OrchestrationEclipse Con2009 Practical Process Orchestration
Eclipse Con2009 Practical Process Orchestration
Dietmar Schmidt
 

Similar to A Model-Driven Approach to Implementing Coordination Protocols in BPEL (20)

PEPPOL Pilot Execution Guidelines
PEPPOL Pilot Execution GuidelinesPEPPOL Pilot Execution Guidelines
PEPPOL Pilot Execution Guidelines
 
Introduction to OSLC and Linked Data
Introduction to OSLC and Linked DataIntroduction to OSLC and Linked Data
Introduction to OSLC and Linked Data
 
Representing Business Processes: Conceptual Model and Design Methodology
Representing Business Processes: Conceptual Model and Design MethodologyRepresenting Business Processes: Conceptual Model and Design Methodology
Representing Business Processes: Conceptual Model and Design Methodology
 
Lbdc reflection; m&e; future linkages
Lbdc reflection; m&e; future linkagesLbdc reflection; m&e; future linkages
Lbdc reflection; m&e; future linkages
 
Decentralized enactment of bpel processes
Decentralized enactment of bpel processesDecentralized enactment of bpel processes
Decentralized enactment of bpel processes
 
03 Living Labs and Smart Cities Pieter Ballon
03 Living Labs and Smart Cities Pieter Ballon03 Living Labs and Smart Cities Pieter Ballon
03 Living Labs and Smart Cities Pieter Ballon
 
Towards a Benchmark for BPMN Engines
Towards a Benchmark for BPMN EnginesTowards a Benchmark for BPMN Engines
Towards a Benchmark for BPMN Engines
 
Kansas Elsas Klint 2011
Kansas Elsas Klint 2011Kansas Elsas Klint 2011
Kansas Elsas Klint 2011
 
Eviap Conference Lisbon Portugal 2011
Eviap Conference Lisbon Portugal  2011Eviap Conference Lisbon Portugal  2011
Eviap Conference Lisbon Portugal 2011
 
2007 11-09 mm (costa rica - incae cit omg) modeling with bpmn and xpdl
2007 11-09 mm (costa rica - incae cit omg) modeling with bpmn and xpdl2007 11-09 mm (costa rica - incae cit omg) modeling with bpmn and xpdl
2007 11-09 mm (costa rica - incae cit omg) modeling with bpmn and xpdl
 
IEEE 2014 JAVA SERVICE COMPUTING PROJECTS Decentralized enactment of bpel pro...
IEEE 2014 JAVA SERVICE COMPUTING PROJECTS Decentralized enactment of bpel pro...IEEE 2014 JAVA SERVICE COMPUTING PROJECTS Decentralized enactment of bpel pro...
IEEE 2014 JAVA SERVICE COMPUTING PROJECTS Decentralized enactment of bpel pro...
 
2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...
2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...
2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...
 
2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...
2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...
2014 IEEE JAVA SERVICE COMPUTING PROJECT Decentralized enactment of bpel proc...
 
APIOps: Automated Processes for Even Better APIs
APIOps: Automated Processes for Even Better APIsAPIOps: Automated Processes for Even Better APIs
APIOps: Automated Processes for Even Better APIs
 
Tools4BPEL4Chor
Tools4BPEL4ChorTools4BPEL4Chor
Tools4BPEL4Chor
 
PEPPOL Test Guidelines
PEPPOL Test GuidelinesPEPPOL Test Guidelines
PEPPOL Test Guidelines
 
Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments
Retry Scopes to Enable Robust Workflow Execution in Pervasive EnvironmentsRetry Scopes to Enable Robust Workflow Execution in Pervasive Environments
Retry Scopes to Enable Robust Workflow Execution in Pervasive Environments
 
On-the-fly Collaboration for Legacy Business Process Systems in An Open Servi...
On-the-fly Collaboration for Legacy Business Process Systems in An Open Servi...On-the-fly Collaboration for Legacy Business Process Systems in An Open Servi...
On-the-fly Collaboration for Legacy Business Process Systems in An Open Servi...
 
Quality and Control
Quality and ControlQuality and Control
Quality and Control
 
Eclipse Con2009 Practical Process Orchestration
Eclipse Con2009 Practical Process OrchestrationEclipse Con2009 Practical Process Orchestration
Eclipse Con2009 Practical Process Orchestration
 

More from Oliver Kopp

Fault handling in the web service stack
Fault handling in the web service stackFault handling in the web service stack
Fault handling in the web service stack
Oliver Kopp
 
Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...
Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...
Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...
Oliver Kopp
 
The Influence of an External Transaction on a BPEL Scope
The Influence of an External Transaction on a BPEL ScopeThe Influence of an External Transaction on a BPEL Scope
The Influence of an External Transaction on a BPEL Scope
Oliver Kopp
 
External And Internal Events In EPCs: E²EPCs
External And Internal Events In EPCs: E²EPCsExternal And Internal Events In EPCs: E²EPCs
External And Internal Events In EPCs: E²EPCs
Oliver Kopp
 
BPELscript
BPELscriptBPELscript
BPELscript
Oliver Kopp
 
Deriving Explicit Data Links in WS-BPEL Processes
Deriving Explicit Data Links in WS-BPEL ProcessesDeriving Explicit Data Links in WS-BPEL Processes
Deriving Explicit Data Links in WS-BPEL Processes
Oliver Kopp
 
On the Choice Between Graph-Based and Block-Structured Business Process Mod...
On the Choice Between  Graph-Based and Block-Structured  Business Process Mod...On the Choice Between  Graph-Based and Block-Structured  Business Process Mod...
On the Choice Between Graph-Based and Block-Structured Business Process Mod...Oliver Kopp
 
Web Service Choreography Configurations for BPMN
Web Service Choreography Configurations for BPMNWeb Service Choreography Configurations for BPMN
Web Service Choreography Configurations for BPMN
Oliver Kopp
 
Tools4BPEL Abschlusspräsentation
Tools4BPEL AbschlusspräsentationTools4BPEL Abschlusspräsentation
Tools4BPEL Abschlusspräsentation
Oliver Kopp
 

More from Oliver Kopp (9)

Fault handling in the web service stack
Fault handling in the web service stackFault handling in the web service stack
Fault handling in the web service stack
 
Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...
Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...
Interaction Choreography Models in BPEL:Choreographies on the Enterprise Serv...
 
The Influence of an External Transaction on a BPEL Scope
The Influence of an External Transaction on a BPEL ScopeThe Influence of an External Transaction on a BPEL Scope
The Influence of an External Transaction on a BPEL Scope
 
External And Internal Events In EPCs: E²EPCs
External And Internal Events In EPCs: E²EPCsExternal And Internal Events In EPCs: E²EPCs
External And Internal Events In EPCs: E²EPCs
 
BPELscript
BPELscriptBPELscript
BPELscript
 
Deriving Explicit Data Links in WS-BPEL Processes
Deriving Explicit Data Links in WS-BPEL ProcessesDeriving Explicit Data Links in WS-BPEL Processes
Deriving Explicit Data Links in WS-BPEL Processes
 
On the Choice Between Graph-Based and Block-Structured Business Process Mod...
On the Choice Between  Graph-Based and Block-Structured  Business Process Mod...On the Choice Between  Graph-Based and Block-Structured  Business Process Mod...
On the Choice Between Graph-Based and Block-Structured Business Process Mod...
 
Web Service Choreography Configurations for BPMN
Web Service Choreography Configurations for BPMNWeb Service Choreography Configurations for BPMN
Web Service Choreography Configurations for BPMN
 
Tools4BPEL Abschlusspräsentation
Tools4BPEL AbschlusspräsentationTools4BPEL Abschlusspräsentation
Tools4BPEL Abschlusspräsentation
 

Recently uploaded

Principle of conventional tomography-Bibash Shahi ppt..pptx
Principle of conventional tomography-Bibash Shahi ppt..pptxPrinciple of conventional tomography-Bibash Shahi ppt..pptx
Principle of conventional tomography-Bibash Shahi ppt..pptx
BibashShahi
 
Astute Business Solutions | Oracle Cloud Partner |
Astute Business Solutions | Oracle Cloud Partner |Astute Business Solutions | Oracle Cloud Partner |
Astute Business Solutions | Oracle Cloud Partner |
AstuteBusiness
 
Leveraging the Graph for Clinical Trials and Standards
Leveraging the Graph for Clinical Trials and StandardsLeveraging the Graph for Clinical Trials and Standards
Leveraging the Graph for Clinical Trials and Standards
Neo4j
 
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdfHow to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
Chart Kalyan
 
Northern Engraving | Nameplate Manufacturing Process - 2024
Northern Engraving | Nameplate Manufacturing Process - 2024Northern Engraving | Nameplate Manufacturing Process - 2024
Northern Engraving | Nameplate Manufacturing Process - 2024
Northern Engraving
 
Mutation Testing for Task-Oriented Chatbots
Mutation Testing for Task-Oriented ChatbotsMutation Testing for Task-Oriented Chatbots
Mutation Testing for Task-Oriented Chatbots
Pablo Gómez Abajo
 
Introduction of Cybersecurity with OSS at Code Europe 2024
Introduction of Cybersecurity with OSS  at Code Europe 2024Introduction of Cybersecurity with OSS  at Code Europe 2024
Introduction of Cybersecurity with OSS at Code Europe 2024
Hiroshi SHIBATA
 
Christine's Product Research Presentation.pptx
Christine's Product Research Presentation.pptxChristine's Product Research Presentation.pptx
Christine's Product Research Presentation.pptx
christinelarrosa
 
JavaLand 2024: Application Development Green Masterplan
JavaLand 2024: Application Development Green MasterplanJavaLand 2024: Application Development Green Masterplan
JavaLand 2024: Application Development Green Masterplan
Miro Wengner
 
Day 2 - Intro to UiPath Studio Fundamentals
Day 2 - Intro to UiPath Studio FundamentalsDay 2 - Intro to UiPath Studio Fundamentals
Day 2 - Intro to UiPath Studio Fundamentals
UiPathCommunity
 
The Microsoft 365 Migration Tutorial For Beginner.pptx
The Microsoft 365 Migration Tutorial For Beginner.pptxThe Microsoft 365 Migration Tutorial For Beginner.pptx
The Microsoft 365 Migration Tutorial For Beginner.pptx
operationspcvita
 
Session 1 - Intro to Robotic Process Automation.pdf
Session 1 - Intro to Robotic Process Automation.pdfSession 1 - Intro to Robotic Process Automation.pdf
Session 1 - Intro to Robotic Process Automation.pdf
UiPathCommunity
 
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
Harnessing the Power of NLP and Knowledge Graphs for Opioid ResearchHarnessing the Power of NLP and Knowledge Graphs for Opioid Research
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
Neo4j
 
LF Energy Webinar: Carbon Data Specifications: Mechanisms to Improve Data Acc...
LF Energy Webinar: Carbon Data Specifications: Mechanisms to Improve Data Acc...LF Energy Webinar: Carbon Data Specifications: Mechanisms to Improve Data Acc...
LF Energy Webinar: Carbon Data Specifications: Mechanisms to Improve Data Acc...
DanBrown980551
 
Dandelion Hashtable: beyond billion requests per second on a commodity server
Dandelion Hashtable: beyond billion requests per second on a commodity serverDandelion Hashtable: beyond billion requests per second on a commodity server
Dandelion Hashtable: beyond billion requests per second on a commodity server
Antonios Katsarakis
 
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned",  Igor Ivaniuk"Frontline Battles with DDoS: Best practices and Lessons Learned",  Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
Fwdays
 
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeckPoznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
FilipTomaszewski5
 
Biomedical Knowledge Graphs for Data Scientists and Bioinformaticians
Biomedical Knowledge Graphs for Data Scientists and BioinformaticiansBiomedical Knowledge Graphs for Data Scientists and Bioinformaticians
Biomedical Knowledge Graphs for Data Scientists and Bioinformaticians
Neo4j
 
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge GraphGraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
Neo4j
 
From Natural Language to Structured Solr Queries using LLMs
From Natural Language to Structured Solr Queries using LLMsFrom Natural Language to Structured Solr Queries using LLMs
From Natural Language to Structured Solr Queries using LLMs
Sease
 

Recently uploaded (20)

Principle of conventional tomography-Bibash Shahi ppt..pptx
Principle of conventional tomography-Bibash Shahi ppt..pptxPrinciple of conventional tomography-Bibash Shahi ppt..pptx
Principle of conventional tomography-Bibash Shahi ppt..pptx
 
Astute Business Solutions | Oracle Cloud Partner |
Astute Business Solutions | Oracle Cloud Partner |Astute Business Solutions | Oracle Cloud Partner |
Astute Business Solutions | Oracle Cloud Partner |
 
Leveraging the Graph for Clinical Trials and Standards
Leveraging the Graph for Clinical Trials and StandardsLeveraging the Graph for Clinical Trials and Standards
Leveraging the Graph for Clinical Trials and Standards
 
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdfHow to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
 
Northern Engraving | Nameplate Manufacturing Process - 2024
Northern Engraving | Nameplate Manufacturing Process - 2024Northern Engraving | Nameplate Manufacturing Process - 2024
Northern Engraving | Nameplate Manufacturing Process - 2024
 
Mutation Testing for Task-Oriented Chatbots
Mutation Testing for Task-Oriented ChatbotsMutation Testing for Task-Oriented Chatbots
Mutation Testing for Task-Oriented Chatbots
 
Introduction of Cybersecurity with OSS at Code Europe 2024
Introduction of Cybersecurity with OSS  at Code Europe 2024Introduction of Cybersecurity with OSS  at Code Europe 2024
Introduction of Cybersecurity with OSS at Code Europe 2024
 
Christine's Product Research Presentation.pptx
Christine's Product Research Presentation.pptxChristine's Product Research Presentation.pptx
Christine's Product Research Presentation.pptx
 
JavaLand 2024: Application Development Green Masterplan
JavaLand 2024: Application Development Green MasterplanJavaLand 2024: Application Development Green Masterplan
JavaLand 2024: Application Development Green Masterplan
 
Day 2 - Intro to UiPath Studio Fundamentals
Day 2 - Intro to UiPath Studio FundamentalsDay 2 - Intro to UiPath Studio Fundamentals
Day 2 - Intro to UiPath Studio Fundamentals
 
The Microsoft 365 Migration Tutorial For Beginner.pptx
The Microsoft 365 Migration Tutorial For Beginner.pptxThe Microsoft 365 Migration Tutorial For Beginner.pptx
The Microsoft 365 Migration Tutorial For Beginner.pptx
 
Session 1 - Intro to Robotic Process Automation.pdf
Session 1 - Intro to Robotic Process Automation.pdfSession 1 - Intro to Robotic Process Automation.pdf
Session 1 - Intro to Robotic Process Automation.pdf
 
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
Harnessing the Power of NLP and Knowledge Graphs for Opioid ResearchHarnessing the Power of NLP and Knowledge Graphs for Opioid Research
Harnessing the Power of NLP and Knowledge Graphs for Opioid Research
 
LF Energy Webinar: Carbon Data Specifications: Mechanisms to Improve Data Acc...
LF Energy Webinar: Carbon Data Specifications: Mechanisms to Improve Data Acc...LF Energy Webinar: Carbon Data Specifications: Mechanisms to Improve Data Acc...
LF Energy Webinar: Carbon Data Specifications: Mechanisms to Improve Data Acc...
 
Dandelion Hashtable: beyond billion requests per second on a commodity server
Dandelion Hashtable: beyond billion requests per second on a commodity serverDandelion Hashtable: beyond billion requests per second on a commodity server
Dandelion Hashtable: beyond billion requests per second on a commodity server
 
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned",  Igor Ivaniuk"Frontline Battles with DDoS: Best practices and Lessons Learned",  Igor Ivaniuk
"Frontline Battles with DDoS: Best practices and Lessons Learned", Igor Ivaniuk
 
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeckPoznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
Poznań ACE event - 19.06.2024 Team 24 Wrapup slidedeck
 
Biomedical Knowledge Graphs for Data Scientists and Bioinformaticians
Biomedical Knowledge Graphs for Data Scientists and BioinformaticiansBiomedical Knowledge Graphs for Data Scientists and Bioinformaticians
Biomedical Knowledge Graphs for Data Scientists and Bioinformaticians
 
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge GraphGraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
GraphRAG for LifeSciences Hands-On with the Clinical Knowledge Graph
 
From Natural Language to Structured Solr Queries using LLMs
From Natural Language to Structured Solr Queries using LLMsFrom Natural Language to Structured Solr Queries using LLMs
From Natural Language to Structured Solr Queries using LLMs
 

A Model-Driven Approach to Implementing Coordination Protocols in BPEL

  • 1. 1st International Workshop on Model-Driven Engineering for Business Process Management (MDE4BPM 2008) A Model-Driven Approach to Implementing Coordination Protocols in BPEL Oliver Kopp, Branimir Wetzstein, Ralph Mietzner, Stefan Pottinger, Dimka Karastoyanova, Frank Leymann Institute of Architecture of Application Systems kopp@iaas.uni-stuttgart.de
  • 2. Agenda Background Coordination in a Web Service World Transaction Research Roadmap of the IAAS The Approach Conclusion and Outlook A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 2
  • 3. Modeling Coordination Protocols © Oliver Kopp 3
  • 4. Modeling Coordination Protocols – 1/4 Describe states and transitions of one participant A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 4
  • 5. Modeling Coordination Protocols – 2/4 A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 5
  • 6. Modeling Coordination Protocols – 3/4 A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 6
  • 7. Modeling Coordination Protocols – 4/4: WS-BA Coordination Protocol Graph CPG A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 7
  • 8. WS-Coordination Web Services Coordination (WS-Coordination) Version 1.1 One coordinator for many participants A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 8
  • 10. Research at IAAS Aim: Describe any coordination protocol by BPEL Rania Khalaf’s protocol for split loops and scopes Supporting Business Process Fragmentation While Maintaining Operational Semantics: A BPEL Perspective, Dissertation, University of Stuttgart Auctions – e.g., multiple round sealed auction F. Leymann and S. Pottinger: Rethinking the Coordination Models of WS-Coordination and WS-CF, ECOWS’05 Mapping of OASIS-BTP and WS-CAF to WS-Coordination (Master’s Thesis) Replacement of BPEL’s WS-BA transaction behavior by arbitrary transaction behavior Externalization of BPEL’s transaction behavior S. Pottinger, R. Mietzner and F. Leymann: Coordinate BPEL Scopes and Processes by Extending the WS- Business Activity Framework, CoopIS 2007 A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 10
  • 11. Why BPEL? BPEL is on a higher level than usual programming languages BPEL has native support for Concurrency Forward and backward recovery Fault handler to catch fault and do alternative action Phoenix behavior: If BPEL engine crashes, the state before the crash is restored Scalability BPEL is supported by the most important vendors IBM, Oracle, Microsoft, Sun, … A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 11
  • 13. Overview • Domain-specific Language CPG (Coordination Protocol Graph) • Platform-Independent Model • Marking: WSDL names Abstract Abstract WSDL • Automatic generation from CPG Coordinator Participant Definitions • Abstract BPEL processes Process Process • WSDL interfaces for coordinator and Model Model participant process Executable Executable • Manual refinement from abstract BPEL Coordinator Participant processes Process Process • Replacing opaque tokens with Model Model concrete BPEL code A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 13
  • 15. Observations and Basic Idea Participant is in one state at a time BPEL supports graph-based programming A CPG is a graph Translate Graph Structure as Close as Possible to BPEL “Element Preservation Strategy” in J. Mendling, K.B. Lassen, and U. Zdun. On the Transformation of Control Flow between Block- Oriented and Graph-Oriented Process Modeling Languages. IJBPIM, 3(2), September 2008. No loops A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 15
  • 16. WS-BA with Participant Completion A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 16
  • 17. Implementation in BPEL A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 17
  • 18. State Canceling A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 18
  • 19. State Completed A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 19
  • 20. State Active A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 20
  • 21. State Active simplified A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 21
  • 23. Observations and Basic Idea Coordinator has to hold state for each participant Participant can register at any time Not specified how to end coordination Impossible to keep graph-structure Generate code for managing Activation Registration End of Coordination Use Event-Condition-Action idea A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 23
  • 24. Activation and Registration Services A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 24
  • 25. Overview of the Coordinator A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 25
  • 26. Reaction to message “fail” If sending participant in state “Active” Set flag “failed” to true For all participants in state “Active” Send “Cancel” For all participants in state “Completed” Send “Compensate” Send “Failed” Else Fail came from Canceling or Compensating No action required A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 26
  • 28. Conclusion and Outlook MDA approach for WS-Coordination Generated BPEL Skeletons Participant easy to complete Coordinator less easy to complete Loops Jussi Vanhatalo, Hagen Völzer, Jana Koehler. The Refined Process Structure, BPM 2008 W. Zhao, R. Hauser, K. Bhattacharya, B. R. Bryant, F. Cao. Compiling business processes: untangling unstructured loops in irreducible flow graphs. International Journal of Web and Grid Services, 2006 Support of Coordinator Hierarchy Support of mixed protocols at a coordinator WS-BA and WS-AT A Model-Driven Approach to Implementing Coordination Protocols in BPEL presented by Oliver Kopp 28