activefacts-examples 1.7.1

data/metadata/json/CinemaBookings.json

@@ -0,0 +1,354 @@
+{
+  "types": {
+    "Booking": {
+      "is_main": true,
+      "id": "66e2a325-ef20-46ad-876e-7fe4e345b3df",
+      "functions": [
+        {
+          "title": "involving Person",
+          "type": "Person",
+          "where": "this Person booked some Session for some Number of seats"
+        },
+        {
+          "title": "involving Session",
+          "type": "Session",
+          "where": "some Person booked this Session for some Number of seats"
+        },
+        {
+          "title": "involving Number",
+          "type": "Number",
+          "where": "some Person booked some Session for this Number of seats"
+        },
+        {
+          "title": "all Allocated Seat",
+          "type": "Seat",
+          "where": "this Booking has some allocated-Seat",
+          "role_id": "000264b1-9624-4b99-ac6d-e13ba7548c31",
+          "is_list": true
+        },
+        {
+          "title": "Booking is confirmed",
+          "type": "boolean",
+          "where": "this Booking is confirmed",
+          "role_id": "88d9a2eb-ceeb-4f7a-92b9-e388531f5fa3"
+        }
+      ]
+    },
+    "Cinema": {
+      "is_main": true,
+      "id": "2e20e87c-8d41-48b0-8675-5ea3c8e5cea1",
+      "functions": [
+        {
+          "title": "Cinema ID",
+          "type": "Cinema ID",
+          "where": "this Cinema has one Cinema ID",
+          "role_id": "6b9d259d-9dcf-4c09-af7e-1d249ac074a4"
+        },
+        {
+          "title": "all Session",
+          "type": "Session",
+          "where": "this Cinema shows some Film on some DateTime",
+          "role_id": "b39cbef2-94f6-4ba6-ae88-b6defdaaca84",
+          "is_list": true
+        },
+        {
+          "title": "all Row",
+          "type": "Row",
+          "where": "this Cinema contains some Row",
+          "role_id": "315c2249-2bc8-40ac-bf86-8d8c8dfcc3de",
+          "is_list": true
+        }
+      ]
+    },
+    "Cinema ID": {
+      "is_main": false,
+      "id": "acbc58f0-217d-426b-86db-f8fc1327a4c0",
+      "functions": [
+        {
+          "title": "Cinema",
+          "type": "Cinema",
+          "where": "this Cinema ID is of one Cinema",
+          "role_id": "b2f072ba-24a5-4698-b8a7-7aa5bc850b82"
+        }
+      ]
+    },
+    "DateTime": {
+      "is_main": false,
+      "id": "a56af9cf-07b4-43b5-aeed-b503b765edb6",
+      "functions": [
+        {
+          "title": "all Session",
+          "type": "Session",
+          "where": "some Cinema shows some Film on this DateTime",
+          "role_id": "4732800a-411b-4dac-8ce0-a632a0f38a83",
+          "is_list": true
+        },
+        {
+          "title": "DateTime Value",
+          "type": "DateTime Value",
+          "where": "this DateTime has one DateTime Value",
+          "role_id": "04d9f7a9-c071-455b-9d52-e1d925d512af"
+        }
+      ]
+    },
+    "DateTime Value": {
+      "is_main": false,
+      "id": "a456f4c8-027d-4dd7-9e8a-1d7001e322f1",
+      "functions": [
+        {
+          "title": "DateTime",
+          "type": "DateTime",
+          "where": "this DateTime Value is of one DateTime",
+          "role_id": "d000494a-0a77-4f02-b2dd-19d3b9d86b49"
+        }
+      ]
+    },
+    "Film": {
+      "is_main": true,
+      "id": "1d7854f1-3a56-40a8-8e42-8cc27f189402",
+      "functions": [
+        {
+          "title": "all Session",
+          "type": "Session",
+          "where": "this Film is showing on some DateTime at some Cinema",
+          "role_id": "1e8993c7-259f-412f-83d9-cbafc8e9ba8b",
+          "is_list": true
+        },
+        {
+          "title": "Film ID",
+          "type": "Film ID",
+          "where": "this Film has one Film ID",
+          "role_id": "21b4b11d-a8f1-4ade-8ce5-20eed7b05674"
+        },
+        {
+          "title": "Name",
+          "type": "Name",
+          "where": "this Film has one Name",
+          "role_id": "6ff2e46a-319d-4093-b942-5355355ce989"
+        }
+      ]
+    },
+    "Film ID": {
+      "is_main": false,
+      "id": "fd7e6d26-5ab1-4e5f-a93f-65e75ad87fbe",
+      "functions": [
+        {
+          "title": "Film",
+          "type": "Film",
+          "where": "this Film ID is of one Film",
+          "role_id": "9445b372-97db-4caa-8888-baab5c62f84a"
+        }
+      ]
+    },
+    "Name": {
+      "is_main": false,
+      "id": "6c5d12e4-13ff-4a64-b3d8-9350ec73c377",
+      "functions": [
+        {
+          "title": "all Film",
+          "type": "Film",
+          "where": "some Film has this Name",
+          "role_id": "9d8cc638-ffd2-4a8d-8665-01e817af0852",
+          "is_list": true
+        },
+        {
+          "title": "Person",
+          "type": "Person",
+          "where": "this Name is of one Person",
+          "role_id": "87b43854-22f2-4545-b860-8f324319d88a"
+        }
+      ]
+    },
+    "Number": {
+      "is_main": false,
+      "id": "9b784cdb-0e16-405e-918c-a73a3625c364",
+      "functions": [
+        {
+          "title": "all Booking",
+          "type": "Booking",
+          "where": "some Person booked some Session for this Number of seats",
+          "role_id": "8e315a5f-0888-4474-9025-26ce0d7a3af0",
+          "is_list": true
+        }
+      ]
+    },
+    "Person": {
+      "is_main": true,
+      "id": "761ec600-dbb0-45fc-83be-252d128d3415",
+      "functions": [
+        {
+          "title": "all Booking",
+          "type": "Booking",
+          "where": "this Person booked some Session for some Number of seats",
+          "role_id": "bccb1951-35c9-426a-af5e-1d2d1f1234d1",
+          "is_list": true
+        },
+        {
+          "title": "Person ID",
+          "type": "Person ID",
+          "where": "this Person has one Person ID",
+          "role_id": "49efab3c-1f7a-4574-9059-4240e98bc163"
+        },
+        {
+          "title": "Login Name",
+          "type": "Name",
+          "where": "this Person has one login-Name",
+          "role_id": "6d0a8f1e-a649-4fba-b0b3-d86a22a21ac2"
+        }
+      ]
+    },
+    "Person ID": {
+      "is_main": false,
+      "id": "f8716d97-e01d-40f2-ae04-8f57553d1cd2",
+      "functions": [
+        {
+          "title": "Person",
+          "type": "Person",
+          "where": "this Person ID is of one Person",
+          "role_id": "1d46c4b4-efed-48d4-acab-3e630f561136"
+        }
+      ]
+    },
+    "Row": {
+      "is_main": false,
+      "id": "9858075d-b08e-44f6-bce8-e6722f5d3beb",
+      "functions": [
+        {
+          "title": "Row Nr",
+          "type": "Row Nr",
+          "where": "this Row has one Row Nr",
+          "role_id": "8ca63cf2-c59a-42ef-b82c-ca32dac82e0f"
+        },
+        {
+          "title": "Cinema",
+          "type": "Cinema",
+          "where": "this Row is in one Cinema",
+          "role_id": "edf7a328-a9b3-485f-a44b-0e203d42171d"
+        },
+        {
+          "title": "all Seat",
+          "type": "Seat",
+          "where": "this Row contains some Seat",
+          "role_id": "24bca8a6-df02-45d3-86b8-01b9c7a53517",
+          "is_list": true
+        }
+      ]
+    },
+    "Row Nr": {
+      "is_main": false,
+      "id": "8940891d-2822-4f3a-be26-eadd2c17c425",
+      "functions": [
+        {
+          "title": "all Row",
+          "type": "Row",
+          "where": "this Row Nr is of some Row",
+          "role_id": "656a376f-880d-413c-93d4-61a0ccd32764",
+          "is_list": true
+        }
+      ]
+    },
+    "Seat": {
+      "is_main": true,
+      "id": "6beb0ce8-2540-47ed-92ab-23b960458985",
+      "functions": [
+        {
+          "title": "all Booking",
+          "type": "Booking",
+          "where": "this Seat is allocated to some Booking",
+          "role_id": "2d3676e1-b3df-43a5-a0cd-fa2a18fff815",
+          "is_list": true
+        },
+        {
+          "title": "Seat Number",
+          "type": "Seat Number",
+          "where": "this Seat has one Seat Number",
+          "role_id": "669e47e6-c457-4b4f-ae77-9aaf3ffbf0e5"
+        },
+        {
+          "title": "Row",
+          "type": "Row",
+          "where": "this Seat is in one Row",
+          "role_id": "3906d493-1eb7-420f-99dc-ac92eabafa0b"
+        },
+        {
+          "title": "Section",
+          "type": "Section",
+          "where": "this Seat is in one Section",
+          "role_id": "49ae93e6-9bbd-4a5b-a121-4e64aea0916a"
+        }
+      ]
+    },
+    "Seat Number": {
+      "is_main": false,
+      "id": "865f53fc-70f2-40c8-b70f-0ec3be820686",
+      "functions": [
+        {
+          "title": "all Seat",
+          "type": "Seat",
+          "where": "this Seat Number is of some Seat",
+          "role_id": "76334990-7256-42db-a6a1-3cfd74b522d6",
+          "is_list": true
+        }
+      ]
+    },
+    "Section": {
+      "is_main": false,
+      "id": "9d0c48d2-d839-43f4-b265-3b28cf77eecc",
+      "functions": [
+        {
+          "title": "all Seat",
+          "type": "Seat",
+          "where": "this Section contains some Seat",
+          "role_id": "81e72fb6-cde3-42ee-b9b1-ca32c95d50ab",
+          "is_list": true
+        },
+        {
+          "title": "Section Name",
+          "type": "Section Name",
+          "where": "this Section has one Section Name",
+          "role_id": "ea4e8591-357e-4bbd-b52e-ee1b52149183"
+        }
+      ]
+    },
+    "Section Name": {
+      "is_main": false,
+      "id": "03144e21-e1fb-452d-a033-812292854993",
+      "functions": [
+        {
+          "title": "Section",
+          "type": "Section",
+          "where": "this Section Name is of one Section",
+          "role_id": "68980371-7306-42a4-97ae-d582372ef52c"
+        }
+      ]
+    },
+    "Session": {
+      "is_main": true,
+      "id": "4cfc4a97-7de9-4be2-9d65-ef20805c9450",
+      "functions": [
+        {
+          "title": "involving Cinema",
+          "type": "Cinema",
+          "where": "this Cinema shows some Film on some DateTime"
+        },
+        {
+          "title": "involving Film",
+          "type": "Film",
+          "where": "this Film is showing on some DateTime at some Cinema"
+        },
+        {
+          "title": "involving DateTime",
+          "type": "DateTime",
+          "where": "some Cinema shows some Film on this DateTime"
+        },
+        {
+          "title": "all Booking",
+          "type": "Booking",
+          "where": "some Person booked this Session for some Number of seats",
+          "role_id": "17e2f5ec-7d75-49ff-801f-ef6a745eff71",
+          "is_list": true
+        }
+      ]
+    }
+  }
+}