v0.3.8

Changelog

breaking changes ⚠️

• TBD

bug fix 🐛

• TBD

new features 🎉

• TBD

v0.3.7

Changelog

breaking changes ⚠️

• we now rely on PowerShell for the Space BPMN script (sfbpmn-check)
• the sfbpmn-check (bash version) script is now deprecated (still there with a .OLD suffix, will be removed in a future version, please use the new sfbpmn-check instead)

new features 🎉

• binaries are now available for Linux, macOS, and Windows
• the script for Space BPMN (sfbpmn-check) is now available for Linux, macOS, and Windows
• interactive counter example exploration pages now show sigma and subs for Space BPMN (from Space BPMN semantics)

v0.3.6

Changelog

Version corresponding to the publication at the FM'21 conference (fbpmn sbpmn2tla)

breaking changes ⚠️

• remove the REPL (fbpmn repl)

new features 🎉

• more precise error messages when reading the BPMN model
• Space BPMN

v0.3.5

Changelog

breaking changes ⚠️

• no binaries due to an issue with the CI system, please follow the README.md file to build the binaries on your system.
• we now rely on PowerShell for the scripts (fbpmn-check, fbpmn-log-transform)
• the fbpmn-check (bash version), fbpmn-logs2json, fbpmn-logs2dot, and fbpmn-logs2html scripts are now deprecated (still there with a .OLD suffix, will be removed in a future version, please use the new fbpmn-check or fbpmn-log-transform with the corresponding option instead)

new features 🎉

• scripts (fbpmn-check, fbpmn-log-transform) are now available for Linux, macOS, and Windows

v0.3.4

Changelog

Version corresponding to the Information Systems journal (fbpmn bpmn2tla) and the ENASE'21 conference (fbpmn bpmn2alloy)

breaking changes ⚠️

• TBD

bug fix 🐛

• TBD

new features 🎉

• TBD

v0.3.3

Changelog

Alignment version (includes artifact generation while v0.3.1 and v0.3.2 do not due to a build system change).

v0.3.2

Changelog

bugfix 🐛

• TLA+ theories for the BPMN execution semantics
  • correct semantics for boundary events
  • clean up well formedness rules for models
• verification scripts (for Linux and OSX)
  • correct path for constraint files
  • clean up

v0.3.1

Changelog

new features 🎉

• subset of BPMN
  • support time-related features (start events, intermediary catch events, boundary events) using a non-deterministic abstraction of time
• TLA+ theories for the BPMN execution semantics
  • communication interests associated to processes (support for more communication models)
  • new communication model: causal

bugfix 🐛

• verification script (for Linux and OSX)
  • correct directory handling
  • clean up

v0.3.0

Changelog

Version corresponding to the publication at the BPM'19 conference.

v0.2.9

Changelog

new features 🎉

• enhance token positioning in interactive counter example exploration pages
• show network state in interactive counter example exploration pages