@rsconcept/rstool 1.7.1 → 2.0.0

package/examples/library-loans/anti/species-as-genus.json

@@ -0,0 +1,334 @@
+{
+  "contractVersion": "3.3.0",
+  "state": {
+    "sessionId": "33693e34-bcd1-4d9d-91da-9260a1c77f27",
+    "alias": "LIB",
+    "title": "Антипример: species-as-genus",
+    "comment": "Выдача книг в библиотеке. Эксплицировать понятия выдачи и доступности для проектирования ИС: модель данных и проверки при сохранении.\nL1. Исключено: штрафы и оплата (п. 8); невыразимо: сумма штрафа, долг читателя в рублях.\nL2. Исключено: история выдач — только текущее состояние (п. 7); невыразимо: бывшие выдачи, сколько раз читатель брал издание, дата возврата.\nL3. Исключено: каталог и поиск (п. 9) — интерфейс, не предметная область; невыразимо: автор издания, название.\nDC1. основное отношение «выдача» S2: S2: читатель × экземпляр × день выдачи — просрочка требует дня, доступность — экземпляра; «один читатель у экземпляра» — аксиома A1, а не тип.\nDC2. срок выдачи: константа 14 в формуле D4 — п. 2: срок одинаков для всех.\nDC3. текущий день: S3: Z — просрочка — производное понятие, не неопределяемое.\nDC4. однозначность выдачи по экземпляру: аксиома A1 — п. 3.\nDC5. издание экземпляра: отношение S1 и аксиома A3 (однозначность и всюду определённость) — п. 1.\nDC6. запрет новой выдачи должнику: без аксиомы — это правило процедуры выдачи, а схема описывает состояние (L2).",
+    "createdAt": "2026-10-25T18:34:34.430Z",
+    "updatedAt": "2026-10-25T18:34:34.432Z",
+    "revisions": [
+      {
+        "revisionId": "7ea65eb6-86b0-4908-92fb-54d0a63e9cb2",
+        "at": "2026-10-25T18:34:34.432Z",
+        "message": "Антипример: species-as-genus"
+      }
+    ],
+    "items": [
+      {
+        "id": 1,
+        "alias": "X1",
+        "cstType": "basic",
+        "definitionFormal": "",
+        "term": "читатели",
+        "definitionText": "",
+        "convention": "Записанные читатели библиотеки.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 2,
+        "alias": "X2",
+        "cstType": "basic",
+        "definitionFormal": "",
+        "term": "экземпляры",
+        "definitionText": "",
+        "convention": "Физические экземпляры книг фонда (ТЗ 1).",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X2"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 3,
+        "alias": "X3",
+        "cstType": "basic",
+        "definitionFormal": "",
+        "term": "издания",
+        "definitionText": "",
+        "convention": "Издания: книга в конкретном издании; у издания может быть много экземпляров.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X3"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 4,
+        "alias": "S1",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X2×X3)",
+        "term": "издание экземпляра",
+        "definitionText": "",
+        "convention": "Пара (экземпляр, издание): экземпляр — копия издания (ТЗ 1).",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X3"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 5,
+        "alias": "S3",
+        "cstType": "structure",
+        "definitionFormal": "Z",
+        "term": "текущий день",
+        "definitionText": "",
+        "convention": "Номер текущего дня в той же нумерации, что и дни выдачи.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 2,
+            "isOrdered": true,
+            "isArithmetic": true,
+            "isIntegerCompatible": true
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 6,
+        "alias": "D2",
+        "cstType": "term",
+        "definitionFormal": "X2\\D1",
+        "term": "доступные экземпляры",
+        "definitionText": "Экземпляры, которые сейчас не выданы.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X2"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 7,
+        "alias": "F1",
+        "cstType": "function",
+        "definitionFormal": "[ε∈X3] Pr1(Fi2[{ε}](S1))",
+        "term": "экземпляры издания",
+        "definitionText": "Все экземпляры данного издания.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X2"
+              }
+            },
+            "args": [
+              {
+                "alias": "ε",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X3"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 8,
+        "alias": "F2",
+        "cstType": "function",
+        "definitionFormal": "[ε∈X3] F1[ε]\\D1",
+        "term": "доступные экземпляры издания",
+        "definitionText": "Невыданные экземпляры данного издания.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 7,
+            "result": {
+              "typeID": 5,
+              "base": {
+                "typeID": 3,
+                "baseID": "X2"
+              }
+            },
+            "args": [
+              {
+                "alias": "ε",
+                "type": {
+                  "typeID": 3,
+                  "baseID": "X3"
+                }
+              }
+            ]
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 9,
+        "alias": "D3",
+        "cstType": "term",
+        "definitionFormal": "D{ε∈X3 | F2[ε]≠∅}",
+        "term": "доступные издания",
+        "definitionText": "Издания, у которых есть хотя бы один доступный экземпляр.",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X3"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 10,
+        "alias": "A3",
+        "cstType": "axiom",
+        "definitionFormal": "card(S1)=card(Pr1(S1)) & Pr1(S1)=X2",
+        "term": "у экземпляра одно издание",
+        "definitionText": "Каждый экземпляр — копия ровно одного издания (ТЗ 1).",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 6
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 11,
+        "alias": "S2",
+        "cstType": "structure",
+        "definitionFormal": "ℬ(X2×X1)",
+        "term": "читатель экземпляра",
+        "definitionText": "",
+        "convention": "Пара (экземпляр, читатель): у кого экземпляр сейчас.",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 4,
+              "factors": [
+                {
+                  "typeID": 3,
+                  "baseID": "X2"
+                },
+                {
+                  "typeID": 3,
+                  "baseID": "X1"
+                }
+              ]
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 12,
+        "alias": "D1",
+        "cstType": "term",
+        "definitionFormal": "Pr1(S2)",
+        "term": "выданные экземпляры",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X2"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      },
+      {
+        "id": 13,
+        "alias": "D5",
+        "cstType": "term",
+        "definitionFormal": "Pr2(S2)",
+        "term": "читатели с выдачами",
+        "definitionText": "",
+        "convention": "",
+        "analysis": {
+          "success": true,
+          "type": {
+            "typeID": 5,
+            "base": {
+              "typeID": 3,
+              "baseID": "X1"
+            }
+          },
+          "valueClass": "value",
+          "diagnostics": []
+        }
+      }
+    ],
+    "model": {
+      "items": []
+    }
+  },
+  "diagnostics": []
+}