Submit Search
Upload
Autonomous Control - How can a partner behave without knowing what the others do?
•
0 likes
•
155 views
Universität Rostock
Follow
Dagstuhl Seminar "The Role of Business Processes in Service-Oriented Architectures"
Read less
Read more
Technology
Business
Report
Share
Report
Share
1 of 10
Recommended
Finite State Automata
Finite State Automata
孟賢 施
Decision properties of reular languages
Decision properties of reular languages
SOMNATHMORE2
Decision properties of reular languages
Decision properties of reular languages
SOMNATHMORE2
Managing test suites for services
Managing test suites for services
Universität Rostock
Pragmatic model checking: from theory to implementations
Pragmatic model checking: from theory to implementations
Universität Rostock
Where did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process models
Universität Rostock
Decidability Results for Choreography Realization
Decidability Results for Choreography Realization
Universität Rostock
Artifact-centric modeling using BPMN
Artifact-centric modeling using BPMN
Universität Rostock
Recommended
Finite State Automata
Finite State Automata
孟賢 施
Decision properties of reular languages
Decision properties of reular languages
SOMNATHMORE2
Decision properties of reular languages
Decision properties of reular languages
SOMNATHMORE2
Managing test suites for services
Managing test suites for services
Universität Rostock
Pragmatic model checking: from theory to implementations
Pragmatic model checking: from theory to implementations
Universität Rostock
Where did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process models
Universität Rostock
Decidability Results for Choreography Realization
Decidability Results for Choreography Realization
Universität Rostock
Artifact-centric modeling using BPMN
Artifact-centric modeling using BPMN
Universität Rostock
Compliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business Processes
Universität Rostock
Verification with LoLA
Verification with LoLA
Universität Rostock
Verification with LoLA: 7 Implementation
Verification with LoLA: 7 Implementation
Universität Rostock
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Universität Rostock
Verification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case Studies
Universität Rostock
Verification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLA
Universität Rostock
Verification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space Reduction
Universität Rostock
Verification with LoLA: 1 Basics
Verification with LoLA: 1 Basics
Universität Rostock
Verification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input Language
Universität Rostock
Saarbruecken
Saarbruecken
Universität Rostock
Ws4 dsec talk @ Kickoff RS3
Ws4 dsec talk @ Kickoff RS3
Universität Rostock
Internal Behavior Reduction for Services
Internal Behavior Reduction for Services
Universität Rostock
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Universität Rostock
Implementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDA
Universität Rostock
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Universität Rostock
Demonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and Fiona
Universität Rostock
service-technology.org — A tool family for correct business processes and ser...
service-technology.org — A tool family for correct business processes and ser...
Universität Rostock
Tools4BPEL Tutorial
Tools4BPEL Tutorial
Universität Rostock
Diagnosis of Open Workflow Nets
Diagnosis of Open Workflow Nets
Universität Rostock
Analyzing Web Service Behavior
Analyzing Web Service Behavior
Universität Rostock
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC Architecture
Pixlogix Infotech
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
shyamraj55
More Related Content
More from Universität Rostock
Compliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business Processes
Universität Rostock
Verification with LoLA
Verification with LoLA
Universität Rostock
Verification with LoLA: 7 Implementation
Verification with LoLA: 7 Implementation
Universität Rostock
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Universität Rostock
Verification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case Studies
Universität Rostock
Verification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLA
Universität Rostock
Verification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space Reduction
Universität Rostock
Verification with LoLA: 1 Basics
Verification with LoLA: 1 Basics
Universität Rostock
Verification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input Language
Universität Rostock
Saarbruecken
Saarbruecken
Universität Rostock
Ws4 dsec talk @ Kickoff RS3
Ws4 dsec talk @ Kickoff RS3
Universität Rostock
Internal Behavior Reduction for Services
Internal Behavior Reduction for Services
Universität Rostock
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Universität Rostock
Implementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDA
Universität Rostock
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Universität Rostock
Demonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and Fiona
Universität Rostock
service-technology.org — A tool family for correct business processes and ser...
service-technology.org — A tool family for correct business processes and ser...
Universität Rostock
Tools4BPEL Tutorial
Tools4BPEL Tutorial
Universität Rostock
Diagnosis of Open Workflow Nets
Diagnosis of Open Workflow Nets
Universität Rostock
Analyzing Web Service Behavior
Analyzing Web Service Behavior
Universität Rostock
More from Universität Rostock
(20)
Compliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business Processes
Verification with LoLA
Verification with LoLA
Verification with LoLA: 7 Implementation
Verification with LoLA: 7 Implementation
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case Studies
Verification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLA
Verification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space Reduction
Verification with LoLA: 1 Basics
Verification with LoLA: 1 Basics
Verification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input Language
Saarbruecken
Saarbruecken
Ws4 dsec talk @ Kickoff RS3
Ws4 dsec talk @ Kickoff RS3
Internal Behavior Reduction for Services
Internal Behavior Reduction for Services
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Implementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDA
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Demonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and Fiona
service-technology.org — A tool family for correct business processes and ser...
service-technology.org — A tool family for correct business processes and ser...
Tools4BPEL Tutorial
Tools4BPEL Tutorial
Diagnosis of Open Workflow Nets
Diagnosis of Open Workflow Nets
Analyzing Web Service Behavior
Analyzing Web Service Behavior
Recently uploaded
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC Architecture
Pixlogix Infotech
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
shyamraj55
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
Delhi Call girls
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
HostedbyConfluent
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Patryk Bandurski
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
Memoori
Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)
Allon Mureinik
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
ThousandEyes
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
Neo4j
SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024
Scott Keck-Warren
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path Mount
Puma Security, LLC
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j
Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed texts
Maria Levchenko
Azure Monitor & Application Insight to monitor Infrastructure & Application
Azure Monitor & Application Insight to monitor Infrastructure & Application
AndikSusilo4
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Safe Software
Benefits Of Flutter Compared To Other Frameworks
Benefits Of Flutter Compared To Other Frameworks
Softradix Technologies
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
BookNet Canada
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
HampshireHUG
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
BookNet Canada
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
Malak Abu Hammad
Recently uploaded
(20)
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC Architecture
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
Injustice - Developers Among Us (SciFiDevCon 2024)
Injustice - Developers Among Us (SciFiDevCon 2024)
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SIEMENS: RAPUNZEL – A Tale About Knowledge Graph
SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path Mount
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed texts
Azure Monitor & Application Insight to monitor Infrastructure & Application
Azure Monitor & Application Insight to monitor Infrastructure & Application
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Benefits Of Flutter Compared To Other Frameworks
Benefits Of Flutter Compared To Other Frameworks
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
#StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
Transcript: #StandardsGoals for 2024: What’s new for BISAC - Tech Forum 2024
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
Autonomous Control - How can a partner behave without knowing what the others do?
1.
Autonomous control: How
can a partner behave without knowing what the others do? Karsten Wolf University of Rostock
2.
Example b a
P Port 1 Port 2 R 1 R 2 R‘ 1 R‘ 2 R 1 and R 2 do not communicate directly (run time) but act in a coordinated fashion (build time) a b
3.
Our Setting P
R 1 ?
4.
5.
6.
7.
8.
9.
10.