# BPMN2TA2

**Repository Path**: winting/bpmn2-ta2

## Basic Information

- **Project Name**: BPMN2TA2
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: MIT
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 1
- **Created**: 2021-08-07
- **Last Updated**: 2021-08-07

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# BPMN2TA2

#### Intro
This is a tool for automatically transform a group of BPMN(2.0) diagrams to UPPAAL supported .xml diagram file.  
The output file can be used to verify BPMN model according to LTL formula given by user on UPPAAL.

#### Framework
implementation: java
cmd arg parse : argparse4j

#### User Guide
-h or --help to see detailed usage

#### Notice
this is a tool created for a Smart Contract System, which is a project currently carried out by a group of developer leading by Ge Ning, School of Software, BUAA. Because of some project-related definition, this tool is very likely to fail in transforming a (group of) map created by a real human.