# BPMN2TA2

**Repository Path**: Operation_avalanche/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-05
- **Last Updated**: 2022-04-30

## 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 (1.8)

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.

**Noted that any non-ascii characters in source bpmn file are very likely to cause the output unrecognizable to UPPAAL.**

requirement: JRE 1.8+
```
|- META-INF                 --  Some Build related stuff  
|- example                  --  A set of input bpmn maps (Example)  
|- src
|   |-lib                   --  Library (LTLGenerator.jar)
|   |-main/java             --  Source root
|           |- bpmn         --  Bpmn parser
|           |- common       --  Utils(FS, Base Class, Naming)
|           |- ta           --  TA generator
|           |= Program.java ==  Program Entry Point (MainClass)
|           |= BPMN2TATransformer.java  ==  Transform process functions
|= .gitignore
|= LICENSE
|= pom.xml                  ==  Dependencies
```