BPMVerification 1.2.0

Fixed stutter optimizer bug.

BPMVerification 1.1.0

Added MultiVerifier that is able to calculate multiple stutter equivalent models simultaneously for each of the given specification sets.
Added support for conditional expressions in specifications (e.g. AF(x < 2)).
Improved conditional expression evaluation.

BPMVerification 1.0.3

Included GNU General Public License v3.0.
Moved to Jaxb 3.0.0 from Jakarta EE 9 update.
Removed executable JAR functionality. Please use the example classes in src/test/nl/rug/ds/bpm/test to execute.

BPMVerification 1.0.2

Increased dependency versions.

TSC Submission

"Structural Service Composition Compliance with Guards and Partial Transition Systems", Heerko Groefsema, Nick van Beest, and Abel Armas-Cervantes

BPMVerification 1.0.0

Initial release.

Conditional Graph

Conditional Graph release. Supports guards on transitions through an additional file input.

BPM Verification Package

0.1

Version 0.1