@rsconcept/rstool 1.9.0 → 2.0.0

package/examples/library-loans/brief-v1.json

@@ -0,0 +1,340 @@
+{
+  "version": 1,
+  "status": "confirmed",
+  "approach": "project",
+  "object": "Выдача книг в библиотеке",
+  "task": "Эксплицировать понятия выдачи и доступности для проектирования ИС: модель данных и проверки при сохранении",
+  "source": "requirements-v1.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 < текущий день",
+      "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"
+    }
+  ],
+  "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"
+    }
+  ],
+  "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)"
+    }
+  ],
+  "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": []
+        }
+      ]
+    }
+  ],
+  "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": "да"
+    }
+  ],
+  "assumptions": ["дни нумеруются целыми числами в одной шкале"],
+  "openQuestions": []
+}