Search Results for "linux tool"

Cress (Communication Representation Employing Systematic Specification) allows graphical description of a wide variety of services such as in data communications/telecommunications, but Cress is not limited to this. The approach allows services to be described graphically as (work)flows of activities. Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment...

The bflow* Toolbox is an open source tool kit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.

The Security Workflow Analysis Tool (SWAT) is a platform for modelling and analyzing workflows. It comes with ananlysis approaches to search for data leaks in workflows.

Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. Use...

SecSy is a tool for security-oriented log synthesis. Besides basic synthesis properties (cases per day, office hours, randomized activity duration, ...), its detailed parameter setting for simulating business processes also allows to specify data usage (objects + access modality), actors for process activities and access control constraints for task/object permissions. It is also capable of enforcing/violating specific security properties on process traces, such as SoD/BoD, Unauthorized...

This project extends an older Source Forge Project earlier made through former DHBW Stuttgart Students for their SWE Lecture. The Generic Assessment Tool 2.0 is a tool made to create and perform custom and generic Assessments to evaluate all kind of assessments and further more. Special Features in this project are the JavaFX GUI which makes this project more likely to be used and the wide database support. In addition to that, the GAT 2.0 sets no limit for any use, as you are not...

uEngine BPM has moved to github - https://github.com/TheOpenCloudEngine/uengine-bpm - for its repo. Current version is uEngine5, thank you for remembering 3.x version.

WorkflowSim is a workflow simulation tool focusing on comprehensiveness. The tool is written in Java, using event-driven method.