Action and guard example

ActionAndGuard.json

{
  "models": [
    {
      "edges": [
        {
          "id": "428252c0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "name": "e_Login",
          "sourceVertexId": "2505cce0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "targetVertexId": "2863c4f0-6e69-11ea-a7bb-83cbb6bc6f6f"
        },
        {
          "id": "452deac0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "name": "e_Authenticated",
          "sourceVertexId": "2863c4f0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "targetVertexId": "2505cce0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "actions": [
            "authenticated=true"
          ]
        },
        {
          "id": "4641cbc0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "name": "e_Failed",
          "sourceVertexId": "2863c4f0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "targetVertexId": "2505cce0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "actions": [
            "authenticated=false"
          ]
        },
        {
          "id": "47310dc0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "name": "e_Settings",
          "sourceVertexId": "2505cce0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "targetVertexId": "26cc0df0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "guard": "authenticated"
        }
      ],
      "generator": "random(vertex_coverage(100))",
      "id": "2350f0f0-6e69-11ea-a7bb-83cbb6bc6f6f",
      "name": "Example",
      "startElementId": "2505cce0-6e69-11ea-a7bb-83cbb6bc6f6f",
      "vertices": [
        {
          "id": "2505cce0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "name": "v_LandingPage",
          "properties": {
            "x": 212,
            "y": 322
          }
        },
        {
          "id": "26cc0df0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "name": "v_Settings",
          "properties": {
            "x": 594,
            "y": 467
          }
        },
        {
          "id": "2863c4f0-6e69-11ea-a7bb-83cbb6bc6f6f",
          "name": "v_Login",
          "properties": {
            "x": 607,
            "y": 147
          }
        }
      ],
      "actions": [
        "authenticated=false"
      ]
    }
  ],
  "selectedModelIndex": 0,
  "selectedElementId": "26cc0df0-6e69-11ea-a7bb-83cbb6bc6f6f"
}

GIF