SeaFlows toolset - Compliance verification made easy for process-aware information systems

Lecture Notes in Business Information Processing

Volumn 72 LNBIP, Issue , 2011, Pages 76-91

  Ly, Linh Thao ^a   Knuplesch, David ^a   Rinderle Ma, Stefanie ^a   Göser, Kevin ^b   Pfeifer, Holger ^c   Reichert, Manfred ^a   Dadam, Peter ^a  

^a UNIVERSITY OF ULM   (Germany)

^b UNIVERSITY OF VIENNA   (Austria)

^c AristaFlow GmbH   (Germany)

Author keywords

Compliance rules; Data aware compliance checking; Process verification

Indexed keywords

ABSTRACTING; INFORMATION SYSTEMS; SYSTEM THEORY;

ABSTRACT PROCESS; BUSINESS PROCESS; COMPLIANCE CHECKING; COMPLIANCE RULES; COMPLIANCE VERIFICATION; CONTEXT-SENSITIVE; DATA DIMENSIONS; ENTERPRISE COMPUTING; EXTENSIBLE FRAMEWORK; GRAPH-BASED; PROCESS MODEL; PROCESS VERIFICATION; PROCESS-AWARE INFORMATION SYSTEMS; STATE EXPLOSION PROBLEMS; TOOLSETS;

MODEL CHECKING;

EID: 79551517853     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-17722-4_6     Document Type: Conference Paper

References (18)

1. Sadiq, W., Governatori, G., Namiri, 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. Bobrik, R., Reichert, M., Bauer, T.: View-based process visualization. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 88-95. Springer, Heidelberg (2007)
3. Ly, L.T., Rinderle-Ma, S., Dadam, P.: On enabling integrated process compliance with semantic constraints in process management systems. Information Systems Frontiers, 1-25 (2009)
4. Awad, A., Weidlich, M., Weske, M.: Specification, verification and explanation of violation for data aware compliance rules. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 500-515. Springer, Heidelberg (2009)
5. Yu, J., Manh, T., Han, J., Jin, Y., Han, Y., Wang, J.: Pattern based property specification and verification for service composition. In: Aberer, K., Peng, Z., Rundensteiner, E.A., Zhang, Y., Li, X. (eds.) WISE 2006. LNCS, vol. 4255, pp. 156-168. Springer, Heidelberg (2006)
6. Namiri, K., Stojanovic, N.: A formal approach for internal controls compliance in business processes. In: 8th Workshop on Business Process Modeling, Development, and Support, BPMDS 2007 (2007)
7. Ly, L.T., Rinderle-Ma, S., Dadam, P.: Design and verification of instantiable compliance rule graphs in process-aware information systems. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 9-23. Springer, Heidelberg (2010)
8. Barkaoui, K., Ben Ayed, R., Sbaï, Z.: Workflow soundness verification based on structure theory of petri nets. International Journal of Computing & Information Sciences 5(1), 51-61 (2007)
9. Ly, L.T., Rinderle, S., Dadam, P.: Semantic correctness in adaptive process management systems. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 193-208. Springer, Heidelberg (2006) (Pubitemid 44568327)
10. Knuplesch, D., Ly, L.T., Rinderle-Ma, S., Pfeifer, H., Dadam, P.: On enabling data-aware compliance checking of business process models. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 332-346. Springer, Heidelberg (2010)
11. Dadam, P., Reichert, M.: The ADEPT project: a decade of research and development for robust and flexible process support. Computer Science - Research and Development 23(2), 81-97 (2009)
12. Bensalem, S., et al.: An overview of SAL. In: Proc. of the Fifth NASA Langley Formal Methods Workshop, NASA Langley Research Center, pp. 187-196 (2000)
13. 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)
14. Förster, A., et al.: Verification of business process quality constraints based on visual process patterns. In: Proc. 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Sofware Engineering, pp. 197-208. IEEE Computer Society, Los Alamitos (2007)
15. Liu, Y., Müller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Systems Journal 46(2), 335-361 (2007)
16. Awad, A., Weske, M.: Visualization of compliance violation in business process models. In: Business Process Management Workshops. LNBIP, vol. 43, pp. 182-193. Springer, Heidelberg (2010)
17. 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)
18. van der Aalst, W.M.P., van Dongen, B.F., Günther, C.W., Mans, R.S., de Medeiros, A.K.A., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W(E.), Weijters, A.J.M.M.T.: 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)