Datensatz

Zusammenfassung

Today many companies use an ERP (Enterprise Resource Planning) system such as the SAP R/3 system to run their daily business ranging from financial issues down to the actual control of a production line. These systems are very complex from the view of administration and authorization. Hence they include a high potential for errors. In this thesis I analyze the authorization concept of the SAP R/3 system as well as different business regulations and construct a corresponding model in first-order logic. This model can be used to check the existence of errors automatically, i.e. a contradiction between given authorizations and a valid business regulation. The tool I use for these checks is the theorem prover \textscSpass which has been developed at the Max Planck Institute for Informatics. I selected the purchase process as an example to explore the model construction because it is a typical constituent of the SAP R/3 system.