My device

My device

My device ⤳ UML State Machine Diagram

My device ⤳ possible execution paths

• S11 ∧ request b ⤳ x activated ∧ S12 ∧ y activated
• S11 ∧ request c ⤳ x activated ∧ S12 ∧ y activated
• S11 ∧ request d ⤳ nothing happens!
• S11 ∧ request e ⤳ x activated ∧ Idle
• S11 ∧ S21 ∧ request f ⤳ x activated ∧ Idle
• Etc.

Java simulation

Download JavaFX NetBeans project

State Chart XML -SCXML-

State Chart XML -SCXML- (here…) is a W3C recommendation to express state machines based on Harel's Statecharts modeling technique.

SCXML comes with an associated XSD (here…).

My device ⤳ SCXML

<scxml xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
       xmlns="http://www.w3.org/2005/07/scxml"
       xsi:schemaLocation="http://www.w3.org/2005/07/scxml https://www.w3.org/2011/04/SCXML/scxml.xsd"
       datamodel="ecmascript" initial="Idle" name="My_device" version="1.0">
    <!-- … -->
    <state id="Idle">
        <transition event="go" target="Busy"/>
    </state>
    <!-- … -->
</scxml>

Download SCXML file

My device ⤳ BPMN

Download Bizagi Modeler .bpm file

My device ⤳ Busy (BPMN)

My device ⤳ S2 (BPMN)

My device ⤳ S3 (BPMN)