{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:KUGAIK6PFNK7OZB6RXEVE25QAS","short_pith_number":"pith:KUGAIK6P","canonical_record":{"source":{"id":"2508.03215","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-05T08:45:19Z","cross_cats_sorted":[],"title_canon_sha256":"2cb60e606eee21f8bb4baf06fc948cee379501aad294b5b9d2b3ee8237164342","abstract_canon_sha256":"00170ca8aecdd61b232395f42c5c4ce942a8691673d701ac08aff0e5c152d3b9"},"schema_version":"1.0"},"canonical_sha256":"550c042bcf2b55f7643e8dc9526bb0049ffa172b3403a19f31d9ea3c3cb84e02","source":{"kind":"arxiv","id":"2508.03215","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.03215","created_at":"2026-07-05T11:48:38Z"},{"alias_kind":"arxiv_version","alias_value":"2508.03215v1","created_at":"2026-07-05T11:48:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.03215","created_at":"2026-07-05T11:48:38Z"},{"alias_kind":"pith_short_12","alias_value":"KUGAIK6PFNK7","created_at":"2026-07-05T11:48:38Z"},{"alias_kind":"pith_short_16","alias_value":"KUGAIK6PFNK7OZB6","created_at":"2026-07-05T11:48:38Z"},{"alias_kind":"pith_short_8","alias_value":"KUGAIK6P","created_at":"2026-07-05T11:48:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:KUGAIK6PFNK7OZB6RXEVE25QAS","target":"record","payload":{"canonical_record":{"source":{"id":"2508.03215","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-05T08:45:19Z","cross_cats_sorted":[],"title_canon_sha256":"2cb60e606eee21f8bb4baf06fc948cee379501aad294b5b9d2b3ee8237164342","abstract_canon_sha256":"00170ca8aecdd61b232395f42c5c4ce942a8691673d701ac08aff0e5c152d3b9"},"schema_version":"1.0"},"canonical_sha256":"550c042bcf2b55f7643e8dc9526bb0049ffa172b3403a19f31d9ea3c3cb84e02","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:48:38.976094Z","signature_b64":"+7YYbUN2ZXfoIzRNSt+/IU4ASAc/Y4ORAq0p5WWZr12PC2dYC7nrqmflMQp5WY38e3h05wBhDq0VOJbgQcdHBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"550c042bcf2b55f7643e8dc9526bb0049ffa172b3403a19f31d9ea3c3cb84e02","last_reissued_at":"2026-07-05T11:48:38.975604Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:48:38.975604Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.03215","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:48:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T6DJ0M3zO5CM5dVyJ6+Qi67mUVW87w2E+mUiUIQe1nJXwe0PzTGyH47MAuBDQ/1WTKR1JlBtlcsldtXkeFF8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T20:33:42.251762Z"},"content_sha256":"0819f111b864e64848a3daa4b5a93b41a73089d04002baa60614fd6bedfb527c","schema_version":"1.0","event_id":"sha256:0819f111b864e64848a3daa4b5a93b41a73089d04002baa60614fd6bedfb527c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:KUGAIK6PFNK7OZB6RXEVE25QAS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A System Model Generation Benchmark from Natural Language Requirements","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dongming Jin, Jia Li, Linyu Li, Xiaohong Chen, Zheng Fang, Zhi Jin","submitted_at":"2025-08-05T08:45:19Z","abstract_excerpt":"System models, a critical artifact in software development, provide a formal abstraction of both the structural and behavioral aspects of software systems, which can facilitate the early requirements analysis and architecture design. However, developing system models remains challenging due to the specific syntax of model description languages and the relative scarcity of public model examples. While large language models (LLMs) have shown promise in generating code with programming languages and could potentially aid in system model development, no benchmarks currently exist for evaluating th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.03215","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/2508.03215/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:48:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"su2D7l/mIySgZ+P75sN/itCWwMk9poGDlpnbZ8oX9wsDDCn+M3AQ4jqh4k7PAGcTqkyFYAUcyyNPP6P7chpLAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T20:33:42.252276Z"},"content_sha256":"c454b0eeb6d3a97d4eea832988049b882c99f83eeefbfb88aea0f5a655c79975","schema_version":"1.0","event_id":"sha256:c454b0eeb6d3a97d4eea832988049b882c99f83eeefbfb88aea0f5a655c79975"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KUGAIK6PFNK7OZB6RXEVE25QAS/bundle.json","state_url":"https://pith.science/pith/KUGAIK6PFNK7OZB6RXEVE25QAS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KUGAIK6PFNK7OZB6RXEVE25QAS/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-18T20:33:42Z","links":{"resolver":"https://pith.science/pith/KUGAIK6PFNK7OZB6RXEVE25QAS","bundle":"https://pith.science/pith/KUGAIK6PFNK7OZB6RXEVE25QAS/bundle.json","state":"https://pith.science/pith/KUGAIK6PFNK7OZB6RXEVE25QAS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KUGAIK6PFNK7OZB6RXEVE25QAS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:KUGAIK6PFNK7OZB6RXEVE25QAS","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":"00170ca8aecdd61b232395f42c5c4ce942a8691673d701ac08aff0e5c152d3b9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-05T08:45:19Z","title_canon_sha256":"2cb60e606eee21f8bb4baf06fc948cee379501aad294b5b9d2b3ee8237164342"},"schema_version":"1.0","source":{"id":"2508.03215","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.03215","created_at":"2026-07-05T11:48:38Z"},{"alias_kind":"arxiv_version","alias_value":"2508.03215v1","created_at":"2026-07-05T11:48:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.03215","created_at":"2026-07-05T11:48:38Z"},{"alias_kind":"pith_short_12","alias_value":"KUGAIK6PFNK7","created_at":"2026-07-05T11:48:38Z"},{"alias_kind":"pith_short_16","alias_value":"KUGAIK6PFNK7OZB6","created_at":"2026-07-05T11:48:38Z"},{"alias_kind":"pith_short_8","alias_value":"KUGAIK6P","created_at":"2026-07-05T11:48:38Z"}],"graph_snapshots":[{"event_id":"sha256:c454b0eeb6d3a97d4eea832988049b882c99f83eeefbfb88aea0f5a655c79975","target":"graph","created_at":"2026-07-05T11:48:38Z","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/2508.03215/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"System models, a critical artifact in software development, provide a formal abstraction of both the structural and behavioral aspects of software systems, which can facilitate the early requirements analysis and architecture design. However, developing system models remains challenging due to the specific syntax of model description languages and the relative scarcity of public model examples. While large language models (LLMs) have shown promise in generating code with programming languages and could potentially aid in system model development, no benchmarks currently exist for evaluating th","authors_text":"Dongming Jin, Jia Li, Linyu Li, Xiaohong Chen, Zheng Fang, Zhi Jin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-05T08:45:19Z","title":"A System Model Generation Benchmark from Natural Language Requirements"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.03215","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:0819f111b864e64848a3daa4b5a93b41a73089d04002baa60614fd6bedfb527c","target":"record","created_at":"2026-07-05T11:48:38Z","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":"00170ca8aecdd61b232395f42c5c4ce942a8691673d701ac08aff0e5c152d3b9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-05T08:45:19Z","title_canon_sha256":"2cb60e606eee21f8bb4baf06fc948cee379501aad294b5b9d2b3ee8237164342"},"schema_version":"1.0","source":{"id":"2508.03215","kind":"arxiv","version":1}},"canonical_sha256":"550c042bcf2b55f7643e8dc9526bb0049ffa172b3403a19f31d9ea3c3cb84e02","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"550c042bcf2b55f7643e8dc9526bb0049ffa172b3403a19f31d9ea3c3cb84e02","first_computed_at":"2026-07-05T11:48:38.975604Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:48:38.975604Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+7YYbUN2ZXfoIzRNSt+/IU4ASAc/Y4ORAq0p5WWZr12PC2dYC7nrqmflMQp5WY38e3h05wBhDq0VOJbgQcdHBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:48:38.976094Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.03215","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0819f111b864e64848a3daa4b5a93b41a73089d04002baa60614fd6bedfb527c","sha256:c454b0eeb6d3a97d4eea832988049b882c99f83eeefbfb88aea0f5a655c79975"],"state_sha256":"4c94fc96ee9af1743087e0a3f1fab53e4b4d85d2836c800e88b0986ba8e255b4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d3idH3kjkLSMWwoP5PnE+zh2AKVAtz1ndFLIQ4f+U9XH/yHzeII46+Vj18jx1XesK++X48vGL8Z8+NukTC8KBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T20:33:42.257665Z","bundle_sha256":"0d7d8b0551835132dcb802723a180c3760676930d14a53b8a789612cfd6f030c"}}