Barbados Crisis Management System -BCMS-

Preamble

BCMS (requirements definition doc. ⤳ PDF) is a software case study, which is implemented in State Chart XML -SCXML- and PauWare. PauWare is a Java engine for executing Harel's Statecharts in general.

Application Programming Interface -API-: Javadoc.

Resources

BCMS SCXML document BCMS.scxml . For editing purposes, you may use a simple editor SCXML-editor.jar with associated execution statement: java -jar SCXML-editor.jar
Java SE application as a Maven project BCMS.PauWare2Web.zip

Installation requirements

This application has been designed and tested by means of PauWare ver. 2.0 (a.k.a. PauWare2, Sept. 2021). This application also reuses PauWare2Web, a PauWare2 add-on, which allows the dynamic simulation of Harel's Statecharts in a Web browser. While PauWare2 is based on Java 9, PauWare2Web requires Java 11.
After downloading BCMS.PauWare2Web.zip , PauWare2 PauWare2.zip and PauWare2Web PauWare2Web.zip must be made accessible as Maven dependencies. PauWare2Web itself requires third-party libraries that are downloaded by Maven:
- Java API for Processing JSON software is linked to PauWare2Web as a runtime library.
- PlantUML Java software is linked to PauWare2Web as a runtime library.
  - Graphviz software (required by PlantUML) is a priori installed on Windows.
  - Graphviz software on macOS may be installed using Homebrew (see also here…).
- Tyrus Java software is linked to PauWare2Web as a runtime library.
Note that PauWare2Web can be bypassed in the code (no Web visualization then) by commenting/removing in BCMS.java what follows:

_BCMS_state_machine = new com.pauware.pauware_engine.Core.StateMachine(… /*, new com.pauware.pauware2web.PauWare2Web_client()*/);

Specification (statechart) as full-size SVG image