{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:5SMSB6ZLITTAR67PED4PHLAJ4Z","short_pith_number":"pith:5SMSB6ZL","canonical_record":{"source":{"id":"2506.08606","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-10T09:13:58Z","cross_cats_sorted":[],"title_canon_sha256":"dca51c129ca8f75d8a2839c15825aae46c5884fc14f5397292419fd801923d82","abstract_canon_sha256":"e019f66c69a3e3eff21f275ef5b464b100141a68f2308682337ba729aa4cb353"},"schema_version":"1.0"},"canonical_sha256":"ec9920fb2b44e608fbef20f8f3ac09e66907bf17ef66531880282510302ab986","source":{"kind":"arxiv","id":"2506.08606","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.08606","created_at":"2026-07-05T11:19:10Z"},{"alias_kind":"arxiv_version","alias_value":"2506.08606v1","created_at":"2026-07-05T11:19:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08606","created_at":"2026-07-05T11:19:10Z"},{"alias_kind":"pith_short_12","alias_value":"5SMSB6ZLITTA","created_at":"2026-07-05T11:19:10Z"},{"alias_kind":"pith_short_16","alias_value":"5SMSB6ZLITTAR67P","created_at":"2026-07-05T11:19:10Z"},{"alias_kind":"pith_short_8","alias_value":"5SMSB6ZL","created_at":"2026-07-05T11:19:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:5SMSB6ZLITTAR67PED4PHLAJ4Z","target":"record","payload":{"canonical_record":{"source":{"id":"2506.08606","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-10T09:13:58Z","cross_cats_sorted":[],"title_canon_sha256":"dca51c129ca8f75d8a2839c15825aae46c5884fc14f5397292419fd801923d82","abstract_canon_sha256":"e019f66c69a3e3eff21f275ef5b464b100141a68f2308682337ba729aa4cb353"},"schema_version":"1.0"},"canonical_sha256":"ec9920fb2b44e608fbef20f8f3ac09e66907bf17ef66531880282510302ab986","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:19:10.388008Z","signature_b64":"PS9dRzXT+NDyf+ERaizp3DLMijUga8WA0Pts1kzWI5U5RoRNcnyQN61nrkYdgm7WA6OcXsHwMm3rxy3eJDujBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec9920fb2b44e608fbef20f8f3ac09e66907bf17ef66531880282510302ab986","last_reissued_at":"2026-07-05T11:19:10.387557Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:19:10.387557Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.08606","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:19:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"STlTFyEyZQfKP7VAn+v1VMZ0EG5/5NPd3NW3TFs3pK6sEOXb8lnQ4xJpKrMPFsljFwu7t7a+8I0dTzOu+KVvAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:25:23.474580Z"},"content_sha256":"ac39fb6f07ee8438250e94fbd7fd37c425142a7daf42750d9ae67c6b0134a414","schema_version":"1.0","event_id":"sha256:ac39fb6f07ee8438250e94fbd7fd37c425142a7daf42750d9ae67c6b0134a414"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:5SMSB6ZLITTAR67PED4PHLAJ4Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"RE-oriented Model Development with LLM Support and Deduction-based Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Radoslaw Klimek","submitted_at":"2025-06-10T09:13:58Z","abstract_excerpt":"The requirements engineering (RE) phase is pivotal in developing high-quality software. Integrating advanced modelling techniques with large language models (LLMs) and formal verification in a logical style can significantly enhance this process. We propose a comprehensive framework that focuses on specific Unified Modelling Language (UML) diagrams for preliminary system development. This framework offers visualisations at various modelling stages and seamlessly integrates large language models and logical reasoning engines. The behavioural models generated with the assistance of LLMs are auto"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08606","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.08606/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:19:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QxETsb8xWim6WR2woHCYhx+zyFkKGmjaAWfeOIvKnlvaI9+zYDFsP+leIxMr4zUm25LmjJvSF5IIrfY6FI+JCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:25:23.475088Z"},"content_sha256":"54c00577798e07ad30f33689fa85c11da9bc281468eeb0213276115ffe2aec7d","schema_version":"1.0","event_id":"sha256:54c00577798e07ad30f33689fa85c11da9bc281468eeb0213276115ffe2aec7d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z/bundle.json","state_url":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-08T12:25:23Z","links":{"resolver":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z","bundle":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z/bundle.json","state":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:5SMSB6ZLITTAR67PED4PHLAJ4Z","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e019f66c69a3e3eff21f275ef5b464b100141a68f2308682337ba729aa4cb353","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-10T09:13:58Z","title_canon_sha256":"dca51c129ca8f75d8a2839c15825aae46c5884fc14f5397292419fd801923d82"},"schema_version":"1.0","source":{"id":"2506.08606","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.08606","created_at":"2026-07-05T11:19:10Z"},{"alias_kind":"arxiv_version","alias_value":"2506.08606v1","created_at":"2026-07-05T11:19:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08606","created_at":"2026-07-05T11:19:10Z"},{"alias_kind":"pith_short_12","alias_value":"5SMSB6ZLITTA","created_at":"2026-07-05T11:19:10Z"},{"alias_kind":"pith_short_16","alias_value":"5SMSB6ZLITTAR67P","created_at":"2026-07-05T11:19:10Z"},{"alias_kind":"pith_short_8","alias_value":"5SMSB6ZL","created_at":"2026-07-05T11:19:10Z"}],"graph_snapshots":[{"event_id":"sha256:54c00577798e07ad30f33689fa85c11da9bc281468eeb0213276115ffe2aec7d","target":"graph","created_at":"2026-07-05T11:19:10Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2506.08606/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The requirements engineering (RE) phase is pivotal in developing high-quality software. Integrating advanced modelling techniques with large language models (LLMs) and formal verification in a logical style can significantly enhance this process. We propose a comprehensive framework that focuses on specific Unified Modelling Language (UML) diagrams for preliminary system development. This framework offers visualisations at various modelling stages and seamlessly integrates large language models and logical reasoning engines. The behavioural models generated with the assistance of LLMs are auto","authors_text":"Radoslaw Klimek","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-10T09:13:58Z","title":"RE-oriented Model Development with LLM Support and Deduction-based Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.08606","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:ac39fb6f07ee8438250e94fbd7fd37c425142a7daf42750d9ae67c6b0134a414","target":"record","created_at":"2026-07-05T11:19:10Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e019f66c69a3e3eff21f275ef5b464b100141a68f2308682337ba729aa4cb353","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-10T09:13:58Z","title_canon_sha256":"dca51c129ca8f75d8a2839c15825aae46c5884fc14f5397292419fd801923d82"},"schema_version":"1.0","source":{"id":"2506.08606","kind":"arxiv","version":1}},"canonical_sha256":"ec9920fb2b44e608fbef20f8f3ac09e66907bf17ef66531880282510302ab986","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec9920fb2b44e608fbef20f8f3ac09e66907bf17ef66531880282510302ab986","first_computed_at":"2026-07-05T11:19:10.387557Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:19:10.387557Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PS9dRzXT+NDyf+ERaizp3DLMijUga8WA0Pts1kzWI5U5RoRNcnyQN61nrkYdgm7WA6OcXsHwMm3rxy3eJDujBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:19:10.388008Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.08606","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac39fb6f07ee8438250e94fbd7fd37c425142a7daf42750d9ae67c6b0134a414","sha256:54c00577798e07ad30f33689fa85c11da9bc281468eeb0213276115ffe2aec7d"],"state_sha256":"ed74eb985fae89db5289b23ae134e4da732b0b777a826859e407338cf53176a4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+EY7XMf8iOozxunvAHRhzFpycR4WZxtM/DU2IKVvkQzoEFPqTTEnufnGnqZYOMMWMhZSOCaMzQDGt8TRMI3YBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T12:25:23.484292Z","bundle_sha256":"413d6f5f40b1cb6fb36364322e40fc91b5c00148f0031a705b36e7cfbe102623"}}