Compliant business process design using refinement layers

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

Volumn 6426 LNCS, Issue PART 1, 2010, Pages 114-131

  Schleicher, Daniel ^a   Anstett, Tobias ^a   Leymann, Frank ^a   Schumm, David ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS DESIGN; COMPLIANCE CONSTRAINTS; REFINEMENT PROCESS; REFINEMENT STEP;

PROCESS ENGINEERING; REFINING; COMPUTER SCIENCE; COMPUTERS;

INTERNET; ARTIFICIAL INTELLIGENCE;

EID: 78650137511     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16934-2_11     Document Type: Conference Paper

References (16)

1. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)
2. U.S. Code. Sarbanes-Oxley Act of 2002, PL 107-204, 116 Stat 745 (2002)
3. Eberle, H., Unger, T., Leymann, F.: Process Fragments. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol. 5870, pp. 398-405. Springer, Heidelberg (2009)
4. Governatori, G., Milosevic, Z.: A formal analysis of a business contract language. Int. J. Cooperative Inf. Syst. 15(4), 659-685 (2006)
5. Halfmann, A.: Siemens versiebenfacht Zahl der Compliance-Mitarbeiter (January 2009)
6. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation, 3rd edn. Pearson Addison-Wesley, Upper Saddle River (2007)
7. Jureta, I., Siena, A., Mylopoulos, J., Perini, A., Susi, A.: Theory of regulatory compliance for requirements engineering. CoRR, abs/1002.3711, informal publication (2010)
8. Khalaf, R.: Supporting business process fragmentation while maintaining operational semantics: a BPEL perspective. Doctoral thesis, University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany (March 2008)
9. Liu, Y., Müller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Syst. J. 46(2), 335-361 (2007)
10. Ma, Z., Leymann, F.: Bpel fragments for modularized reuse in modeling bpel processes. In: ICNS 2009: Proceedings of the 2009 Fifth International Conference on Networking and Services, Washington, DC, USA, pp. 63-68. IEEE Computer Society, Los Alamitos (2009)
11. Mietzner, R., Leymann, F.: Generation of BPEL Customization Processes for SaaS Applications from Variability Descriptors. In: Proceedings of the International Conference on Services Computing, Industry Track, SCC 2008. IEEE, Los Alamitos (Juli 2008)
12. OASIS. Web Services Business Process Execution Language Version 2.0 - OASIS Standard (2007)
13. Sadiq, S.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)
14. Schleicher, D., Anstett, T., Leymann, F., Mietzner, R.: Maintaining Compliance in Customizable Process Models. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol. 5870, pp. 1-16. Springer, Heidelberg (2009)
15. Schumm, D., Leymann, F., Ma, Z., Scheibler, T., Strauch, S.: Integrating Compliance into Business Processes: Process Fragments as Reusable Compliance Controls. In: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2010), Universitaetsverlag Goettingen (2010)
16. Yi, W., Pettersson, P., Daniels, M.: Automatic verification of real-time communicating systems by constraint-solving. In: Proc. of the 7th International Conference on Formal Description Techniques, pp. 223-238 (1994)