Transcription of Analysis of Authorizations in SAP R/3 - CEUR-WS.org
{{id}} {{{paragraph}}}
Analysis of Authorizations in SAP R/3 Manuel Lamotte-Schubert and Christoph WeidenbachMax Planck Institute for Informatics, Campus E1 4,D-66123 Saarbr many companies use an ERP (Enterprise ResourcePlanning) system such as SAP R/3 to run their daily business rang-ing from financial issues down to the actual control of a production due to their sheer size, these systems are very complex. In partic-ular, developing and maintaining the authorization setup is a goal of our effort is to automatically analyze the authorization setupof an SAP R/3 system against business policies. To this end weformalizethe processes, authorization setup as well as the business policies in first-order logic. Then, properties can be (dis)proven fully automatically withour theorem proverSpass. We exemplify our approach on the purchaseprocess, a typical constituent of any SAP R/3 IntroductionEnterprise Resource Planning (ERP) systems are built to integrate all facets ofthe business across a company including areas like finance, planning, manufac-turing, sales, or marketing.
Analysis of Authorizations in SAP R/3⋆ Manuel Lamotte-Schubert and Christoph Weidenbach Max Planck Institute for Informatics, Campus E1 4, D-66123 Saarbru¨cken
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}