Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Component-based software architectures: a framework based on inheritance of behavior
Science of Computer Programming
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Business Process Management, Models, Techniques, and Empirical Studies
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A top-down Petri net-based approach for dynamic workflow modeling
BPM'03 Proceedings of the 2003 international conference on Business process management
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
On the suitability of correctness criteria for business process models
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Soundness of resource-constrained workflow nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Detecting and resolving unsound workflow views for correct provenance analysis
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Generating sound workflow views for correct provenance analysis
ACM Transactions on Database Systems (TODS)
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
Data & Knowledge Engineering
Soundness-preserving refinements of service compositions
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Checking soundness of business processes compositionally using symbolic observation graphs
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
| Hi-index | 0.00 |
Very often, e.g. in the context of inter-organizational Workflow or web services, it is necessary to merge existing business process descriptions. It is clear that correctness criteria valid for the single process descriptions should remain valid also for the combined model. However, looking at the popular soundness criterion this can not always be guaranteed. In this paper various composition alternatives are summarized and their ability to preserve relaxed soundness (in contrast to soundness) is investigated.