{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:5SMSB6ZLITTAR67PED4PHLAJ4Z","short_pith_number":"pith:5SMSB6ZL","schema_version":"1.0","canonical_sha256":"ec9920fb2b44e608fbef20f8f3ac09e66907bf17ef66531880282510302ab986","source":{"kind":"arxiv","id":"2506.08606","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.08606","created_at":"2026-07-05T11:19:10.387609+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.08606v1","created_at":"2026-07-05T11:19:10.387609+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.08606","created_at":"2026-07-05T11:19:10.387609+00:00"},{"alias_kind":"pith_short_12","alias_value":"5SMSB6ZLITTA","created_at":"2026-07-05T11:19:10.387609+00:00"},{"alias_kind":"pith_short_16","alias_value":"5SMSB6ZLITTAR67P","created_at":"2026-07-05T11:19:10.387609+00:00"},{"alias_kind":"pith_short_8","alias_value":"5SMSB6ZL","created_at":"2026-07-05T11:19:10.387609+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z","json":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z.json","graph_json":"https://pith.science/api/pith-number/5SMSB6ZLITTAR67PED4PHLAJ4Z/graph.json","events_json":"https://pith.science/api/pith-number/5SMSB6ZLITTAR67PED4PHLAJ4Z/events.json","paper":"https://pith.science/paper/5SMSB6ZL"},"agent_actions":{"view_html":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z","download_json":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z.json","view_paper":"https://pith.science/paper/5SMSB6ZL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.08606&json=true","fetch_graph":"https://pith.science/api/pith-number/5SMSB6ZLITTAR67PED4PHLAJ4Z/graph.json","fetch_events":"https://pith.science/api/pith-number/5SMSB6ZLITTAR67PED4PHLAJ4Z/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z/action/storage_attestation","attest_author":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z/action/author_attestation","sign_citation":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z/action/citation_signature","submit_replication":"https://pith.science/pith/5SMSB6ZLITTAR67PED4PHLAJ4Z/action/replication_record"}},"created_at":"2026-07-05T11:19:10.387609+00:00","updated_at":"2026-07-05T11:19:10.387609+00:00"}