{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:25WS33IRF4YEHK4HOXJPQ64W7I","short_pith_number":"pith:25WS33IR","canonical_record":{"source":{"id":"2408.02450","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-08-05T13:20:14Z","cross_cats_sorted":[],"title_canon_sha256":"a80f150ee013f9df20cf7421593a19420cce4c2da50c2ecc19974b0ed4c8d501","abstract_canon_sha256":"e1602307bbbaa7fb33f558fb9894b94cc83f580631b33ac04cd907901db93221"},"schema_version":"1.0"},"canonical_sha256":"d76d2ded112f3043ab8775d2f87b96fa3d698b951a6994b470298a11e2447de2","source":{"kind":"arxiv","id":"2408.02450","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.02450","created_at":"2026-07-05T08:52:12Z"},{"alias_kind":"arxiv_version","alias_value":"2408.02450v1","created_at":"2026-07-05T08:52:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.02450","created_at":"2026-07-05T08:52:12Z"},{"alias_kind":"pith_short_12","alias_value":"25WS33IRF4YE","created_at":"2026-07-05T08:52:12Z"},{"alias_kind":"pith_short_16","alias_value":"25WS33IRF4YEHK4H","created_at":"2026-07-05T08:52:12Z"},{"alias_kind":"pith_short_8","alias_value":"25WS33IR","created_at":"2026-07-05T08:52:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:25WS33IRF4YEHK4HOXJPQ64W7I","target":"record","payload":{"canonical_record":{"source":{"id":"2408.02450","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-08-05T13:20:14Z","cross_cats_sorted":[],"title_canon_sha256":"a80f150ee013f9df20cf7421593a19420cce4c2da50c2ecc19974b0ed4c8d501","abstract_canon_sha256":"e1602307bbbaa7fb33f558fb9894b94cc83f580631b33ac04cd907901db93221"},"schema_version":"1.0"},"canonical_sha256":"d76d2ded112f3043ab8775d2f87b96fa3d698b951a6994b470298a11e2447de2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:52:12.924075Z","signature_b64":"cOyRRV1FE9WYtbW8n3mm5w75wxwPpDXFJfDP736VvKo6brbJ16ktH8gYASLDUs370IxsOek/l34Dnp41kYIRCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d76d2ded112f3043ab8775d2f87b96fa3d698b951a6994b470298a11e2447de2","last_reissued_at":"2026-07-05T08:52:12.923660Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:52:12.923660Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.02450","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-05T08:52:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"njjxismI4/MwPQ+pKeyIZRrjJr7Si10RvGtJSwHnHboXR5M7LyZAmUbeb1SmIEj0o7G14nGjUSXuLCieAmLdDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T08:46:49.327673Z"},"content_sha256":"94df6ccbfa6c44d6ae0503a2f1964c17f108a96c283733f0f76a073ba5e3fa25","schema_version":"1.0","event_id":"sha256:94df6ccbfa6c44d6ae0503a2f1964c17f108a96c283733f0f76a073ba5e3fa25"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:25WS33IRF4YEHK4HOXJPQ64W7I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Evaluation of Requirements Modeling for Cyber-Physical Systems via LLMs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chunhui Wang, Dongming Jin, Hongbin Xiao, Shengxin Zhao, Xiaohong Chen, Zheng Fang, Zhi Jin","submitted_at":"2024-08-05T13:20:14Z","abstract_excerpt":"Cyber-physical systems (CPSs) integrate cyber and physical components and enable them to interact with each other to meet user needs. The needs for CPSs span rich application domains such as healthcare and medicine, smart home, smart building, etc. This indicates that CPSs are all about solving real-world problems. With the increasing abundance of sensing devices and effectors, the problems wanted to solve with CPSs are becoming more and more complex. It is also becoming increasingly difficult to extract and express CPS requirements accurately. Problem frame approach aims to shape real-world p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.02450","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/2408.02450/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-05T08:52:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Do5y7qs5GRDujkCBffMuvhe13+o/TmHxgRXz4HPhNRQ1H3FISNyvu0jpXFEhF8bRbLph++KAtDn3JOyOxhUQDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T08:46:49.328202Z"},"content_sha256":"8c34f846831ebb215dfae5f05b9201dadc9d700e3b3c6bd2475f67171ac97dde","schema_version":"1.0","event_id":"sha256:8c34f846831ebb215dfae5f05b9201dadc9d700e3b3c6bd2475f67171ac97dde"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/25WS33IRF4YEHK4HOXJPQ64W7I/bundle.json","state_url":"https://pith.science/pith/25WS33IRF4YEHK4HOXJPQ64W7I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/25WS33IRF4YEHK4HOXJPQ64W7I/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-06T08:46:49Z","links":{"resolver":"https://pith.science/pith/25WS33IRF4YEHK4HOXJPQ64W7I","bundle":"https://pith.science/pith/25WS33IRF4YEHK4HOXJPQ64W7I/bundle.json","state":"https://pith.science/pith/25WS33IRF4YEHK4HOXJPQ64W7I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/25WS33IRF4YEHK4HOXJPQ64W7I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:25WS33IRF4YEHK4HOXJPQ64W7I","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":"e1602307bbbaa7fb33f558fb9894b94cc83f580631b33ac04cd907901db93221","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-08-05T13:20:14Z","title_canon_sha256":"a80f150ee013f9df20cf7421593a19420cce4c2da50c2ecc19974b0ed4c8d501"},"schema_version":"1.0","source":{"id":"2408.02450","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.02450","created_at":"2026-07-05T08:52:12Z"},{"alias_kind":"arxiv_version","alias_value":"2408.02450v1","created_at":"2026-07-05T08:52:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.02450","created_at":"2026-07-05T08:52:12Z"},{"alias_kind":"pith_short_12","alias_value":"25WS33IRF4YE","created_at":"2026-07-05T08:52:12Z"},{"alias_kind":"pith_short_16","alias_value":"25WS33IRF4YEHK4H","created_at":"2026-07-05T08:52:12Z"},{"alias_kind":"pith_short_8","alias_value":"25WS33IR","created_at":"2026-07-05T08:52:12Z"}],"graph_snapshots":[{"event_id":"sha256:8c34f846831ebb215dfae5f05b9201dadc9d700e3b3c6bd2475f67171ac97dde","target":"graph","created_at":"2026-07-05T08:52:12Z","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/2408.02450/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Cyber-physical systems (CPSs) integrate cyber and physical components and enable them to interact with each other to meet user needs. The needs for CPSs span rich application domains such as healthcare and medicine, smart home, smart building, etc. This indicates that CPSs are all about solving real-world problems. With the increasing abundance of sensing devices and effectors, the problems wanted to solve with CPSs are becoming more and more complex. It is also becoming increasingly difficult to extract and express CPS requirements accurately. Problem frame approach aims to shape real-world p","authors_text":"Chunhui Wang, Dongming Jin, Hongbin Xiao, Shengxin Zhao, Xiaohong Chen, Zheng Fang, Zhi Jin","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-08-05T13:20:14Z","title":"An Evaluation of Requirements Modeling for Cyber-Physical Systems via LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.02450","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:94df6ccbfa6c44d6ae0503a2f1964c17f108a96c283733f0f76a073ba5e3fa25","target":"record","created_at":"2026-07-05T08:52:12Z","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":"e1602307bbbaa7fb33f558fb9894b94cc83f580631b33ac04cd907901db93221","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-08-05T13:20:14Z","title_canon_sha256":"a80f150ee013f9df20cf7421593a19420cce4c2da50c2ecc19974b0ed4c8d501"},"schema_version":"1.0","source":{"id":"2408.02450","kind":"arxiv","version":1}},"canonical_sha256":"d76d2ded112f3043ab8775d2f87b96fa3d698b951a6994b470298a11e2447de2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d76d2ded112f3043ab8775d2f87b96fa3d698b951a6994b470298a11e2447de2","first_computed_at":"2026-07-05T08:52:12.923660Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:52:12.923660Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cOyRRV1FE9WYtbW8n3mm5w75wxwPpDXFJfDP736VvKo6brbJ16ktH8gYASLDUs370IxsOek/l34Dnp41kYIRCA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:52:12.924075Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.02450","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:94df6ccbfa6c44d6ae0503a2f1964c17f108a96c283733f0f76a073ba5e3fa25","sha256:8c34f846831ebb215dfae5f05b9201dadc9d700e3b3c6bd2475f67171ac97dde"],"state_sha256":"8f2fa500477c0ae8b964128c67e466014a677908e7873f4f351c03664fce0327"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DrSA3y7yqXjXUtRKpu59IlD+DnBecTPjELNfaPM4UXFi1coKFab3AbIZmdri2lCSyxLVgIvdvYkLXqJdXFCvDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T08:46:49.333703Z","bundle_sha256":"de6ee2dbf760d5788193236b3e5d3f8c1df44a1c0cdd84cc264391ab7cd800ec"}}