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
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Victor Rentea
Architecting Cloud Native Applications
Architecting Cloud Native Applications
WSO2
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
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Victor Rentea
Architecting Cloud Native Applications
Architecting Cloud Native Applications
WSO2
Six Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal Ontology
johnbeverley2021
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Edi Saputra
Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...
apidays
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
apidays
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
Rustici Software
Mcleodganj Call Girls 🥰 8617370543 Service Offer VIP Hot Model
Mcleodganj Call Girls 🥰 8617370543 Service Offer VIP Hot Model
Deepika Singh
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
apidays
CNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In Pakistan
danishmna97
Vector Search -An Introduction in Oracle Database 23ai.pptx
Vector Search -An Introduction in Oracle Database 23ai.pptx
Remote DBA Services
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
ThousandEyes
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
?#DUbAI#??##{{(☎️+971_581248768%)**%*]'#abortion pills for sale in dubai@
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
sammart93
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
sudhanshuwaghmare1
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
apidays
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
DianaGray10
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
MIND CTI
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectors
Nanddeep Nachan
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
Product Anonymous
Recently uploaded
(20)
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Architecting Cloud Native Applications
Architecting Cloud Native Applications
Six Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal Ontology
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
Mcleodganj Call Girls 🥰 8617370543 Service Offer VIP Hot Model
Mcleodganj Call Girls 🥰 8617370543 Service Offer VIP Hot Model
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
CNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In Pakistan
Vector Search -An Introduction in Oracle Database 23ai.pptx
Vector Search -An Introduction in Oracle Database 23ai.pptx
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectors
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
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.