@rsconcept/rstool 1.9.0 → 2.0.0

package/examples/clinic-booking/brief-v1.json

@@ -0,0 +1,332 @@
+{
+  "version": 1,
+  "status": "confirmed",
+  "approach": "project",
+  "object": "Запись пациентов на приём к врачу",
+  "task": "Эксплицировать слоты, записи и приёмы для проектирования модуля записи и его проверок",
+  "source": "requirements-v1.md",
+  "restrictions": [
+    {
+      "id": "L1",
+      "excludes": "уведомления (п. 6)",
+      "inexpressible": ["отправленное напоминание"]
+    },
+    {
+      "id": "L2",
+      "excludes": "оплата (п. 7)",
+      "inexpressible": ["оплаченный приём", "стоимость"]
+    },
+    {
+      "id": "L3",
+      "excludes": "отмены и история записей",
+      "inexpressible": ["отменённая запись", "неявка в прошлом месяце"]
+    }
+  ],
+  "expressiveness": [
+    {
+      "id": "E1",
+      "concept": "свободные слоты",
+      "ref": "п. 3",
+      "via": "слоты вне Pr2 записей",
+      "constituent": "D1"
+    },
+    {
+      "id": "E2",
+      "concept": "слоты, доступные пациенту",
+      "ref": "п. 4",
+      "via": "свободные без пересечения с записями пациента",
+      "constituent": "F4"
+    },
+    {
+      "id": "E3",
+      "concept": "пересечение слотов",
+      "ref": "п. 2, 4",
+      "via": "тот же день и перекрытие отрезков",
+      "constituent": "P1"
+    },
+    {
+      "id": "E4",
+      "concept": "состоявшиеся приёмы",
+      "ref": "п. 5",
+      "via": "родовая структура (пациент, слот) по DC3",
+      "constituent": "S5"
+    },
+    {
+      "id": "E5",
+      "concept": "слоты врача",
+      "ref": "п. 2",
+      "via": "фильтр «врач слота»",
+      "constituent": "F2"
+    },
+    {
+      "id": "E8",
+      "concept": "специальности врача",
+      "ref": "п. 1",
+      "via": "фильтр S1 по врачу",
+      "constituent": "F6"
+    }
+  ],
+  "distinctions": [
+    {
+      "id": "V1",
+      "between": ["E1", "E2"],
+      "text": "свободный слот ≠ доступный пациенту"
+    },
+    {
+      "id": "V2",
+      "between": ["S4", "S5"],
+      "text": "запись ≠ приём"
+    }
+  ],
+  "invariants": [
+    {
+      "id": "I1",
+      "text": "На слот не больше одной записи",
+      "ref": "п. 3",
+      "constituent": "A1",
+      "positive": "SC1",
+      "negative": "SC2"
+    },
+    {
+      "id": "I2",
+      "text": "Слоты одного врача не пересекаются",
+      "ref": "п. 2",
+      "constituent": "A2",
+      "positive": "SC1",
+      "negative": "SC3"
+    },
+    {
+      "id": "I3",
+      "text": "У слота один врач и одно время",
+      "constituent": "A3",
+      "positive": "SC1",
+      "negative": "SC6"
+    },
+    {
+      "id": "I4",
+      "text": "Начало слота раньше конца",
+      "constituent": "A4",
+      "positive": "SC1",
+      "negative": "SC4"
+    },
+    {
+      "id": "I5",
+      "text": "Приём бывает только по записи",
+      "ref": "п. 5",
+      "constituent": "A5",
+      "positive": "SC1",
+      "negative": "SC5"
+    },
+    {
+      "id": "I7",
+      "text": "У врача есть хотя бы одна специальность",
+      "ref": "п. 1",
+      "constituent": "A7",
+      "positive": "SC1",
+      "negative": "SC9"
+    }
+  ],
+  "decisions": [
+    {
+      "id": "DC1",
+      "topic": "слот",
+      "alternatives": ["слот как кортеж (врач, день, начало, конец)", "слот как сущность X4 с врачом и временем"],
+      "choice": "X4 и структуры S2, S3",
+      "rationale": "на слот ссылаются записи и приёмы; кортеж-слот пришлось бы повторять в каждой паре"
+    },
+    {
+      "id": "DC2",
+      "topic": "время",
+      "choice": "день и минуты как Z",
+      "rationale": "пересечение требует порядка и сравнения; календарные даты исключены (L3)"
+    },
+    {
+      "id": "DC3",
+      "topic": "приём",
+      "alternatives": ["приём = запись", "отдельная структура S5 ⊆ записей"],
+      "choice": "S5 и аксиома A5",
+      "rationale": "запись ≠ приём (п. 5): пациент может не прийти"
+    },
+    {
+      "id": "DC4",
+      "topic": "специальность записи",
+      "choice": "без аксиомы",
+      "rationale": "в требованиях нет правила о специальности при записи"
+    }
+  ],
+  "scenarios": [
+    {
+      "id": "SC1",
+      "title": "Два врача, пациент p1 записан на s1 и пришёл",
+      "values": {
+        "X1": ["house", "cuddy"],
+        "X2": ["therapy", "surgery"],
+        "X3": ["p1", "p2"],
+        "X4": ["s1", "s2", "s3", "s4"],
+        "S1": [
+          ["house", "therapy"],
+          ["cuddy", "surgery"],
+          ["cuddy", "therapy"]
+        ],
+        "S2": [
+          ["s1", "house"],
+          ["s2", "house"],
+          ["s3", "cuddy"],
+          ["s4", "cuddy"]
+        ],
+        "S3": [
+          ["s1", 1, 540, 570],
+          ["s2", 1, 570, 600],
+          ["s3", 1, 540, 600],
+          ["s4", 2, 600, 630]
+        ],
+        "S4": [["p1", "s1"]],
+        "S5": [["p1", "s1"]]
+      },
+      "expect": [
+        {
+          "of": "D1",
+          "value": ["s2", "s3", "s4"]
+        },
+        {
+          "of": "F4",
+          "args": ["p1"],
+          "value": ["s2", "s4"],
+          "note": "s3 свободен, но пересекается с s1"
+        },
+        {
+          "of": "F4",
+          "args": ["p2"],
+          "value": ["s2", "s3", "s4"]
+        },
+        {
+          "of": "P1",
+          "args": ["s1", "s3"],
+          "holds": true
+        },
+        {
+          "of": "P1",
+          "args": ["s1", "s2"],
+          "holds": false,
+          "note": "стык 570 — не пересечение"
+        },
+        {
+          "of": "F2",
+          "args": ["house"],
+          "value": ["s1", "s2"]
+        },
+        {
+          "of": "F6",
+          "args": ["cuddy"],
+          "value": ["therapy", "surgery"]
+        }
+      ]
+    },
+    {
+      "id": "SC2",
+      "title": "Двойная запись на s1",
+      "base": "SC1",
+      "values": {
+        "S4": [
+          ["p1", "s1"],
+          ["p2", "s1"]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A1",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC3",
+      "title": "Пересечение слотов врача",
+      "base": "SC1",
+      "values": {
+        "S3": [
+          ["s1", 1, 540, 570],
+          ["s2", 1, 560, 600],
+          ["s3", 1, 540, 600],
+          ["s4", 2, 600, 630]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A2",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC4",
+      "title": "Слот задом наперёд",
+      "base": "SC1",
+      "values": {
+        "S3": [
+          ["s1", 1, 570, 540],
+          ["s2", 1, 570, 600],
+          ["s3", 1, 540, 600],
+          ["s4", 2, 600, 630]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A4",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC5",
+      "title": "Приём без записи",
+      "base": "SC1",
+      "values": {
+        "S5": [
+          ["p1", "s1"],
+          ["p2", "s3"]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A5",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC6",
+      "title": "Слот без врача",
+      "base": "SC1",
+      "values": {
+        "S2": [
+          ["s1", "house"],
+          ["s2", "house"],
+          ["s3", "cuddy"]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A3",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC9",
+      "title": "Врач без специальности",
+      "base": "SC1",
+      "values": {
+        "S1": [["cuddy", "surgery"]]
+      },
+      "expect": [
+        {
+          "of": "A7",
+          "holds": false
+        }
+      ]
+    }
+  ],
+  "assumptions": ["у слота ровно один врач"],
+  "openQuestions": ["нужно ли правило «записываются к врачу нужной специальности»?"]
+}