SecureBPMN
/
SecureBPMN
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Added Screenshot.

This commit is contained in:
Achim D. Brucker 2015-05-23 16:12:08 +02:00
parent b019547b93
commit c7a9345512
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -6,6 +6,12 @@ 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
### Prerequisites
* Eclipse Helios