SecureBPMN is a domain-specific modeling language that allows to model security aspects (e.g., access control, separation of duty, confidentiality). https://www.brucker.ch/projects/securebpmn/index.en.html
This repository has been archived on 2018-08-08. You can view files and clone it, but cannot push or open issues or pull requests.
Go to file
Achim D. Brucker 3872533f64 Improved Markdown. 2018-08-06 11:02:27 +02:00
GenericBreakGlass-XACML Initital commit: Activiti integration. 2015-06-06 22:08:42 +02:00
designer Cleanup. 2017-02-19 16:30:53 +00:00
doc Re-added documentation. 2015-05-30 16:05:32 +02:00
runtime Role cleanup. 2015-05-30 21:40:28 +02:00
.gitignore Ignore .project and .classpath. 2015-06-07 09:16:38 +02:00
CITATION Re-added citation hints. 2015-05-30 16:05:45 +02:00
LICENSE Re-added license information. 2015-05-30 16:05:20 +02:00
README.md Improved Markdown. 2018-08-06 11:02:27 +02:00

README.md

SecureBPMN

SecureBPMN is a domain-specific modeling language that allows to model security aspects (e.g., access control, separation of duty, confidentiality). SecurePBPMN is defined as a meta-model that can easily be integrated into BPMN and, thus, can be used for modeling secure and business processes as well as secure service compositions.

![ScreenShot of the SecureBPMN Modeling and Verification Environment] (https://www.brucker.ch/projects/securebpmn/img/activiti-bpmn-analysis.png) The SecureBPMN tool chain does not only support modeling of secure business process and service compositions: it also supports the formal analysis both on the level of SecureBPMN models as well as refinement properties between the model and the actual implementation.

Installation

SecureBPMN Designer

Prerequisites

Preparing the Eclipse environment

First, install the GenericBreakGlass-XACML into your local maven repository:

cd GenericBreakGlass-XACML/src/eu.aniketos.securebpmn.xacml.parent
mvn clean eclipse:clean 
mvn eclipse:eclipse 
mvn install 
cd ..

To initialize the Eclipse project structure, please do

cd designer/src//org.activiti.designer.parent
mvn clean eclipse:clean 
mvn eclipse:eclipse
cd ..

After this, all projects can be imported into a fresh Eclipse workspace using File -> Import -> Existing Projects into Workspace.

Generate Model Classes

  1. Open the folder model in the project org.activiti.designer.model
  2. Open BPMN20.genmodel
  3. Select the top level node (bpmn2)
  4. Select Generator -> Reload... from the top-level menu, select Ecore model and complete the wizard. While doing this, ensure that all packages are select in the Package Selection screen.
  5. Select the top level node (bpmn2)
  6. Select Generator -> Generate all from the top-level menu

Start Eclipse Application

Select the project org.activiti.designer.eclipse and select Run as -> Eclipse application in the context menu (right click).

SecureBPMN Runtime

Prerequisites

Java 6 must be installed and executable:

export JAVA_HOME=<install directory of java 6>
export PATH=$JAVA_HOME/bin:$PATH

Moreover, the xalan libraries must be installed:

cd runtime/src/userguide 
ant install.xalan.libs

Building the SecureBPMN Runtime

If you did not install GenericBreakGlass-XACML into your local maven repository as part of the installation of the SecureBPMN Designer:

cd GenericBreakGlass-XACML/src/eu.aniketos.securebpmn.xacml.parent
mvn clean eclipse:clean 
mvn eclipse:eclipse 
mvn install 
cd ..

Compile the SecureBPMN runtime:

cd runtime/src/distro
ant clean distro 

If ``ant clean distro``` is not able to download tomcat, please download apache-tomcat-6.0.32.zipand copy it into runtime/src/distro/target`.

Executing the SecureBPMN Runtime

cd runtime/src/distro/target/activiti-5.8/setup/
ant demo.start 

And open http://localhost:8080/activiti-explorer in a web browser. Note that and demo.stop will stop the demo and ant demo.clean will reset the demo setup.

Team

Main developer: Achim D. Brucker

Contributors

  • Jan Alexander
  • Matthias Klink
  • Helmut Petritsch
  • Raj Ruparel

License

This project is under the Apache 2.0 License.

SPDX-License-Identifier: Apache-2.0

Master Repository

The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/SecureBPMN/SecureBPMN.

Publications

Related publications are listed on the SecureBPMN website. The core publications are: