Specification, Verification and Explanation of Violation for Data Aware Compliance Rules-Reference-Cited by-同舟云学术

Specification, Verification and Explanation of Violation for Data Aware Compliance Rules

Published:2009 Issue: Volume: Page:500-515
ISSN:0302-9743
Container-title:Service-Oriented Computing – ICSOC 2007
language:
Short-container-title:

Author:

Awad Ahmed,Weidlich Matthias,Weske Mathias

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-10383-4_37

Reference28 articles.

1. Weske, M.: Business Process Management. Springer, Heidelberg (2007)

2. United States Senate and House of Representatives in Congress: Sarbanes-Oxley Act of 2002. Public Law 107-204 (116 Statute 745) (2002)

3. Kharbili, M.E., de Medeiros, A.K.A., Stein, S., van der Aalst, W.: Business Process Compliance Checking: Current State and Future Challenges. In: MobIS, GI. LNI, vol. P-141, pp. 107–113 (2008)

4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)

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

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

1. A Software Framework for Jetson Nano to Detect Anomalies in CAN Data;2023 International Russian Smart Industry Conference (SmartIndustryCon);2023-03-27

2. Meeting the Challenges of Collaborative Network Compliance – An Exemplary View;Collaborative Networks in Digitalization and Society 5.0;2022

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

4. Compliance Checking of Collaborative Processes for Sustainable Collaborative Network;IFIP Advances in Information and Communication Technology;2021

5. Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions;2020 IEEE 22nd Conference on Business Informatics (CBI);2020-06