|
2 years ago | |
---|---|---|
GenericBreakGlass-XACML | 5 years ago | |
designer | 3 years ago | |
doc | 5 years ago | |
runtime | 5 years ago | |
.gitignore | 5 years ago | |
CITATION | 5 years ago | |
LICENSE | 5 years ago | |
README.md | 2 years ago |
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.
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
.
model
in the project org.activiti.designer.model
BPMN20.genmodel
bpmn2
)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.bpmn2
)Generator -> Generate all
from the top-level menuSelect the project org.activiti.designer.eclipse
and select Run as -> Eclipse application
in the context menu (right click).
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
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.zip and copy it into
runtime/src/distro/target`.
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.
Main developer: Achim D. Brucker
This project is under the Apache 2.0 License.
SPDX-License-Identifier: Apache-2.0
The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/SecureBPMN/SecureBPMN.
Related publications are listed on the SecureBPMN website. The core publications are: