Avoiding policy-based deadlocks in business processes

ARES 2008 - 3rd International Conference on Availability, Security, and Reliability, Proceedings

Volumn , Issue , 2008, Pages 709-716

  Kohler, Mathias ^a   Schaad, Andreas ^a  

^a SAP RESEARCH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; PROCESS ENGINEERING;

BUSINESS PROCESS MANAGEMENT; BUSINESS PROCESSES; BUSINESS PROCESSING; INTERNATIONAL CONFERENCES; REAL-WORLD SCENARIOS; RESOURCE REQUIREMENTS; SECURITY CONSTRAINTS; WORKFLOW EXECUTION;

MANAGEMENT;

EID: 49049088760     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2008.131     Document Type: Conference Paper

References (18)

1. Holt, R. C.: "Some Deadlock Properties of Computer Systems", ACM Comput. Surv. 4, 179-196, 1972.
2. Crampton, J.: "A reference monitor for workflow systems with constrained task execution", Proc. of the ACM Symp. on Access Control Models and Technologies, 2005.
3. Bertino, E., Ferrari, E., and Atluri, V.: "The specification and enforcement of authorization constraints in workflow management systems", ACM Trans. Inf. Syst. Secur., 1999.
4. Schaad, A., Spadone, P., and Weichsel, H.: "A case study of separation of duty properties in the context of the Austrian "eLaw" process", Proc. of the ACM Symposium on Applied Computing, 2005.
5. Aalst, W.v.d., Hee, K.V.: Workflow Management: Models, Methods, and Systems, MIT Press, 2004.
6. Kohler, M., Liesegang, C., Schaad, A.: "Classification Model for Access Control Constraints", Proc. of Performance, Computing, and Communications Conference, 2007.
7. Sandhu, R. S., et al.: "Role-Based Access Control Models", IEEE Computer Society Press, USA, 1996.
8. Onoda, S., Ikkai, Y., Kobayashi, T., and Komoda, N.: "Definition of Deadlock Patterns for Business Processes Work on Models", Proc. of the Annual Hawaii International Conference on System Sciences, 1999.
9. Bernstein, P. A. and Goodman, N.: "Concurrency Control in Distributed Database Systems", ACM Comput. Surv. 13, 2, 185-221, 1981.
10. Habermann, A. N.: "Prevention of system deadlocks", Commun. ACM 12, 373-ff, 1969.
11. Minoura, T.: "Deadlock avoidance revisited", J. ACM 29,4, 1023-1048, 1982.
12. Martens, A.: "Analyzing Web Service Based Business Processes", Proc. of the International Conference on Fundamental Approaches to Software Engineering, 2005.
13. Elmagarmid, A. K.: "A Survey of Distributed Deadlock Detection Algorithms", SIGMOD Record, 15(3):37-45, 1986.
14. Holt, R. C.: "On Deadlock in Computer Systems", Doctoral Thesis, 1971
15. Coves, C., Crestani, D., Prunet, F.: "Design and analysis of workflow processes with Petri nets", International Conference on Systems, Man, and Cybernetics, IEEE, 1998
16. Jensen, T. R., Toft, B.: Graph Coloring Problems, Wiley-Interscience, 1995.
17. Schaad, A., Lotz, V., and Sohr, K.: "A model-checking approach to analysing organisational controls in a loan origination process", Proc. of the Symposium on Access control models and technologies, 2006.
18. Solworth, J. A.: "Approvability", Proc. of the ACM Symp. on Information, Computer and Communications Security, 2006.