/BPEL-Things-NET

Java application that allows you to check the temporal validaty of BPEL process using BPEL Things-NET

Primary LanguageJava

BPEL Things-Net

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

Description

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.

Context

The solution provides a jar executable that allows you to introduce BPEL files, apply the BPEL Things-Net model, and return the final results.

1

If the file is temporally valid, the application returns a success message.

2

If the file is temporally invalid, the application returns an error message.

3