SlideShare a Scribd company logo
Modeling Service Choreographies
with
Rule-enhanced Business Processes
Milan Milanović1
and Dragan Gašević2
1
University of Belgrade, Serbia
2
Athabasca University, AB, 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
 Available languages (e.g., BPMN)
 Challenges
 How to support business vocabularies/rules?
 How to manage redundant elements?
MODELS 2009
Choreography Modeling
 Extension of the BPMN2 language
 Software language engineering
 Adding support for vocabularies and rules
 Building on the previous related work
 iBPMN [Decker & Puhlmann, 2007]
MODELS 2009
Approach
Greetings for the EDOC friends from
the International Conference on Software Language Engineering
http://planet-sl.org
 Rule-enhanced BPMN - rBPMN
 Interconnection and interaction models
 Evaluation mechanism – expressiveness
 Service Interaction Patterns
MODELS 2009
Result
Processes & Rules – Option 1
 Complete processes modeled by rules
 With reaction and production rules
 Some issues
 What’s the identity of a business process?
 Which languages to use?
 Are the languages at the same level?
Processes & Rules – Option 2
 Hybrid approaches
 BP stays, but rules are added for
 control flow decisions,
data constraints, and
process composition [Graml et al., 2007]
MODELS 2009
The BPMN Language
Rules and Business Processes
 Challenges
 to have rules as first class concepts in BPs
 to support vocabularies/ontologies
 to define message and event typing
 to formalize defining conditions
 to enable declarative (parts of) processes
MODELS 2009
Representational Analysis
 Based on the BWW model
PΔR - Symmetric Difference; P R – Intersection; P/R & R/P -Relative Complement∩
Vid Prezel
Representational Analysis
 Based on the BWW model
Vid Prezel
Rule Modeling
 REWERSE I1 Rule Markup Language (R2ML)
 with a UML-based graphical concrete syntax
MODELS 2009
 REWERSE I1 Rule Markup Language
MODELS 2009
Extension for Rule Models
rBPMN metamodel weaving
rBPMN in Action
rBPMN in Action
rBPMN in Action
OWL-based
reasoning
rBPMN in Action
Rete-based
 Multiplicity of participants – |||
 References –
to distinguish participants
 Correlation information –
who sent a message
MODELS 2009
Interaction Models
MODELS 2009
Service Interaction Patterns
 Contingent requests pattern
MODELS 2009
Service Interaction Patterns
 Contingent requests pattern
Case Study
Case Study
Rules in Choreography
EDOC 2009
Case Study
Rules in Choreography
EDOC 2009
Case Study
Case Study
Case Study
Rule in Choreography
EDOC 2009
Expressiveness comparison
 Service Interaction Patterns
Language
Pattern
group
Pattern Let’s
Dance
BPMN
WS-
CDL
iBPMN rBPMN
Send + + + + +
Receive + + + + +1)
Send/Receive + + + + +
Racing incoming messages + + + + +
One-to-many send + - +/- + +
One-from-many receive + - + + +
2)
One-to-many send/receive + - +/- + +
Multi-responses + + + + +
Contingent requests +/- - +/- +/- +3)
Atomic multicast notification - - - - -
Request with referral + - + + +
Relayed request + - + + +4)
Dynamic routing - - +/- - +/-
rBPMN Editor
 Implementation of BPMN2 + R2ML
 Eclipse plug-in based on GMF and EMF
 Binaries available for download
 Going out as open source shortly
 Looking fwd to your feedback
 http://rbpmneditor.googlecode.com/
 http://www.youtube.com/user/rbpmn
rBPMN Editor
rBPMN Heroes
 Language design and implementation
Milan Milanovic Luis Rocha
MODELS 2009
Conclusion REWERSE I1 Rule Markup Language
MODELS 2009
Extension for Rule Models
rBPMN metamodel weaving
MODELS 2009
Conclusion REWERSE I1 Rule Markup Language
MODELS 2009
Extension for Rule Models
rBPMN metamodel weaving
MODELS 2009
Service Interaction Patterns
 Contingent requests pattern
MODELS 2009
Conclusion REWERSE I1 Rule Markup Language
MODELS 2009
Extension for Rule Models
rBPMN metamodel weaving
MODELS 2009
Service Interaction Patterns
 Contingent requests pattern
MODELS 2009
Service Interaction Patterns
 Contingent requests pattern
MODELS 2009
Conclusion REWERSE I1 Rule Markup Language
MODELS 2009
Extension for Rule Models
rBPMN metamodel weaving
MODELS 2009
Service Interaction Patterns
 Contingent requests pattern
MODELS 2009
Service Interaction Patterns
 Contingent requests pattern
Expressiveness comparison
 Service Interaction Patterns
MODELS 2009
Conclusion REWERSE I1 Rule Markup Language
MODELS 2009
Extension for Rule Models
rBPMN metamodel weaving
MODELS 2009
Service Interaction Patterns
 Contingent requests pattern
MODELS 2009
Service Interaction Patterns
 Contingent requests pattern
Expressiveness comparison
 Service Interaction Patterns
rBPMN Editor
 Usability
 Semi-structured English vs. visual
 Interaction vs. interconnection model
 Quality and empirical issues of rBPMN
MODELS 2009
Future Work
 Usability
 Semi-structured English vs. visual
 Interaction vs. interconnection model
 Quality and empirical issues of rBPMN
MODELS 2009
Future Work
Community call:
We need a corpus!
 Language formalization affairs
 Static and operational semantics
 e.g., OWL2 and mCRL2
 Coupled co-evolution of rules & processes
MODELS 2009
Future Work
Thank you!
Questions?

More Related Content

Similar to Modeling Service Choreographies with Rule-enhanced Business Processes

Towards a Language for Rule-enhanced Business Process Modeling
Towards a Language for Rule-enhanced Business Process Modeling Towards a Language for Rule-enhanced Business Process Modeling
Towards a Language for Rule-enhanced Business Process Modeling
Dragan Gasevic
 
Modeling Flexible Business Processes with Business Rule Patterns
Modeling Flexible Business Processes with Business Rule PatternsModeling Flexible Business Processes with Business Rule Patterns
Modeling Flexible Business Processes with Business Rule Patterns
Dragan Gasevic
 
The Role of Standards in BPM
The Role of Standards in BPMThe Role of Standards in BPM
The Role of Standards in BPM
Sandy Kemsley
 
Model driven requirements engineering in the context of erp implementation
Model driven requirements engineering in the context of erp implementationModel driven requirements engineering in the context of erp implementation
Model driven requirements engineering in the context of erp implementation
Dr. Hamdan Al-Sabri
 
Connecting to PEPPOL - different perspectives
Connecting to PEPPOL - different perspectivesConnecting to PEPPOL - different perspectives
Connecting to PEPPOL - different perspectives
hippebrun
 
Ivana Trickovic @ BPMN 2010
Ivana Trickovic @ BPMN 2010Ivana Trickovic @ BPMN 2010
Ivana Trickovic @ BPMN 2010
bpmn2010
 
Automatically Generated Simulations for Predicting Software-Defined Networkin...
Automatically Generated Simulations for Predicting Software-Defined Networkin...Automatically Generated Simulations for Predicting Software-Defined Networkin...
Automatically Generated Simulations for Predicting Software-Defined Networkin...
Felipe Alencar
 
Experiment on BPM and SOA transformations
Experiment on BPM and SOA transformationsExperiment on BPM and SOA transformations
Experiment on BPM and SOA transformations
Akira Tanaka
 
Web Modeling-based Approach to Automating Web Services Mediation, Choreograph...
Web Modeling-based Approach to Automating Web Services Mediation, Choreograph...Web Modeling-based Approach to Automating Web Services Mediation, Choreograph...
Web Modeling-based Approach to Automating Web Services Mediation, Choreograph...
Marco Brambilla
 
Ontologies and Software Modeling: Potentials, Experience and Challenges
Ontologies and Software Modeling: Potentials, Experience and Challenges Ontologies and Software Modeling: Potentials, Experience and Challenges
Ontologies and Software Modeling: Potentials, Experience and Challenges
Dragan Gasevic
 
PhD-viva_ver0.4
PhD-viva_ver0.4PhD-viva_ver0.4
PhD-viva_ver0.4
SAADBIN ABID, PhD
 
Evolution in the Large and in the Small in Model-Driven Development
Evolution in the Large and in the Small in Model-Driven DevelopmentEvolution in the Large and in the Small in Model-Driven Development
Evolution in the Large and in the Small in Model-Driven Development
Alfonso Pierantonio
 
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
 
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
 
A framework and a TDD methodology for testing web service compositions
A framework and a TDD methodology for testing web service compositionsA framework and a TDD methodology for testing web service compositions
A framework and a TDD methodology for testing web service compositions
Felipe Besson
 
Model-Driven Software Engineering in Practice - Chapter 4 - Model-Driven Arch...
Model-Driven Software Engineering in Practice - Chapter 4 - Model-Driven Arch...Model-Driven Software Engineering in Practice - Chapter 4 - Model-Driven Arch...
Model-Driven Software Engineering in Practice - Chapter 4 - Model-Driven Arch...
Jordi Cabot
 
Service Modelling with SoaML
Service Modelling with SoaMLService Modelling with SoaML
Service Modelling with SoaML
Brian Elvesæter
 
Systems Modeling Language (SysML®) v2 Request For Proposal (RFP)
Systems Modeling Language (SysML®) v2 Request For Proposal (RFP)Systems Modeling Language (SysML®) v2 Request For Proposal (RFP)
Systems Modeling Language (SysML®) v2 Request For Proposal (RFP)
Massimo Talia
 
Shape Project Overview
Shape Project OverviewShape Project Overview
Shape Project Overview
Federico Michele Facca
 
130905 francis palma - detection of process antipatterns - a bpel perspective
130905   francis palma - detection of process antipatterns - a bpel perspective130905   francis palma - detection of process antipatterns - a bpel perspective
130905 francis palma - detection of process antipatterns - a bpel perspective
Ptidej Team
 

Similar to Modeling Service Choreographies with Rule-enhanced Business Processes (20)

Towards a Language for Rule-enhanced Business Process Modeling
Towards a Language for Rule-enhanced Business Process Modeling Towards a Language for Rule-enhanced Business Process Modeling
Towards a Language for Rule-enhanced Business Process Modeling
 
Modeling Flexible Business Processes with Business Rule Patterns
Modeling Flexible Business Processes with Business Rule PatternsModeling Flexible Business Processes with Business Rule Patterns
Modeling Flexible Business Processes with Business Rule Patterns
 
The Role of Standards in BPM
The Role of Standards in BPMThe Role of Standards in BPM
The Role of Standards in BPM
 
Model driven requirements engineering in the context of erp implementation
Model driven requirements engineering in the context of erp implementationModel driven requirements engineering in the context of erp implementation
Model driven requirements engineering in the context of erp implementation
 
Connecting to PEPPOL - different perspectives
Connecting to PEPPOL - different perspectivesConnecting to PEPPOL - different perspectives
Connecting to PEPPOL - different perspectives
 
Ivana Trickovic @ BPMN 2010
Ivana Trickovic @ BPMN 2010Ivana Trickovic @ BPMN 2010
Ivana Trickovic @ BPMN 2010
 
Automatically Generated Simulations for Predicting Software-Defined Networkin...
Automatically Generated Simulations for Predicting Software-Defined Networkin...Automatically Generated Simulations for Predicting Software-Defined Networkin...
Automatically Generated Simulations for Predicting Software-Defined Networkin...
 
Experiment on BPM and SOA transformations
Experiment on BPM and SOA transformationsExperiment on BPM and SOA transformations
Experiment on BPM and SOA transformations
 
Web Modeling-based Approach to Automating Web Services Mediation, Choreograph...
Web Modeling-based Approach to Automating Web Services Mediation, Choreograph...Web Modeling-based Approach to Automating Web Services Mediation, Choreograph...
Web Modeling-based Approach to Automating Web Services Mediation, Choreograph...
 
Ontologies and Software Modeling: Potentials, Experience and Challenges
Ontologies and Software Modeling: Potentials, Experience and Challenges Ontologies and Software Modeling: Potentials, Experience and Challenges
Ontologies and Software Modeling: Potentials, Experience and Challenges
 
PhD-viva_ver0.4
PhD-viva_ver0.4PhD-viva_ver0.4
PhD-viva_ver0.4
 
Evolution in the Large and in the Small in Model-Driven Development
Evolution in the Large and in the Small in Model-Driven DevelopmentEvolution in the Large and in the Small in Model-Driven Development
Evolution in the Large and in the Small in Model-Driven Development
 
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...
 
Towards a Benchmark for BPMN Engines
Towards a Benchmark for BPMN EnginesTowards a Benchmark for BPMN Engines
Towards a Benchmark for BPMN Engines
 
A framework and a TDD methodology for testing web service compositions
A framework and a TDD methodology for testing web service compositionsA framework and a TDD methodology for testing web service compositions
A framework and a TDD methodology for testing web service compositions
 
Model-Driven Software Engineering in Practice - Chapter 4 - Model-Driven Arch...
Model-Driven Software Engineering in Practice - Chapter 4 - Model-Driven Arch...Model-Driven Software Engineering in Practice - Chapter 4 - Model-Driven Arch...
Model-Driven Software Engineering in Practice - Chapter 4 - Model-Driven Arch...
 
Service Modelling with SoaML
Service Modelling with SoaMLService Modelling with SoaML
Service Modelling with SoaML
 
Systems Modeling Language (SysML®) v2 Request For Proposal (RFP)
Systems Modeling Language (SysML®) v2 Request For Proposal (RFP)Systems Modeling Language (SysML®) v2 Request For Proposal (RFP)
Systems Modeling Language (SysML®) v2 Request For Proposal (RFP)
 
Shape Project Overview
Shape Project OverviewShape Project Overview
Shape Project Overview
 
130905 francis palma - detection of process antipatterns - a bpel perspective
130905   francis palma - detection of process antipatterns - a bpel perspective130905   francis palma - detection of process antipatterns - a bpel perspective
130905 francis palma - detection of process antipatterns - a bpel perspective
 

More from Dragan Gasevic

Nurturing the Connections: The Role of Quantitative Ethnography in Learning A...
Nurturing the Connections: The Role of Quantitative Ethnography in Learning A...Nurturing the Connections: The Role of Quantitative Ethnography in Learning A...
Nurturing the Connections: The Role of Quantitative Ethnography in Learning A...
Dragan Gasevic
 
Can learning analytics offer meaningful assessment?
Can learning analytics offer meaningful assessment? Can learning analytics offer meaningful assessment?
Can learning analytics offer meaningful assessment?
Dragan Gasevic
 
Towards Strengthening Links between Learning Analytics and Assessment
Towards Strengthening Links between  Learning Analytics and AssessmentTowards Strengthening Links between  Learning Analytics and Assessment
Towards Strengthening Links between Learning Analytics and Assessment
Dragan Gasevic
 
Let’s get there! Towards policy for adoption of learning analytics
Let’s get there! Towards policy for adoption of learning analyticsLet’s get there! Towards policy for adoption of learning analytics
Let’s get there! Towards policy for adoption of learning analytics
Dragan Gasevic
 
State and Directions of Learning Analytics Adoption (Second edition)
State and Directions of Learning Analytics Adoption (Second edition)State and Directions of Learning Analytics Adoption (Second edition)
State and Directions of Learning Analytics Adoption (Second edition)
Dragan Gasevic
 
Wearable technologies should promote adaptive learners
Wearable technologies should promote adaptive learnersWearable technologies should promote adaptive learners
Wearable technologies should promote adaptive learners
Dragan Gasevic
 
Learning with me Mate: Analytics of Social Networks in Higher Education
Learning with me Mate: Analytics of Social Networks in Higher EducationLearning with me Mate: Analytics of Social Networks in Higher Education
Learning with me Mate: Analytics of Social Networks in Higher Education
Dragan Gasevic
 
Technologies to support self-directed learning through social interaction
Technologies to support self-directed learning through social interactionTechnologies to support self-directed learning through social interaction
Technologies to support self-directed learning through social interaction
Dragan Gasevic
 
Learning analytics: An opportunity for higher education?
Learning analytics: An opportunity for higher education?Learning analytics: An opportunity for higher education?
Learning analytics: An opportunity for higher education?
Dragan Gasevic
 
Learning analytics are more than a technology
Learning analytics are more than a technologyLearning analytics are more than a technology
Learning analytics are more than a technology
Dragan Gasevic
 
Personal Learning Graph (PLeG)
Personal Learning Graph (PLeG)Personal Learning Graph (PLeG)
Personal Learning Graph (PLeG)
Dragan Gasevic
 
Learning analytics are more than measurement
Learning analytics are more than measurementLearning analytics are more than measurement
Learning analytics are more than measurement
Dragan Gasevic
 
Learning analytics and MOOCs: What have we learned so far and where to go?
Learning analytics and MOOCs: What have we learned so far and where to go?Learning analytics and MOOCs: What have we learned so far and where to go?
Learning analytics and MOOCs: What have we learned so far and where to go?
Dragan Gasevic
 
Social network analysis and understanding of massive open online courses
Social network analysis and understanding of massive open online coursesSocial network analysis and understanding of massive open online courses
Social network analysis and understanding of massive open online courses
Dragan Gasevic
 
Social network analysis and social presence
Social network analysis and social presenceSocial network analysis and social presence
Social network analysis and social presence
Dragan Gasevic
 
Social network analysis and learning design
Social network analysis and learning designSocial network analysis and learning design
Social network analysis and learning design
Dragan Gasevic
 
Social network analysis and creative potential
Social network analysis and creative potentialSocial network analysis and creative potential
Social network analysis and creative potential
Dragan Gasevic
 
Social network analysis and academic performance
Social network analysis and academic performanceSocial network analysis and academic performance
Social network analysis and academic performance
Dragan Gasevic
 
Sensemaking of social network analysis for the study of learning
Sensemaking of social network analysis for the study of learningSensemaking of social network analysis for the study of learning
Sensemaking of social network analysis for the study of learning
Dragan Gasevic
 
Network modularity and community identification
Network modularity and community identificationNetwork modularity and community identification
Network modularity and community identification
Dragan Gasevic
 

More from Dragan Gasevic (20)

Nurturing the Connections: The Role of Quantitative Ethnography in Learning A...
Nurturing the Connections: The Role of Quantitative Ethnography in Learning A...Nurturing the Connections: The Role of Quantitative Ethnography in Learning A...
Nurturing the Connections: The Role of Quantitative Ethnography in Learning A...
 
Can learning analytics offer meaningful assessment?
Can learning analytics offer meaningful assessment? Can learning analytics offer meaningful assessment?
Can learning analytics offer meaningful assessment?
 
Towards Strengthening Links between Learning Analytics and Assessment
Towards Strengthening Links between  Learning Analytics and AssessmentTowards Strengthening Links between  Learning Analytics and Assessment
Towards Strengthening Links between Learning Analytics and Assessment
 
Let’s get there! Towards policy for adoption of learning analytics
Let’s get there! Towards policy for adoption of learning analyticsLet’s get there! Towards policy for adoption of learning analytics
Let’s get there! Towards policy for adoption of learning analytics
 
State and Directions of Learning Analytics Adoption (Second edition)
State and Directions of Learning Analytics Adoption (Second edition)State and Directions of Learning Analytics Adoption (Second edition)
State and Directions of Learning Analytics Adoption (Second edition)
 
Wearable technologies should promote adaptive learners
Wearable technologies should promote adaptive learnersWearable technologies should promote adaptive learners
Wearable technologies should promote adaptive learners
 
Learning with me Mate: Analytics of Social Networks in Higher Education
Learning with me Mate: Analytics of Social Networks in Higher EducationLearning with me Mate: Analytics of Social Networks in Higher Education
Learning with me Mate: Analytics of Social Networks in Higher Education
 
Technologies to support self-directed learning through social interaction
Technologies to support self-directed learning through social interactionTechnologies to support self-directed learning through social interaction
Technologies to support self-directed learning through social interaction
 
Learning analytics: An opportunity for higher education?
Learning analytics: An opportunity for higher education?Learning analytics: An opportunity for higher education?
Learning analytics: An opportunity for higher education?
 
Learning analytics are more than a technology
Learning analytics are more than a technologyLearning analytics are more than a technology
Learning analytics are more than a technology
 
Personal Learning Graph (PLeG)
Personal Learning Graph (PLeG)Personal Learning Graph (PLeG)
Personal Learning Graph (PLeG)
 
Learning analytics are more than measurement
Learning analytics are more than measurementLearning analytics are more than measurement
Learning analytics are more than measurement
 
Learning analytics and MOOCs: What have we learned so far and where to go?
Learning analytics and MOOCs: What have we learned so far and where to go?Learning analytics and MOOCs: What have we learned so far and where to go?
Learning analytics and MOOCs: What have we learned so far and where to go?
 
Social network analysis and understanding of massive open online courses
Social network analysis and understanding of massive open online coursesSocial network analysis and understanding of massive open online courses
Social network analysis and understanding of massive open online courses
 
Social network analysis and social presence
Social network analysis and social presenceSocial network analysis and social presence
Social network analysis and social presence
 
Social network analysis and learning design
Social network analysis and learning designSocial network analysis and learning design
Social network analysis and learning design
 
Social network analysis and creative potential
Social network analysis and creative potentialSocial network analysis and creative potential
Social network analysis and creative potential
 
Social network analysis and academic performance
Social network analysis and academic performanceSocial network analysis and academic performance
Social network analysis and academic performance
 
Sensemaking of social network analysis for the study of learning
Sensemaking of social network analysis for the study of learningSensemaking of social network analysis for the study of learning
Sensemaking of social network analysis for the study of learning
 
Network modularity and community identification
Network modularity and community identificationNetwork modularity and community identification
Network modularity and community identification
 

Recently uploaded

Generating privacy-protected synthetic data using Secludy and Milvus
Generating privacy-protected synthetic data using Secludy and MilvusGenerating privacy-protected synthetic data using Secludy and Milvus
Generating privacy-protected synthetic data using Secludy and Milvus
Zilliz
 
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
 
Main news related to the CCS TSI 2023 (2023/1695)
Main news related to the CCS TSI 2023 (2023/1695)Main news related to the CCS TSI 2023 (2023/1695)
Main news related to the CCS TSI 2023 (2023/1695)
Jakub Marek
 
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...
Pitangent Analytics & Technology Solutions Pvt. Ltd
 
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development ProvidersYour One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
akankshawande
 
Taking AI to the Next Level in Manufacturing.pdf
Taking AI to the Next Level in Manufacturing.pdfTaking AI to the Next Level in Manufacturing.pdf
Taking AI to the Next Level in Manufacturing.pdf
ssuserfac0301
 
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
saastr
 
"Choosing proper type of scaling", Olena Syrota
"Choosing proper type of scaling", Olena Syrota"Choosing proper type of scaling", Olena Syrota
"Choosing proper type of scaling", Olena Syrota
Fwdays
 
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
Alex Pruden
 
Essentials of Automations: Exploring Attributes & Automation Parameters
Essentials of Automations: Exploring Attributes & Automation ParametersEssentials of Automations: Exploring Attributes & Automation Parameters
Essentials of Automations: Exploring Attributes & Automation Parameters
Safe Software
 
Fueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte WebinarFueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte Webinar
Zilliz
 
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
saastr
 
June Patch Tuesday
June Patch TuesdayJune Patch Tuesday
June Patch Tuesday
Ivanti
 
Apps Break Data
Apps Break DataApps Break Data
Apps Break Data
Ivo Velitchkov
 
"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
 
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
 
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAUHCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
panagenda
 
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
 
5th LF Energy Power Grid Model Meet-up Slides
5th LF Energy Power Grid Model Meet-up Slides5th LF Energy Power Grid Model Meet-up Slides
5th LF Energy Power Grid Model Meet-up Slides
DanBrown980551
 

Recently uploaded (20)

Generating privacy-protected synthetic data using Secludy and Milvus
Generating privacy-protected synthetic data using Secludy and MilvusGenerating privacy-protected synthetic data using Secludy and Milvus
Generating privacy-protected synthetic data using Secludy and Milvus
 
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
 
Main news related to the CCS TSI 2023 (2023/1695)
Main news related to the CCS TSI 2023 (2023/1695)Main news related to the CCS TSI 2023 (2023/1695)
Main news related to the CCS TSI 2023 (2023/1695)
 
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...
Crafting Excellence: A Comprehensive Guide to iOS Mobile App Development Serv...
 
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development ProvidersYour One-Stop Shop for Python Success: Top 10 US Python Development Providers
Your One-Stop Shop for Python Success: Top 10 US Python Development Providers
 
Taking AI to the Next Level in Manufacturing.pdf
Taking AI to the Next Level in Manufacturing.pdfTaking AI to the Next Level in Manufacturing.pdf
Taking AI to the Next Level in Manufacturing.pdf
 
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
Overcoming the PLG Trap: Lessons from Canva's Head of Sales & Head of EMEA Da...
 
"Choosing proper type of scaling", Olena Syrota
"Choosing proper type of scaling", Olena Syrota"Choosing proper type of scaling", Olena Syrota
"Choosing proper type of scaling", Olena Syrota
 
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
 
Essentials of Automations: Exploring Attributes & Automation Parameters
Essentials of Automations: Exploring Attributes & Automation ParametersEssentials of Automations: Exploring Attributes & Automation Parameters
Essentials of Automations: Exploring Attributes & Automation Parameters
 
Fueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte WebinarFueling AI with Great Data with Airbyte Webinar
Fueling AI with Great Data with Airbyte Webinar
 
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
9 CEO's who hit $100m ARR Share Their Top Growth Tactics Nathan Latka, Founde...
 
June Patch Tuesday
June Patch TuesdayJune Patch Tuesday
June Patch Tuesday
 
Apps Break Data
Apps Break DataApps Break Data
Apps Break Data
 
"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
 
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
 
Artificial Intelligence and Electronic Warfare
Artificial Intelligence and Electronic WarfareArtificial Intelligence and Electronic Warfare
Artificial Intelligence and Electronic Warfare
 
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAUHCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
 
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
 
5th LF Energy Power Grid Model Meet-up Slides
5th LF Energy Power Grid Model Meet-up Slides5th LF Energy Power Grid Model Meet-up Slides
5th LF Energy Power Grid Model Meet-up Slides
 

Modeling Service Choreographies with Rule-enhanced Business Processes

  • 1. Modeling Service Choreographies with Rule-enhanced Business Processes Milan Milanović1 and Dragan Gašević2 1 University of Belgrade, Serbia 2 Athabasca University, AB, Canada
  • 2. Problem Domain  Process modeling and service composition  Orchestrations – CASCON 2009  Business processes from one participant’s side  Choreographies  Business processes from a global perspective
  • 3.  Available languages (e.g., BPMN)  Challenges  How to support business vocabularies/rules?  How to manage redundant elements? MODELS 2009 Choreography Modeling
  • 4.  Extension of the BPMN2 language  Software language engineering  Adding support for vocabularies and rules  Building on the previous related work  iBPMN [Decker & Puhlmann, 2007] MODELS 2009 Approach Greetings for the EDOC friends from the International Conference on Software Language Engineering http://planet-sl.org
  • 5.  Rule-enhanced BPMN - rBPMN  Interconnection and interaction models  Evaluation mechanism – expressiveness  Service Interaction Patterns MODELS 2009 Result
  • 6. Processes & Rules – Option 1  Complete processes modeled by rules  With reaction and production rules  Some issues  What’s the identity of a business process?  Which languages to use?  Are the languages at the same level?
  • 7. Processes & Rules – Option 2  Hybrid approaches  BP stays, but rules are added for  control flow decisions, data constraints, and process composition [Graml et al., 2007]
  • 9. Rules and Business Processes  Challenges  to have rules as first class concepts in BPs  to support vocabularies/ontologies  to define message and event typing  to formalize defining conditions  to enable declarative (parts of) processes MODELS 2009
  • 10. Representational Analysis  Based on the BWW model PΔR - Symmetric Difference; P R – Intersection; P/R & R/P -Relative Complement∩ Vid Prezel
  • 11. Representational Analysis  Based on the BWW model Vid Prezel
  • 12. Rule Modeling  REWERSE I1 Rule Markup Language (R2ML)  with a UML-based graphical concrete syntax MODELS 2009
  • 13.  REWERSE I1 Rule Markup Language MODELS 2009 Extension for Rule Models rBPMN metamodel weaving
  • 18.  Multiplicity of participants – |||  References – to distinguish participants  Correlation information – who sent a message MODELS 2009 Interaction Models
  • 19. MODELS 2009 Service Interaction Patterns  Contingent requests pattern
  • 20. MODELS 2009 Service Interaction Patterns  Contingent requests pattern
  • 30. Expressiveness comparison  Service Interaction Patterns Language Pattern group Pattern Let’s Dance BPMN WS- CDL iBPMN rBPMN Send + + + + + Receive + + + + +1) Send/Receive + + + + + Racing incoming messages + + + + + One-to-many send + - +/- + + One-from-many receive + - + + + 2) One-to-many send/receive + - +/- + + Multi-responses + + + + + Contingent requests +/- - +/- +/- +3) Atomic multicast notification - - - - - Request with referral + - + + + Relayed request + - + + +4) Dynamic routing - - +/- - +/-
  • 31. rBPMN Editor  Implementation of BPMN2 + R2ML  Eclipse plug-in based on GMF and EMF  Binaries available for download  Going out as open source shortly  Looking fwd to your feedback  http://rbpmneditor.googlecode.com/  http://www.youtube.com/user/rbpmn
  • 33. rBPMN Heroes  Language design and implementation Milan Milanovic Luis Rocha
  • 34. MODELS 2009 Conclusion REWERSE I1 Rule Markup Language MODELS 2009 Extension for Rule Models rBPMN metamodel weaving
  • 35. MODELS 2009 Conclusion REWERSE I1 Rule Markup Language MODELS 2009 Extension for Rule Models rBPMN metamodel weaving MODELS 2009 Service Interaction Patterns  Contingent requests pattern
  • 36. MODELS 2009 Conclusion REWERSE I1 Rule Markup Language MODELS 2009 Extension for Rule Models rBPMN metamodel weaving MODELS 2009 Service Interaction Patterns  Contingent requests pattern MODELS 2009 Service Interaction Patterns  Contingent requests pattern
  • 37. MODELS 2009 Conclusion REWERSE I1 Rule Markup Language MODELS 2009 Extension for Rule Models rBPMN metamodel weaving MODELS 2009 Service Interaction Patterns  Contingent requests pattern MODELS 2009 Service Interaction Patterns  Contingent requests pattern Expressiveness comparison  Service Interaction Patterns
  • 38. MODELS 2009 Conclusion REWERSE I1 Rule Markup Language MODELS 2009 Extension for Rule Models rBPMN metamodel weaving MODELS 2009 Service Interaction Patterns  Contingent requests pattern MODELS 2009 Service Interaction Patterns  Contingent requests pattern Expressiveness comparison  Service Interaction Patterns rBPMN Editor
  • 39.  Usability  Semi-structured English vs. visual  Interaction vs. interconnection model  Quality and empirical issues of rBPMN MODELS 2009 Future Work
  • 40.  Usability  Semi-structured English vs. visual  Interaction vs. interconnection model  Quality and empirical issues of rBPMN MODELS 2009 Future Work Community call: We need a corpus!
  • 41.  Language formalization affairs  Static and operational semantics  e.g., OWL2 and mCRL2  Coupled co-evolution of rules & processes MODELS 2009 Future Work

Editor's Notes

  1. <number> BPMN -> OMG specification.
  2. <number> In the contingent requests pattern, a participant sends a request to another participant. If this second participant does not respond within a given period of time, the request is sent to another (third) participant. Again, if no response comes back, a fourth participant is contacted, and so on. For the decision about delayed responses, we propose using rule gateways with attached reaction rules. If a late (time-outdated) response from some earlier participant came during the processing of the contingent request (by a Pool 2 participant in Fig. 2), a reaction rules attached to the rule gateway R1 decides if such a response should be accepted or not.
  3. <number> In the contingent requests pattern, a participant sends a request to another participant. If this second participant does not respond within a given period of time, the request is sent to another (third) participant. Again, if no response comes back, a fourth participant is contacted, and so on. For the decision about delayed responses, we propose using rule gateways with attached reaction rules. If a late (time-outdated) response from some earlier participant came during the processing of the contingent request (by a Pool 2 participant in Fig. 2), a reaction rules attached to the rule gateway R1 decides if such a response should be accepted or not.
  4. <number> In the contingent requests pattern, a participant sends a request to another participant. If this second participant does not respond within a given period of time, the request is sent to another (third) participant. Again, if no response comes back, a fourth participant is contacted, and so on. For the decision about delayed responses, we propose using rule gateways with attached reaction rules. If a late (time-outdated) response from some earlier participant came during the processing of the contingent request (by a Pool 2 participant in Fig. 2), a reaction rules attached to the rule gateway R1 decides if such a response should be accepted or not.
  5. <number> In the contingent requests pattern, a participant sends a request to another participant. If this second participant does not respond within a given period of time, the request is sent to another (third) participant. Again, if no response comes back, a fourth participant is contacted, and so on. For the decision about delayed responses, we propose using rule gateways with attached reaction rules. If a late (time-outdated) response from some earlier participant came during the processing of the contingent request (by a Pool 2 participant in Fig. 2), a reaction rules attached to the rule gateway R1 decides if such a response should be accepted or not.