{
    "models": [
        {
            "name": "FindOwners",
            "id": "476fb419-3d7d-4492-802e-6695fe93f595",
            "generator": "random(edge_coverage(100))",
            "actions": [],
            "vertices": [
                {
                    "id": "b53814ec-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_FindOwners",
                    "sharedState": "FindOwners",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": 0,
                        "y": 0
                    }
                },
                {
                    "id": "dcb0e896-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_NewOwner",
                    "sharedState": "NewOwner",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": 120.65625,
                        "y": -157.8125
                    }
                },
                {
                    "id": "dcb0f200-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_Owners",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": -219.34375,
                        "y": -187.8125
                    }
                }
            ],
            "edges": [
                {
                    "id": "dcb0fb88-468c-11e7-a919-92ebcb67fe33",
                    "name": "e_AddOwner",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "b53814ec-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0e896-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "dcb0fd5e-468c-11e7-a919-92ebcb67fe33",
                    "name": "e_FindOwners",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0e896-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "b53814ec-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "dcb0fe62-468c-11e7-a919-92ebcb67fe33",
                    "name": "e_Search",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "b53814ec-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0f200-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "dcb0ff34-468c-11e7-a919-92ebcb67fe33",
                    "name": "e_FindOwners",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0f200-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "b53814ec-468c-11e7-a919-92ebcb67fe33"
                }
            ],
            "startElementId": "32ea3d10-789a-11ea-8c87-010078a2bc20"
        },
        {
            "name": "NewOwner",
            "id": "b23d193c-287a-4eb9-a318-52ead7680ff7",
            "generator": "random(edge_coverage(100))",
            "actions": [],
            "vertices": [
                {
                    "id": "dcb0d798-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_NewOwner",
                    "sharedState": "NewOwner",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": 0,
                        "y": 0
                    }
                },
                {
                    "id": "dcb0eab2-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_IncorrectData",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": 131.65625,
                        "y": -205.3125
                    }
                },
                {
                    "id": "dcb0f3c2-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_OwnerInformation",
                    "sharedState": "OwnerInformation",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": -284.34375,
                        "y": -143.3125
                    }
                }
            ],
            "edges": [
                {
                    "id": "dcb104e8-468c-11e7-a919-92ebcb67fe33",
                    "name": "e_IncorrectData",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0d798-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0eab2-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "dcb10736-468c-11e7-a919-92ebcb67fe33",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0eab2-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0d798-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "dcb10812-468c-11e7-a919-92ebcb67fe33",
                    "name": "e_CorrectData",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0d798-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0f3c2-468c-11e7-a919-92ebcb67fe33"
                }
            ],
            "startElementId": "32ea3d10-789a-11ea-8c87-010078a2bc20"
        },
        {
            "name": "OwnerInformation",
            "id": "5f1149c3-2853-47e6-838d-691bf30406a8",
            "generator": "random(edge_coverage(100))",
            "actions": [
                "numOfPets=0;"
            ],
            "vertices": [
                {
                    "id": "dcb0dba8-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_OwnerInformation",
                    "sharedState": "OwnerInformation",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": -23.34375,
                        "y": -51.8125
                    }
                },
                {
                    "id": "dcb0ebb6-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_NewPet",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": -27.34375,
                        "y": 118.1875
                    }
                },
                {
                    "id": "dcb0f8a4-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_Pet",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": -317.34375,
                        "y": 7.1875
                    }
                },
                {
                    "id": "971ec0b8-468d-11e7-a919-92ebcb67fe33",
                    "name": "v_NewVisit",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": 139.65625,
                        "y": -195.8125
                    }
                },
                {
                    "id": "971ec57c-468d-11e7-a919-92ebcb67fe33",
                    "name": "v_FindOwners",
                    "sharedState": "FindOwners",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": -270.34375,
                        "y": -181.8125
                    }
                }
            ],
            "edges": [
                {
                    "id": "971ec838-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_AddPetSuccessfully",
                    "actions": [
                        " numOfPets++;"
                    ],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0ebb6-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0dba8-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971ecaa4-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_AddNewPet",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0dba8-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0ebb6-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971ecca2-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_EditPet",
                    "guard": "numOfPets>0",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0dba8-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0f8a4-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971ece78-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_UpdatePet",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0f8a4-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0dba8-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971ed0b2-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_AddPetFailed",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0ebb6-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0ebb6-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971ed3c8-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_AddVisit",
                    "guard": "numOfPets>0",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0dba8-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "971ec0b8-468d-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971ed53a-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_VisitAddedSuccessfully",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "971ec0b8-468d-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0dba8-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971ed738-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_VisitAddedFailed",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "971ec0b8-468d-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "971ec0b8-468d-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971edad0-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_FindOwners",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0dba8-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "971ec57c-468d-11e7-a919-92ebcb67fe33"
                }
            ],
            "startElementId": "32ea3d10-789a-11ea-8c87-010078a2bc20"
        },
        {
            "name": "PetClinic",
            "id": "3f6b365f-7011-4db6-b0cc-e19aa453d9b8",
            "generator": "random(edge_coverage(100))",
            "actions": [],
            "vertices": [
                {
                    "id": "dcb0dde2-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_HomePage",
                    "sharedState": "HomePage",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": 0,
                        "y": 0
                    }
                },
                {
                    "id": "dcb0ef4e-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_FindOwners",
                    "sharedState": "FindOwners",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": 112.65625,
                        "y": -180.8125
                    }
                },
                {
                    "id": "dcb0f8a5-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_Veterinarians",
                    "sharedState": "Veterinarians",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": -246.34375,
                        "y": -153.8125
                    }
                }
            ],
            "edges": [
                {
                    "id": "971edcce-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_FindOwners",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0dde2-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0ef4e-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971ede36-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_HomePage",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0ef4e-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0dde2-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971ee142-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_Veterinarians",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0dde2-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0f8a5-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971ee2b4-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_HomePage",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0f8a5-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0dde2-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971ee5c0-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_Veterinarians",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0ef4e-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0f8a5-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "971ee732-468d-11e7-a919-92ebcb67fe33",
                    "name": "e_FindOwners",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0f8a5-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0ef4e-468c-11e7-a919-92ebcb67fe33"
                },
                {
                    "id": "32ea3d10-789a-11ea-8c87-010078a2bc20",
                    "name": "e_StartBrowser",
                    "actions": [],
                    "requirements": [],
                    "properties": [],
                    "sourceVertexId": "dcb0dde2-468c-11e7-a919-92ebcb67fe33",
                    "targetVertexId": "dcb0dde2-468c-11e7-a919-92ebcb67fe33"
                }
            ],
            "startElementId": "32ea3d10-789a-11ea-8c87-010078a2bc20"
        },
        {
            "name": "Veterinarians",
            "id": "368a9635-c59a-4285-ad01-cf75b0baa978",
            "generator": "random(vertex_coverage(100))",
            "actions": [],
            "vertices": [
                {
                    "id": "dcb0defa-468c-11e7-a919-92ebcb67fe33",
                    "name": "v_Veterinarians",
                    "sharedState": "Veterinarians",
                    "actions": [],
                    "requirements": [],
                    "properties": {
                        "x": 0,
                        "y": 0
                    }
                }
            ],
            "edges": [],
            "startElementId": "32ea3d10-789a-11ea-8c87-010078a2bc20"
        }
    ]
}