Can I find a partner? Undecidability of partner existence for open nets

Authors:
Peter Massuthe;Alexander Serebrenik;Natalia Sidorova;Karsten Wolf
Affiliations:
Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, 10099 Berlin, Germany;Eindhoven University of Technology, Department of Mathematics and Computer Science, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Eindhoven University of Technology, Department of Mathematics and Computer Science, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Universität Rostock, Institut für Informatik, 18051 Rostock, Germany
Venue:
Information Processing Letters
Year:
2008

Citing 5
Cited 9

Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
Synchronizability of Conversations among Web Services

IEEE Transactions on Software Engineering
Introduction to Discrete Event Systems

Introduction to Discrete Event Systems
Analyzing interacting WS-BPEL processes using flexible model generation

Data & Knowledge Engineering
Operating guidelines for finite-state services

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency

Deciding Substitutability of Services with Operating Guidelines

Transactions on Petri Nets and Other Models of Concurrency II
Why Does My Service Have No Partners?

Web Services and Formal Methods
Service Interaction: Patterns, Formalization, and Analysis

Formal Methods for Web Services
Realizability is controllability

WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Ensuring correctness during process configuration via partner synthesis

Information Systems
Wendy: a tool to synthesize partners for services

PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Wendy: A Tool to Synthesize Partners for Services

Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Compliance by design for artifact-centric business processes

Information Systems
Business process architectures with multiplicities: transformation and correctness

BPM'13 Proceedings of the 11th international conference on Business Process Management

Quantified Score

Hi-index	0.89

Visualization

Abstract

We study open nets as Petri net models of web services, with a link to the practically relevant language WS-BPEL. For those nets, we investigate the problem of operability which we consider as fundamental as the successful notion of soundness for workflow nets, i.e., Petri net models of business processes and workflows. While we could give algorithmic solutions to the operability problem for subclasses of open nets in earlier work, this article shows that the problem is in general undecidable.