Compliance Checking for Decision-Aware Process Models-Reference-Cited by-同舟云学术

Compliance Checking for Decision-Aware Process Models

Published:2019 Issue: Volume: Page:494-506
ISSN:1865-1348
Container-title:Business Process Management Workshops
language:
Short-container-title:

Author:

Haarmann Stephan,Batoulis Kimon,Weske Mathias

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-11641-5_39

Reference28 articles.

1. Awad, A.: BPMN-Q: a language to query business processes. In: Reichert, M., Strecker, S., Turowski, K. (eds.) Enterprise Modelling and Information Systems Architectures - Concepts and Applications. Proceedings of the 2nd International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA 2007), St. Goar, Germany, 8–9 October 2007. LNI, vol. P-119, pp. 115–128. GI (2007). http://subs.emis.de/LNI/Proceedings/Proceedings119/article1957.html

2. Lecture Notes in Computer Science;A Awad,2008

3. Lecture Notes in Computer Science;A Awad,2009

4. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)

5. Baldoni, R., Coppa, E., D’Elia, D.C., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. CoRR (2016). http://arxiv.org/abs/1610.00502

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

1. Efficient Verification of Process Models Supporting Modifications of Data Values;2022 IEEE 24th Conference on Business Informatics (CBI);2022-06

2. Results from the Verification of Models of Spectrum Auctions;Lecture Notes in Business Information Processing;2022

3. Formal Framework for Checking Compliance of Data-Driven Case Management;Journal on Data Semantics;2021-02-19

4. Cross-Case Data Objects in Business Processes: Semantics and Analysis;Lecture Notes in Business Information Processing;2020

5. Checking Regulatory Compliance: Will We Live to See It?;Lecture Notes in Computer Science;2019