@rsconcept/rstool 1.7.1 → 2.0.0

package/examples/library-loans/brief.json

@@ -0,0 +1,502 @@
+{
+  "version": 1,
+  "status": "confirmed",
+  "approach": "project",
+  "object": "Выдача книг в библиотеке",
+  "task": "Эксплицировать понятия выдачи и доступности для проектирования ИС: модель данных и проверки при сохранении; v2 — продления и брони",
+  "source": "requirements-v1.md, requirements-v2.md",
+  "restrictions": [
+    {
+      "id": "L1",
+      "excludes": "штрафы и оплата (п. 8)",
+      "inexpressible": ["сумма штрафа", "долг читателя в рублях"]
+    },
+    {
+      "id": "L2",
+      "excludes": "история выдач — только текущее состояние (п. 7)",
+      "inexpressible": ["бывшие выдачи", "сколько раз читатель брал издание", "дата возврата"]
+    },
+    {
+      "id": "L3",
+      "excludes": "каталог и поиск (п. 9) — интерфейс, не предметная область",
+      "inexpressible": ["автор издания", "название"]
+    }
+  ],
+  "expressiveness": [
+    {
+      "id": "E1",
+      "concept": "выдача: кто, что и когда взял",
+      "ref": "п. 2",
+      "via": "родовая структура читатель × экземпляр × день",
+      "constituent": "S2"
+    },
+    {
+      "id": "E2",
+      "concept": "просроченные выдачи",
+      "ref": "п. 5",
+      "via": "день выдачи + 14 × (1 + число продлений) < текущий день",
+      "constituent": "D4"
+    },
+    {
+      "id": "E3",
+      "concept": "доступные экземпляры",
+      "ref": "п. 6",
+      "via": "экземпляры вне Pr2 выдач",
+      "constituent": "D2"
+    },
+    {
+      "id": "E4",
+      "concept": "доступные издания",
+      "ref": "п. 6",
+      "via": "у издания есть доступный экземпляр",
+      "constituent": "D3"
+    },
+    {
+      "id": "E5",
+      "concept": "должники",
+      "ref": "п. 5",
+      "via": "Pr1 просроченных выдач",
+      "constituent": "D6"
+    },
+    {
+      "id": "E6",
+      "concept": "число продлений выдачи",
+      "ref": "v2 п. 1",
+      "via": "число пар продлений экземпляра",
+      "constituent": "F4"
+    },
+    {
+      "id": "E7",
+      "concept": "забронированные издания",
+      "ref": "v2 п. 2",
+      "via": "Pr2 броней",
+      "constituent": "D7"
+    }
+  ],
+  "distinctions": [
+    {
+      "id": "V1",
+      "between": ["X2", "X3"],
+      "text": "экземпляр ≠ издание: выдают экземпляр, доступность спрашивают про издание"
+    },
+    {
+      "id": "V2",
+      "between": ["E5", "D5"],
+      "text": "должник ≠ читатель с выдачами",
+      "witness": "SC1"
+    }
+  ],
+  "invariants": [
+    {
+      "id": "I1",
+      "text": "Экземпляр не выдан двум читателям одновременно",
+      "ref": "п. 3",
+      "constituent": "A1",
+      "positive": "SC1",
+      "negative": "SC2"
+    },
+    {
+      "id": "I2",
+      "text": "На руках у читателя не больше 5 экземпляров",
+      "ref": "п. 4",
+      "constituent": "A2",
+      "positive": "SC1",
+      "negative": "SC3"
+    },
+    {
+      "id": "I3",
+      "text": "Каждый экземпляр — копия ровно одного издания",
+      "ref": "п. 1",
+      "constituent": "A3",
+      "positive": "SC1",
+      "negative": "SC4"
+    },
+    {
+      "id": "I4",
+      "text": "День выдачи не позже текущего",
+      "constituent": "A4",
+      "positive": "SC1",
+      "negative": "SC5"
+    },
+    {
+      "id": "I5",
+      "text": "Не больше двух продлений",
+      "ref": "v2 п. 1",
+      "constituent": "A5",
+      "positive": "SC7",
+      "negative": "SC8"
+    },
+    {
+      "id": "I6",
+      "text": "Бронируют только издание без доступных экземпляров",
+      "ref": "v2 п. 2",
+      "constituent": "A7",
+      "positive": "SC9",
+      "negative": "SC10"
+    },
+    {
+      "id": "I7",
+      "text": "Продлевается только выданный экземпляр",
+      "constituent": "A6",
+      "positive": "SC7",
+      "negative": "SC11"
+    }
+  ],
+  "decisions": [
+    {
+      "id": "DC1",
+      "topic": "основное отношение «выдача» S2",
+      "alternatives": ["читатель × издание", "экземпляр → читатель (функция)", "читатель × экземпляр × день"],
+      "choice": "S2: читатель × экземпляр × день выдачи",
+      "rationale": "просрочка требует дня, доступность — экземпляра; «один читатель у экземпляра» — аксиома A1, а не тип"
+    },
+    {
+      "id": "DC2",
+      "topic": "срок выдачи",
+      "alternatives": ["срок как компонента выдачи", "константа 14 в формуле"],
+      "choice": "константа 14 в формуле D4",
+      "rationale": "п. 2: срок одинаков для всех"
+    },
+    {
+      "id": "DC3",
+      "topic": "текущий день",
+      "alternatives": ["просроченные как S# (отмечает библиотекарь)", "S3: Z — номер текущего дня"],
+      "choice": "S3: Z",
+      "rationale": "просрочка — производное понятие, не неопределяемое"
+    },
+    {
+      "id": "DC4",
+      "topic": "однозначность выдачи по экземпляру",
+      "choice": "аксиома A1",
+      "rationale": "п. 3"
+    },
+    {
+      "id": "DC5",
+      "topic": "издание экземпляра",
+      "choice": "отношение S1 и аксиома A3 (однозначность и всюду определённость)",
+      "rationale": "п. 1"
+    },
+    {
+      "id": "DC6",
+      "topic": "запрет новой выдачи должнику",
+      "choice": "без аксиомы",
+      "rationale": "это правило процедуры выдачи, а схема описывает состояние (L2)"
+    },
+    {
+      "id": "DC7",
+      "topic": "продления",
+      "alternatives": [
+        "число продлений как четвёртая компонента выдачи",
+        "пара (экземпляр, число продлений)",
+        "пара (экземпляр, номер продления) на каждое продление"
+      ],
+      "choice": "S4: пара (экземпляр, номер продления)",
+      "rationale": "S2 и сценарии v1 не меняются; число продлений — card, аксиома A5 простая"
+    },
+    {
+      "id": "DC8",
+      "topic": "срок выдачи с продлениями",
+      "supersedes": "DC2",
+      "choice": "D4: 14 × (1 + число продлений)",
+      "rationale": "v2 п. 1; без продлений совпадает с v1 — сценарии v1 проходят"
+    },
+    {
+      "id": "DC9",
+      "topic": "бронь",
+      "alternatives": ["читатель × экземпляр", "читатель × издание"],
+      "choice": "S5: читатель × издание",
+      "rationale": "бронируют издание, конкретный экземпляр неизвестен"
+    }
+  ],
+  "scenarios": [
+    {
+      "id": "SC1",
+      "title": "Две выдачи, одна просрочена",
+      "values": {
+        "X1": ["ann", "bob", "cat"],
+        "X2": ["e1", "e2", "e3", "e4"],
+        "X3": ["war", "peace"],
+        "S1": [
+          ["e1", "war"],
+          ["e2", "war"],
+          ["e3", "peace"],
+          ["e4", "peace"]
+        ],
+        "S2": [
+          ["ann", "e1", 1],
+          ["bob", "e3", 10]
+        ],
+        "S3": 20
+      },
+      "expect": [
+        {
+          "of": "D1",
+          "value": ["e1", "e3"]
+        },
+        {
+          "of": "D2",
+          "value": ["e2", "e4"]
+        },
+        {
+          "of": "D3",
+          "value": ["war", "peace"]
+        },
+        {
+          "of": "F2",
+          "args": ["war"],
+          "value": ["e2"]
+        },
+        {
+          "of": "D4",
+          "value": [["ann", "e1", 1]]
+        },
+        {
+          "of": "D6",
+          "value": ["ann"]
+        },
+        {
+          "of": "D5",
+          "value": ["ann", "bob"]
+        }
+      ]
+    },
+    {
+      "id": "SC2",
+      "title": "Экземпляр e1 выдан двоим",
+      "base": "SC1",
+      "values": {
+        "S2": [
+          ["ann", "e1", 1],
+          ["bob", "e1", 2]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A1",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC3",
+      "title": "Шесть экземпляров у одного читателя",
+      "base": "SC1",
+      "values": {
+        "X2": ["e1", "e2", "e3", "e4", "e5", "e6"],
+        "S1": [
+          ["e1", "war"],
+          ["e2", "war"],
+          ["e3", "war"],
+          ["e4", "war"],
+          ["e5", "war"],
+          ["e6", "war"]
+        ],
+        "S2": [
+          ["ann", "e1", 1],
+          ["ann", "e2", 1],
+          ["ann", "e3", 1],
+          ["ann", "e4", 1],
+          ["ann", "e5", 1],
+          ["ann", "e6", 1]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A2",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC4",
+      "title": "Экземпляр без издания",
+      "base": "SC1",
+      "values": {
+        "S1": [
+          ["e1", "war"],
+          ["e2", "war"],
+          ["e3", "peace"]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A3",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC5",
+      "title": "Выдача из будущего",
+      "base": "SC1",
+      "values": {
+        "S2": [["ann", "e1", 25]]
+      },
+      "expect": [
+        {
+          "of": "A4",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC6",
+      "title": "Все экземпляры «war» на руках",
+      "base": "SC1",
+      "values": {
+        "S2": [
+          ["ann", "e1", 1],
+          ["bob", "e2", 10]
+        ]
+      },
+      "expect": [
+        {
+          "of": "D3",
+          "value": ["peace"]
+        },
+        {
+          "of": "F2",
+          "args": ["war"],
+          "value": []
+        }
+      ]
+    },
+    {
+      "id": "SC7",
+      "title": "Продление снимает просрочку",
+      "base": "SC1",
+      "values": {
+        "S4": [["e1", 1]]
+      },
+      "expect": [
+        {
+          "of": "F4",
+          "args": ["e1"],
+          "value": 1
+        },
+        {
+          "of": "D4",
+          "value": []
+        },
+        {
+          "of": "D6",
+          "value": []
+        }
+      ]
+    },
+    {
+      "id": "SC8",
+      "title": "Три продления",
+      "base": "SC1",
+      "values": {
+        "S4": [
+          ["e1", 1],
+          ["e1", 2],
+          ["e1", 3]
+        ]
+      },
+      "expect": [
+        {
+          "of": "A5",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC9",
+      "title": "Бронь издания без доступных экземпляров",
+      "base": "SC6",
+      "values": {
+        "S5": [["cat", "war"]]
+      },
+      "expect": [
+        {
+          "of": "D7",
+          "value": ["war"]
+        },
+        {
+          "of": "A7",
+          "holds": true
+        }
+      ]
+    },
+    {
+      "id": "SC10",
+      "title": "Бронь издания с доступным экземпляром",
+      "base": "SC1",
+      "values": {
+        "S5": [["cat", "war"]]
+      },
+      "expect": [
+        {
+          "of": "A7",
+          "holds": false
+        }
+      ]
+    },
+    {
+      "id": "SC11",
+      "title": "Продление невыданного экземпляра",
+      "base": "SC1",
+      "values": {
+        "S4": [["e2", 1]]
+      },
+      "expect": [
+        {
+          "of": "A6",
+          "holds": false
+        }
+      ]
+    }
+  ],
+  "questions": [
+    {
+      "round": 1,
+      "text": "Для чего схема?",
+      "proposed": "основа для ИС: модель данных и проверки",
+      "answer": "да"
+    },
+    {
+      "round": 1,
+      "text": "Что исключаем?",
+      "proposed": "штрафы, историю выдач, каталог и поиск",
+      "consequence": "невыразимы «сумма штрафа», «бывшие выдачи», «автор издания»",
+      "answer": "да"
+    },
+    {
+      "round": 1,
+      "text": "Что различать?",
+      "proposed": "экземпляр и издание; должника и читателя с выдачами",
+      "answer": "да"
+    },
+    {
+      "round": 2,
+      "text": "Срок выдачи одинаков для всех?",
+      "proposed": "да, 14 дней",
+      "consequence": "срок — константа в формуле, а не данные выдачи",
+      "answer": "да"
+    },
+    {
+      "round": 2,
+      "text": "Запрещать ли выдачу должнику?",
+      "proposed": "нет, это правило процедуры",
+      "consequence": "без аксиомы; схема описывает состояние",
+      "answer": "да"
+    },
+    {
+      "round": 1,
+      "text": "v2: что должно остаться неизменным?",
+      "proposed": "все понятия и правила v1",
+      "answer": "да"
+    },
+    {
+      "round": 2,
+      "text": "Продление считается от исходного дня выдачи?",
+      "proposed": "да, +14 дней за каждое",
+      "consequence": "день выдачи не меняется; S2 остаётся как в v1",
+      "answer": "да"
+    }
+  ],
+  "assumptions": ["дни нумеруются целыми числами в одной шкале"],
+  "openQuestions": []
+}