Model-based reasoning on the achievement of business goals

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2009, Pages 1589-1593

  Höhn, Sebastian ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED PROCESS; AUTOMATED REASONING; BUILDING BLOCKES; BUSINESS GOALS; BUSINESS PROCESS; BUSINESS PROCESS MODELING; MODEL-BASED REASONING; PROCESS MODEL; SECURITY PROPERTIES; WORK-FLOWS;

AUTOMATION; COMPUTER SCIENCE; LAWS AND LEGISLATION; MANAGEMENT;

AUTOMATA THEORY;

EID: 72949119514     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1529282.1529639     Document Type: Conference Paper

References (24)

1. Rafael Accorsi. Automated privacy audits to complement the notion of control for identity management. In iDMAN, volume 261 of IFIP, pages 39-48. Springer, 2008.
2. Ross Anderson. Security Engineering: A Guide to Building Dependable Distributed Systems. Wiley & Sons, 2001.
3. B. Curtis, M. I. Kellner, and J. Over. Process modeling. CACM, 35(9), 1992.
4. Manu De Backer and Monique Snoeck. Business Process Verification: A Petri Net Approach. SSRN eLibrary, 2007.
5. ECMA. ECMA-335: Common Language Infrastructure. European Association for Standardizing Information and Communication Systems, Geneva, 2002.
6. Hans-Eric Eriksson and Magnus Penker. Business Modeling with UML: Business Patterns at Work. John Wiley & Sons, 2000.
7. Gartner Group. Delivering IT's contribution: The 2005 CIO agenda. Stanford, Connecticut, 2005.
8. Jonathan L. Gross and Jay Yellen, editors. Handbook of Graph Theory. CRC Press, first edition, 2003.
9. Kevin W. Hamlen, Greg Morrisett, and Fred B. Schneider. Computability classes for enforcement mechanisms. ACM ToPLAS, 28(1):175-205, 2006.
10. Sebastian Höhn and Jan Jürjens. Rubacon: automated support for model-based compliance engineering. In ICSE '08: Proceedings of the 13th international conference on Software engineering, pages 875-878, New York, NY, USA, 2008. ACM.
11. John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. Pearson International, 2nd edition, 2003.
12. Tim Lindholm and Frank Yelling. The Java Virtual Machine Specification. Addison-Wesley, second edition, 1999.
13. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, i. Inf. Comput., 100(1):1-40, 1992.
14. F. Nordsieck. Die schaubildliche Erfassung und Untersuchung der Betriebsorganisation. Organisation - Eine Schriftenreihe. C. E. Poeschel Verlag, 1932.
15. Object Management Group. Business process modeling notation, v1.1. Technical Report OMG Document Number: formal/2008-01-17, Object Management Group, January 2008.
16. Michael E. Porter. The Competitive Advantage of Nations. Free Press, London, UK, 1990.
17. W. Reisig. Petri Nets: An Introduction. Springer-Verlag, New York, NY, USA, first edition, 1985.
18. Stefan Sackmann and Martin Kähmer. ExPDT: A policy-based approach for automating compliance. Wirtschaftsinformatik, 50(5), 2008.
19. Stefan Sackmann, Martin Kähmer, Maike Gilliot, and Lutz Lowis. A classification model for automating compliance. In IEEE Conference on E-Commerce Technology (CEC'08), 2008.
20. Shazia Sadiq, Guido Governatori, and Kioumars Namiri. Modeling control objectives for business process compliance. In Business Process Management, volume 4714, pages 149-164. Springer Berlin / Heidelberg, 2007.
21. Davide Sangiorgi and David Walker. The π-calculus: a Theory of Mobile Processes. Cambridge University Press, 2003.
22. Frederick Winslow Taylor. The Principles of Scientific Management. Harper & Row, Publishers, Incorporated, 1911.
23. Wil M. P. van der Aalst. Formalization and verification of event-driven process chains. Information and Software Technology, 41(10), 1999.
24. Reichert M Weber B. Advanced information systems engineering. volume 5074 of Lecture Notes in Computer Science, pages 124-38. Springer, 2008.