SlideShare une entreprise Scribd logo

Towards Service-based Business Process Modeling, Prototyping and Integration

•Télécharger en tant que PPT, PDF•
•
Ang Chen
Ang Chen

Rapid Integration of Software Engineering techniques workshop. 8-9 September, 2005. Heraklion Crete, GREECE

FormationTechnologie
1  sur  26
Towards Service-based Business Process Modeling, Prototyping and Integration Ang Chen, Didier Buchs System Modeling and Verification Laboratory University of Geneva RISE 2005
Outline ,[object Object],[object Object],[object Object],[object Object],[object Object]
Business Process Management
Business Process Management What is business process management? What is business process? What is the problem?
Example: RISE Workshop Activity, Case, Participant, Process, Resource, Data Call for papers Submission Review Selection Accepted? Accepted papers Rejected papers Registration Presentation yes no
Example: RISE Workshop cont. What to do if we want ,[object Object],[object Object],[object Object],Is the process reusable? Entirely or partially? Is the process executable?
BPM ,[object Object],[object Object],[object Object]
BPM: solutions ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
BPM: Our solution Why do we propose to use a formal specification language? More precise semantic, no ambiguity Automatic verification and test generation Execution via prototype generation Enhanced reusability, modularity (Object-Orientation)
COOPN approach
COOPN ,[object Object],Petri Nets Algebraic - all types are defined Object-Oriented - encapsulation Concurrent - synchronizations counter 0 x x+1 x==9? inc out counter 0 x x+1 x==9? inc out counter 0 x x+1 x==9? inc out // 0 0 0
COOPN cont. ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Basic Workflow Constructs ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Required service Output event Gate P A Provided service Input event Method B request response
Basic Workflow Constructs cont. AND-SPLIT MERGE + XOR SPLIT Minimum 2 reviews Submission Review Selection submission <,> <ID, submitted> Reviewer 1 <,> Reviewer 2 <,> Reviewer 3 <,> <ID, rank> selection <,> <,> <,> <ID, rejected> <ID, accepted> Send message to authors
Workflow Patterns
Workflow Patterns ,[object Object],[object Object],[object Object],[object Object],[object Object]
Transactional Patterns ,[object Object],[object Object],[object Object]
Transactional Patterns cont. take free // // // // // // // // P2 eat P2 think P1 eat P1 think F1 * P2 * eat think P1 * eat think F2 * take free
Prototyping & Integration
Prototyping ,[object Object],[object Object],[object Object],[object Object],[object Object]
Integration Service-Oriented Environment Enactment system DBMS ERP systems MIS systems Process controller Remote system Generated Pluggable process controller services services Process controller Process controller Process controller
Integration cont. ,[object Object],[object Object],[object Object]
Conclusions & Future Work
Conclusions ,[object Object],[object Object],[object Object],[object Object],[object Object]
Future works ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Thanks for your attention ,[object Object]

Recommandé

Optimization Software and Systems for Operations Research: Best Practices and...
Optimization Software and Systems for Operations Research: Best Practices and...Optimization Software and Systems for Operations Research: Best Practices and...
Optimization Software and Systems for Operations Research: Best Practices and...Bob Fourer
 
The Evolution of Computationally Practical Linear Programming
The Evolution of Computationally Practical Linear ProgrammingThe Evolution of Computationally Practical Linear Programming
The Evolution of Computationally Practical Linear ProgrammingBob Fourer
 
How Happy Workers Make Happy Customers
How Happy Workers Make Happy Customers How Happy Workers Make Happy Customers
How Happy Workers Make Happy Customers Appirio
 
Salesforce Spring '13 Highlights
Salesforce Spring '13 HighlightsSalesforce Spring '13 Highlights
Salesforce Spring '13 HighlightsAppirio
 
Marketing and Sales: A Lesson in Marriage Counseling
Marketing and Sales: A Lesson in Marriage Counseling Marketing and Sales: A Lesson in Marriage Counseling
Marketing and Sales: A Lesson in Marriage Counseling Appirio
 
BDMA Customer Journey Seminar - The Power of Emotions by 4C Consulting
BDMA Customer Journey Seminar - The Power of Emotions by 4C ConsultingBDMA Customer Journey Seminar - The Power of Emotions by 4C Consulting
BDMA Customer Journey Seminar - The Power of Emotions by 4C Consulting4C
 
Building a CX Technology Strategy
Building a CX Technology Strategy Building a CX Technology Strategy
Building a CX Technology Strategy Appirio
 
end-to-end service management with ServiceNow (English)
end-to-end service management with ServiceNow (English)end-to-end service management with ServiceNow (English)
end-to-end service management with ServiceNow (English)Orange Business Services
 

Recommandé

Optimization Software and Systems for Operations Research: Best Practices and...
Optimization Software and Systems for Operations Research: Best Practices and...Optimization Software and Systems for Operations Research: Best Practices and...
Optimization Software and Systems for Operations Research: Best Practices and...Bob Fourer
 
The Evolution of Computationally Practical Linear Programming
The Evolution of Computationally Practical Linear ProgrammingThe Evolution of Computationally Practical Linear Programming
The Evolution of Computationally Practical Linear ProgrammingBob Fourer
 
How Happy Workers Make Happy Customers
How Happy Workers Make Happy Customers How Happy Workers Make Happy Customers
How Happy Workers Make Happy Customers Appirio
 
Salesforce Spring '13 Highlights
Salesforce Spring '13 HighlightsSalesforce Spring '13 Highlights
Salesforce Spring '13 HighlightsAppirio
 
Marketing and Sales: A Lesson in Marriage Counseling
Marketing and Sales: A Lesson in Marriage Counseling Marketing and Sales: A Lesson in Marriage Counseling
Marketing and Sales: A Lesson in Marriage Counseling Appirio
 
BDMA Customer Journey Seminar - The Power of Emotions by 4C Consulting
BDMA Customer Journey Seminar - The Power of Emotions by 4C ConsultingBDMA Customer Journey Seminar - The Power of Emotions by 4C Consulting
BDMA Customer Journey Seminar - The Power of Emotions by 4C Consulting4C
 
Building a CX Technology Strategy
Building a CX Technology Strategy Building a CX Technology Strategy
Building a CX Technology Strategy Appirio
 
end-to-end service management with ServiceNow (English)
end-to-end service management with ServiceNow (English)end-to-end service management with ServiceNow (English)
end-to-end service management with ServiceNow (English)Orange Business Services
 
Carasik BPM ECM
Carasik BPM ECMCarasik BPM ECM
Carasik BPM ECMBob Carasik
 
BPSim The Interchange Format
BPSim The Interchange FormatBPSim The Interchange Format
BPSim The Interchange FormatDenis Gagné
 
Process State vs. Object State: Modeling Best Practices for Simple Workflows ...
Process State vs. Object State: Modeling Best Practices for Simple Workflows ...Process State vs. Object State: Modeling Best Practices for Simple Workflows ...
Process State vs. Object State: Modeling Best Practices for Simple Workflows ...Thorsten Franz
 
JBossOneDayTalk 2011: Using jBPM to bring more power to your business processes
JBossOneDayTalk 2011: Using jBPM to bring more power to your business processesJBossOneDayTalk 2011: Using jBPM to bring more power to your business processes
JBossOneDayTalk 2011: Using jBPM to bring more power to your business processesKris Verlaenen
 
jBPM5 - Bringing more power to your business processes
jBPM5 - Bringing more power to your business processesjBPM5 - Bringing more power to your business processes
jBPM5 - Bringing more power to your business processesKris Verlaenen
 
Delivering BAM & BPM With Run-Time Integration
Delivering BAM & BPM With Run-Time IntegrationDelivering BAM & BPM With Run-Time Integration
Delivering BAM & BPM With Run-Time IntegrationNathaniel Palmer
 
jBPM5 (Argentina workshop)
jBPM5 (Argentina workshop)jBPM5 (Argentina workshop)
jBPM5 (Argentina workshop)Kris Verlaenen
 
Les week 7 BPM
Les week 7 BPMLes week 7 BPM
Les week 7 BPMIfk Bigfood
 
Next generation business automation with the red hat decision manager and red...
Next generation business automation with the red hat decision manager and red...Next generation business automation with the red hat decision manager and red...
Next generation business automation with the red hat decision manager and red...Masahiko Umeno
 
Business Process Design
Business Process DesignBusiness Process Design
Business Process DesignSandy Kemsley
 
Analyzing Business Requirements in a Visible Enterprise
Analyzing Business Requirements in a Visible EnterpriseAnalyzing Business Requirements in a Visible Enterprise
Analyzing Business Requirements in a Visible EnterpriseDafna Levy
 
Process-Oriented Business Requirements
Process-Oriented Business RequirementsProcess-Oriented Business Requirements
Process-Oriented Business RequirementsDafna Levy
 
Automated Process Improvement: Status, Challenges, and Perspectives
Automated Process Improvement: Status, Challenges, and PerspectivesAutomated Process Improvement: Status, Challenges, and Perspectives
Automated Process Improvement: Status, Challenges, and PerspectivesMarlon Dumas
 
EMEA Partner Summit: jBPM 5 - Bringing More Power to BPM
EMEA Partner Summit: jBPM 5 - Bringing More Power to BPMEMEA Partner Summit: jBPM 5 - Bringing More Power to BPM
EMEA Partner Summit: jBPM 5 - Bringing More Power to BPMEric D. Schabell
 
FDMEE Scripting - Cloud and On-Premises - It Ain't Groovy, But It's My Bread ...
FDMEE Scripting - Cloud and On-Premises - It Ain't Groovy, But It's My Bread ...FDMEE Scripting - Cloud and On-Premises - It Ain't Groovy, But It's My Bread ...
FDMEE Scripting - Cloud and On-Premises - It Ain't Groovy, But It's My Bread ...Joseph Alaimo Jr
 
Improving Business Performance: Demystifying Simulation and Optimization
Improving Business Performance: Demystifying Simulation and OptimizationImproving Business Performance: Demystifying Simulation and Optimization
Improving Business Performance: Demystifying Simulation and OptimizationNathaniel Palmer
 
TowardsCognitive BPMas a Platform for Smart Process Support over Unstructured...
TowardsCognitive BPMas a Platform for Smart Process Support over Unstructured...TowardsCognitive BPMas a Platform for Smart Process Support over Unstructured...
TowardsCognitive BPMas a Platform for Smart Process Support over Unstructured...International Society of Service Innovation Professionals
 
Linking Data and BPMN Processes to Achieve Executable Models
Linking Data and BPMN Processes to Achieve Executable ModelsLinking Data and BPMN Processes to Achieve Executable Models
Linking Data and BPMN Processes to Achieve Executable ModelsXavier Oriol
 
20080215 jbpm Business Process Simulation with Jboss jBPM
20080215 jbpm Business Process Simulation with Jboss jBPM20080215 jbpm Business Process Simulation with Jboss jBPM
20080215 jbpm Business Process Simulation with Jboss jBPMcamunda services GmbH
 
About work flow
About work flowAbout work flow
About work flowNarender Singh
 
Defence: A multi-dimensional compositional approach for business process (sem...
Defence: A multi-dimensional compositional approach for business process (sem...Defence: A multi-dimensional compositional approach for business process (sem...
Defence: A multi-dimensional compositional approach for business process (sem...Ang Chen
 
A Multi-Dimensional Compositional Approach for Business Process Engineering
A Multi-Dimensional Compositional Approach for Business Process EngineeringA Multi-Dimensional Compositional Approach for Business Process Engineering
A Multi-Dimensional Compositional Approach for Business Process EngineeringAng Chen
 

Contenu connexe

Similaire à Towards Service-based Business Process Modeling, Prototyping and Integration

BPSim The Interchange Format
BPSim The Interchange FormatBPSim The Interchange Format
BPSim The Interchange FormatDenis Gagné
 
Process State vs. Object State: Modeling Best Practices for Simple Workflows ...
Process State vs. Object State: Modeling Best Practices for Simple Workflows ...Process State vs. Object State: Modeling Best Practices for Simple Workflows ...
Process State vs. Object State: Modeling Best Practices for Simple Workflows ...Thorsten Franz
 
JBossOneDayTalk 2011: Using jBPM to bring more power to your business processes
JBossOneDayTalk 2011: Using jBPM to bring more power to your business processesJBossOneDayTalk 2011: Using jBPM to bring more power to your business processes
JBossOneDayTalk 2011: Using jBPM to bring more power to your business processesKris Verlaenen
 
jBPM5 - Bringing more power to your business processes
jBPM5 - Bringing more power to your business processesjBPM5 - Bringing more power to your business processes
jBPM5 - Bringing more power to your business processesKris Verlaenen
 
Delivering BAM & BPM With Run-Time Integration
Delivering BAM & BPM With Run-Time IntegrationDelivering BAM & BPM With Run-Time Integration
Delivering BAM & BPM With Run-Time IntegrationNathaniel Palmer
 
jBPM5 (Argentina workshop)
jBPM5 (Argentina workshop)jBPM5 (Argentina workshop)
jBPM5 (Argentina workshop)Kris Verlaenen
 
Next generation business automation with the red hat decision manager and red...
Next generation business automation with the red hat decision manager and red...Next generation business automation with the red hat decision manager and red...
Next generation business automation with the red hat decision manager and red...Masahiko Umeno
 
Business Process Design
Business Process DesignBusiness Process Design
Business Process DesignSandy Kemsley
 
Analyzing Business Requirements in a Visible Enterprise
Analyzing Business Requirements in a Visible EnterpriseAnalyzing Business Requirements in a Visible Enterprise
Analyzing Business Requirements in a Visible EnterpriseDafna Levy
 
Process-Oriented Business Requirements
Process-Oriented Business RequirementsProcess-Oriented Business Requirements
Process-Oriented Business RequirementsDafna Levy
 
Automated Process Improvement: Status, Challenges, and Perspectives
Automated Process Improvement: Status, Challenges, and PerspectivesAutomated Process Improvement: Status, Challenges, and Perspectives
Automated Process Improvement: Status, Challenges, and PerspectivesMarlon Dumas
 
EMEA Partner Summit: jBPM 5 - Bringing More Power to BPM
EMEA Partner Summit: jBPM 5 - Bringing More Power to BPMEMEA Partner Summit: jBPM 5 - Bringing More Power to BPM
EMEA Partner Summit: jBPM 5 - Bringing More Power to BPMEric D. Schabell
 
FDMEE Scripting - Cloud and On-Premises - It Ain't Groovy, But It's My Bread ...
FDMEE Scripting - Cloud and On-Premises - It Ain't Groovy, But It's My Bread ...FDMEE Scripting - Cloud and On-Premises - It Ain't Groovy, But It's My Bread ...
FDMEE Scripting - Cloud and On-Premises - It Ain't Groovy, But It's My Bread ...Joseph Alaimo Jr
 
Improving Business Performance: Demystifying Simulation and Optimization
Improving Business Performance: Demystifying Simulation and OptimizationImproving Business Performance: Demystifying Simulation and Optimization
Improving Business Performance: Demystifying Simulation and OptimizationNathaniel Palmer
 
Linking Data and BPMN Processes to Achieve Executable Models
Linking Data and BPMN Processes to Achieve Executable ModelsLinking Data and BPMN Processes to Achieve Executable Models
Linking Data and BPMN Processes to Achieve Executable ModelsXavier Oriol
 
20080215 jbpm Business Process Simulation with Jboss jBPM
20080215 jbpm Business Process Simulation with Jboss jBPM20080215 jbpm Business Process Simulation with Jboss jBPM
20080215 jbpm Business Process Simulation with Jboss jBPMcamunda services GmbH
 

Similaire à Towards Service-based Business Process Modeling, Prototyping and Integration (20)

Carasik BPM ECM
Carasik BPM ECMCarasik BPM ECM
Carasik BPM ECM
 
BPSim The Interchange Format
BPSim The Interchange FormatBPSim The Interchange Format
BPSim The Interchange Format
 
Process State vs. Object State: Modeling Best Practices for Simple Workflows ...
Process State vs. Object State: Modeling Best Practices for Simple Workflows ...Process State vs. Object State: Modeling Best Practices for Simple Workflows ...
Process State vs. Object State: Modeling Best Practices for Simple Workflows ...
 
JBossOneDayTalk 2011: Using jBPM to bring more power to your business processes
JBossOneDayTalk 2011: Using jBPM to bring more power to your business processesJBossOneDayTalk 2011: Using jBPM to bring more power to your business processes
JBossOneDayTalk 2011: Using jBPM to bring more power to your business processes
 
jBPM5 - Bringing more power to your business processes
jBPM5 - Bringing more power to your business processesjBPM5 - Bringing more power to your business processes
jBPM5 - Bringing more power to your business processes
 
Delivering BAM & BPM With Run-Time Integration
Delivering BAM & BPM With Run-Time IntegrationDelivering BAM & BPM With Run-Time Integration
Delivering BAM & BPM With Run-Time Integration
 
jBPM5 (Argentina workshop)
jBPM5 (Argentina workshop)jBPM5 (Argentina workshop)
jBPM5 (Argentina workshop)
 
Les week 7 BPM
Les week 7 BPMLes week 7 BPM
Les week 7 BPM
 
Next generation business automation with the red hat decision manager and red...
Next generation business automation with the red hat decision manager and red...Next generation business automation with the red hat decision manager and red...
Next generation business automation with the red hat decision manager and red...
 
Business Process Design
Business Process DesignBusiness Process Design
Business Process Design
 
Analyzing Business Requirements in a Visible Enterprise
Analyzing Business Requirements in a Visible EnterpriseAnalyzing Business Requirements in a Visible Enterprise
Analyzing Business Requirements in a Visible Enterprise
 
Process-Oriented Business Requirements
Process-Oriented Business RequirementsProcess-Oriented Business Requirements
Process-Oriented Business Requirements
 
Automated Process Improvement: Status, Challenges, and Perspectives
Automated Process Improvement: Status, Challenges, and PerspectivesAutomated Process Improvement: Status, Challenges, and Perspectives
Automated Process Improvement: Status, Challenges, and Perspectives
 
EMEA Partner Summit: jBPM 5 - Bringing More Power to BPM
EMEA Partner Summit: jBPM 5 - Bringing More Power to BPMEMEA Partner Summit: jBPM 5 - Bringing More Power to BPM
EMEA Partner Summit: jBPM 5 - Bringing More Power to BPM
 
FDMEE Scripting - Cloud and On-Premises - It Ain't Groovy, But It's My Bread ...
FDMEE Scripting - Cloud and On-Premises - It Ain't Groovy, But It's My Bread ...FDMEE Scripting - Cloud and On-Premises - It Ain't Groovy, But It's My Bread ...
FDMEE Scripting - Cloud and On-Premises - It Ain't Groovy, But It's My Bread ...
 
Improving Business Performance: Demystifying Simulation and Optimization
Improving Business Performance: Demystifying Simulation and OptimizationImproving Business Performance: Demystifying Simulation and Optimization
Improving Business Performance: Demystifying Simulation and Optimization
 
TowardsCognitive BPMas a Platform for Smart Process Support over Unstructured...
TowardsCognitive BPMas a Platform for Smart Process Support over Unstructured...TowardsCognitive BPMas a Platform for Smart Process Support over Unstructured...
TowardsCognitive BPMas a Platform for Smart Process Support over Unstructured...
 
Linking Data and BPMN Processes to Achieve Executable Models
Linking Data and BPMN Processes to Achieve Executable ModelsLinking Data and BPMN Processes to Achieve Executable Models
Linking Data and BPMN Processes to Achieve Executable Models
 
20080215 jbpm Business Process Simulation with Jboss jBPM
20080215 jbpm Business Process Simulation with Jboss jBPM20080215 jbpm Business Process Simulation with Jboss jBPM
20080215 jbpm Business Process Simulation with Jboss jBPM
 
About work flow
About work flowAbout work flow
About work flow
 

Plus de Ang Chen

Defence: A multi-dimensional compositional approach for business process (sem...
Defence: A multi-dimensional compositional approach for business process (sem...Defence: A multi-dimensional compositional approach for business process (sem...
Defence: A multi-dimensional compositional approach for business process (sem...Ang Chen
 
A Multi-Dimensional Compositional Approach for Business Process Engineering
A Multi-Dimensional Compositional Approach for Business Process EngineeringA Multi-Dimensional Compositional Approach for Business Process Engineering
A Multi-Dimensional Compositional Approach for Business Process EngineeringAng Chen
 
A Proposition for Business Process Modeling
A Proposition for Business Process ModelingA Proposition for Business Process Modeling
A Proposition for Business Process ModelingAng Chen
 
Synchronized Composition Of Labeled Transition SystemTS
Synchronized Composition Of Labeled Transition SystemTSSynchronized Composition Of Labeled Transition SystemTS
Synchronized Composition Of Labeled Transition SystemTSAng Chen
 
Jsp & Ajax
Jsp & AjaxJsp & Ajax
Jsp & AjaxAng Chen
 
Semantics (requirements) of Business Process
Semantics (requirements) of Business ProcessSemantics (requirements) of Business Process
Semantics (requirements) of Business ProcessAng Chen
 
Business Process Modeling
Business Process ModelingBusiness Process Modeling
Business Process ModelingAng Chen
 
Java Code Generation from Formal Models: The CO-OPN Framework
Java Code Generation from Formal Models: The CO-OPN FrameworkJava Code Generation from Formal Models: The CO-OPN Framework
Java Code Generation from Formal Models: The CO-OPN FrameworkAng Chen
 
Composing Business Process with ID-Net
Composing Business Process with ID-NetComposing Business Process with ID-Net
Composing Business Process with ID-NetAng Chen
 
Prototyping Business Processes
Prototyping Business ProcessesPrototyping Business Processes
Prototyping Business ProcessesAng Chen
 

Plus de Ang Chen (10)

Defence: A multi-dimensional compositional approach for business process (sem...
Defence: A multi-dimensional compositional approach for business process (sem...Defence: A multi-dimensional compositional approach for business process (sem...
Defence: A multi-dimensional compositional approach for business process (sem...
 
A Multi-Dimensional Compositional Approach for Business Process Engineering
A Multi-Dimensional Compositional Approach for Business Process EngineeringA Multi-Dimensional Compositional Approach for Business Process Engineering
A Multi-Dimensional Compositional Approach for Business Process Engineering
 
A Proposition for Business Process Modeling
A Proposition for Business Process ModelingA Proposition for Business Process Modeling
A Proposition for Business Process Modeling
 
Synchronized Composition Of Labeled Transition SystemTS
Synchronized Composition Of Labeled Transition SystemTSSynchronized Composition Of Labeled Transition SystemTS
Synchronized Composition Of Labeled Transition SystemTS
 
Jsp & Ajax
Jsp & AjaxJsp & Ajax
Jsp & Ajax
 
Semantics (requirements) of Business Process
Semantics (requirements) of Business ProcessSemantics (requirements) of Business Process
Semantics (requirements) of Business Process
 
Business Process Modeling
Business Process ModelingBusiness Process Modeling
Business Process Modeling
 
Java Code Generation from Formal Models: The CO-OPN Framework
Java Code Generation from Formal Models: The CO-OPN FrameworkJava Code Generation from Formal Models: The CO-OPN Framework
Java Code Generation from Formal Models: The CO-OPN Framework
 
Composing Business Process with ID-Net
Composing Business Process with ID-NetComposing Business Process with ID-Net
Composing Business Process with ID-Net
 
Prototyping Business Processes
Prototyping Business ProcessesPrototyping Business Processes
Prototyping Business Processes
 

Dernier

IGNOU MSCCFT and PGDCFT Exam Question Pattern: MCFT003 Counselling and Family...
IGNOU MSCCFT and PGDCFT Exam Question Pattern: MCFT003 Counselling and Family...IGNOU MSCCFT and PGDCFT Exam Question Pattern: MCFT003 Counselling and Family...
IGNOU MSCCFT and PGDCFT Exam Question Pattern: MCFT003 Counselling and Family...PsychoTech Services
 
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactdawncurless
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfsanyamsingh5019
 
fourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writingfourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writingTeacherCyreneCayanan
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Krashi Coaching
 
Disha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdfDisha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdfchloefrazer622
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhikauryashika82
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsTechSoup
 
Student login on Anyboli platform.helpin
Student login on Anyboli platform.helpinStudent login on Anyboli platform.helpin
Student login on Anyboli platform.helpinRaunakKeshri1
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfJayanti Pande
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3JemimahLaneBuaron
 
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdfBASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdfSoniaTolstoy
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityGeoBlogs
 
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...fonyou31
 
Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDMeasures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDThiyagu K
 

Dernier (20)

IGNOU MSCCFT and PGDCFT Exam Question Pattern: MCFT003 Counselling and Family...
IGNOU MSCCFT and PGDCFT Exam Question Pattern: MCFT003 Counselling and Family...IGNOU MSCCFT and PGDCFT Exam Question Pattern: MCFT003 Counselling and Family...
IGNOU MSCCFT and PGDCFT Exam Question Pattern: MCFT003 Counselling and Family...
 
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impact
 
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdf
 
fourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writingfourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writing
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
Disha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdfDisha NEET Physics Guide for classes 11 and 12.pdf
Disha NEET Physics Guide for classes 11 and 12.pdf
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 
Student login on Anyboli platform.helpin
Student login on Anyboli platform.helpinStudent login on Anyboli platform.helpin
Student login on Anyboli platform.helpin
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdf
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3
 
Advance Mobile Application Development class 07
Advance Mobile Application Development class 07Advance Mobile Application Development class 07
Advance Mobile Application Development class 07
 
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdfBASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
 
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activity
 
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
Ecosystem Interactions Class Discussion Presentation in Blue Green Lined Styl...
 
Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDMeasures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SD
 
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptxINDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
 
Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 

Towards Service-based Business Process Modeling, Prototyping and Integration

  • 1. Towards Service-based Business Process Modeling, Prototyping and Integration Ang Chen, Didier Buchs System Modeling and Verification Laboratory University of Geneva RISE 2005
  • 2.
  • 4. Business Process Management What is business process management? What is business process? What is the problem?
  • 5. Example: RISE Workshop Activity, Case, Participant, Process, Resource, Data Call for papers Submission Review Selection Accepted? Accepted papers Rejected papers Registration Presentation yes no
  • 6.
  • 7.
  • 8.
  • 9. BPM: Our solution Why do we propose to use a formal specification language? More precise semantic, no ambiguity Automatic verification and test generation Execution via prototype generation Enhanced reusability, modularity (Object-Orientation)
  • 11.
  • 12.
  • 13.
  • 14. Basic Workflow Constructs cont. AND-SPLIT MERGE + XOR SPLIT Minimum 2 reviews Submission Review Selection submission <,> <ID, submitted> Reviewer 1 <,> Reviewer 2 <,> Reviewer 3 <,> <ID, rank> selection <,> <,> <,> <ID, rejected> <ID, accepted> Send message to authors
  • 16.
  • 17.
  • 18. Transactional Patterns cont. take free // // // // // // // // P2 eat P2 think P1 eat P1 think F1 * P2 * eat think P1 * eat think F2 * take free
  • 20.
  • 21. Integration Service-Oriented Environment Enactment system DBMS ERP systems MIS systems Process controller Remote system Generated Pluggable process controller services services Process controller Process controller Process controller
  • 22.
  • 24.
  • 25.
  • 26.