Reasoning over Secure Business Processes
by Achim D. Brucker
Modern enterprise systems are often process-based, i.e., they allow for the direct execution of business processes that are specified in a high-level language such as BPMN.
We present an approach for validating the compliance of the business processes during design-time. Basically, while modeling a business process the business analyst specifies as well the security and compliance requirements the business process should comply to. By pressing a button, these requirements are validated and the results are presented in a graphical format to the business analysis. As proof-of-concept we created a prototype in which the SVaaS Server is deployed on the SAP NetWeaver Cloud and two SVaaS Connectors are built to enable two well-known BPMN tools, SAP NetWeaver BPM and Activiti, to consume SVaaS against industrial relevant business processes.
Keywords:
Categories:
Documents:
Please cite this article as follows:
Achim D. Brucker.
Reasoning over Secure Business Processes. Dagstuhl Seminar 13211 "Automated Reasoning on Conceptual Schemas", 21. may. 2013.
(slides) (handout) (BibTeX) (
| abstract | = | {Modern enterprise systems are often process-based, i.e., they allow for the direct execution of business processes that are specified in a high-level language such as BPMN.\\\\We present an approach for validating the compliance of the business processes during design-time. Basically, while modeling a business process the business analyst specifies as well the security and compliance requirements the business process should comply to. By pressing a button, these requirements are validated and the results are presented in a graphical format to the business analysis. As proof-of-concept we created a prototype in which the SVaaS Server is deployed on the SAP NetWeaver Cloud and two SVaaS Connectors are built to enable two well-known BPMN tools, SAP NetWeaver BPM and Activiti, to consume SVaaS against industrial relevant business processes.}, | |
| author | = | {Achim D. Brucker}, | |
| day | = | {21}, | |
| event | = | {Dagstuhl Seminar 13211 ``Automated Reasoning on Conceptual Schemas''}, | |
| handout | = | {https://www.brucker.ch/bibliography/download/2013/talk-brucker-reasoning-2013-2x2.pdf}, | |
| isodate | = | {2013-05-21}, | |
| lecturer | = | {Achim D. Brucker}, | |
| location | = | {Dagstuhl, Germany}, | |
| month | = | {may}, | |
| slides | = | {https://www.brucker.ch/bibliography/download/2013/talk-brucker-reasoning-2013.pdf}, | |
| title | = | {Reasoning over Secure Business Processes}, | |
| url | = | {https://www.brucker.ch/bibliography/abstract/talk-brucker-reasoning-2013}, | |
| year | = | {2013}, |