Design and verification of instantiable compliance rule graphs in process-aware information systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6051 LNCS, Issue , 2010, Pages 9-23

  Ly, Linh Thao ^a   Rinderle Ma, Stefanie ^b   Dadam, Peter ^a  

^a UNIVERSITY OF ULM   (Germany)

^b UNIVERSITY OF VIENNA   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; CERTAIN RULE; COMPLIANCE RULES; DOMAIN MODEL; FINANCIAL REGULATIONS; MEDICAL GUIDELINES; PROCESS MODEL; PROCESS-AWARE INFORMATION SYSTEMS; PROTOTYPICAL IMPLEMENTATION; SYSTEM LEVELS; USER LEVELS;

DESIGN; SYSTEMS ENGINEERING; VISUALIZATION;

INFORMATION SYSTEMS;

EID: 79956313469     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13094-6_3     Document Type: Conference Paper

References (22)

1. Sadiq, S., Governatori, G., Naimiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149-164. Springer, Heidelberg (2007).
2. Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326-341. Springer, Heidelberg (2008).
3. Ly, L.T., Rinderle-Ma, S., Dadam, P.: Integration and verification of semantic constraints in adaptive process management systems. Data and Knowledge Engineering 64, 3-23 (2008). (Pubitemid 350087284)
4. Filipowska, A., Hepp, M., Kaczmarek, M., Markovic, I.: Organisational ontology framework for semantic business process management. In: BIS 2009. LNBIP, vol. 21, pp. 1-12. Springer, Heidelberg (2009).
5. Kumar, A., Smith, B., Pisanelli, D., Gangemi, A., Stefanelli, M.: An ontological framework for the implementation of clinical guidelines in health care organizations. Stud. Health Technol. Inform. 102, 95-107 (2004).
6. Rinderle, S., Reichert, M., Dadam, P.: Flexible support of team processes by adaptive workflow systems. Distributed and Parallel Databases 16, 91-116 (2004).
7. Ly, L.T., Rinderle-Ma, S., Göser, K., Dadam, P.: On enabling integrated process compliance with semantic constraints in process management systems. Information Systems Frontiers (2009) (accepted for publication).
8. van der Aalst, W., et al.: Prom 4.0: Comprehensive support for real process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 484-494. Springer, Heidelberg (2007).
9. van der Aalst, W.: Verification of workflow nets. In: Int'l Conf. on Application and Theory of Petri Nets, pp. 407-426 (1997).
10. Hallerbach, A., Bauer, T., Reichert, M.: Managing process variants in the process lifecycle. In: Proc. ICEIS 2008, pp. 154-161 (2008).
11. Pesic, M., Schonenberg, M., Sidorova, N., van der Aalst, W.: Constraint-based workflow models: Change made easy. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 77-94. Springer, Heidelberg (2007).
12. Sadiq, S., Orlowska, M., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Inf. Syst. 30, 349-378 (2005). (Pubitemid 40304702)
13. Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Control to Users. PhD thesis, Eindhoven University of Technology (2008).
14. Awad, A., Weske, M.: Visualization of compliance violation in business process models. In: Proc. BPI 2009 (2009).
15. Yu, J., Manh, T.P., Hand, J., Jin, Y.: Pattern-based property specification and verification for service composition. CeCSES Report SUT. CeCSES-TR010, Swinburne University of Technology (2006).
16. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. ICSE 1999, pp. 411-420 (1999).
17. Ghose, A., Koliadis, G.: Auditing business process compliance. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169-180. Springer, Heidelberg (2007).
18. Liu, Y., Müller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Systems Journal 46, 335-361 (2007). (Pubitemid 46915268)
19. Governatori, G., Hoffmann, J., Sadiq, S., Weber, I.: Detecting regulatory compliance for business process models through semantic annotations. In: Proc. BPD 2008 (2008).
20. Lu, R., Sadiq, S., Governatori, G.: Compliance aware process design. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 120-131. Springer, Heidelberg (2008).
21. van der Aalst, W., Pesic, M.: DecSerFlow: Towards a truly declarative service flow language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1-23. Springer, Heidelberg (2006). (Pubitemid 44849748)
22. Namiri, K., Stojanovic, N.: Pattern-based design and validation of business process compliance. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 59-76. Springer, Heidelberg (2007).