Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs-Reference-Cited by-同舟云学术

Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs

Published:2012 Issue: Volume: Page:67-83
ISSN:0302-9743
Container-title:Formal Techniques for Distributed Systems
language:
Short-container-title:

Author:

Klai Kais,Desel Jörg

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-30793-5_5.pdf

Reference18 articles.

1. Lecture Notes in Computer Science;W.M.P. Aalst van der,1997

2. van der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)

3. van der Aalst, W.M.P.: Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries. Information and Management 37, 67–75 (2000)

4. van der Aalst, W.M.P.: Inheritance of interorganizational workflows: How to agree to disagree without loosing control? Information Technology and Management 4, 345–389 (2003)

5. Lecture Notes in Computer Science;J. Dehnert,2001

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Exact and approximation algorithms for synthesizing specific classes of optimal block-structured processes;Simulation Modelling Practice and Theory;2023-09

2. Polynomial Algorithms for Synthesizing Specific Classes of Optimal Block-Structured Processes;Computational Collective Intelligence;2021

3. Parallel Symbolic Observation Graph;2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC);2017-12

4. Model Checking of Composite Cloud Services;2016 IEEE International Conference on Web Services (ICWS);2016-06

5. A Formal Approach for Service Composition in a Cloud Resources Sharing Context;2016 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid);2016-05