Java application that allows you to check temporal attributes of a BPEL process using BPEL Things-NET.
Try the jar: BPELThings-NET-1.0.0-SNAPSHOT
BPELThings-NET is an open-source Java application that allows you to check the validity of a BPEL process that orchestrates smart things using Restful Web services according to a synchronized scenario.
Here are the main functionalities provided so far:
- Read input BPEL file;
- Generate BPEL Things-Net structure;
- Fill in missing temporal information;
- Abstract the model to a flattened structure;
- Calculate transition firing dates;
- Run temporal verification and return the result.
The solution provides a jar executable that allows you to introduce BPEL files, apply the BPEL Things-Net model, and return the final results.
If the file is temporally valid, the application returns a success message.
If the file is temporally invalid, the application returns an error message.
