{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:PD4X7G62G7JUO5BT5E54CO5EQM","short_pith_number":"pith:PD4X7G62","canonical_record":{"source":{"id":"1101.5957","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-01-31T13:31:20Z","cross_cats_sorted":[],"title_canon_sha256":"408eeac3821fec35e6b089ecc70c397e7f817c0b643790add3b7cb5c81c7f33d","abstract_canon_sha256":"cafbf4855d4a51bbfdbce4beb7bd8dda52e8d6cffb8b578a543c40efc0b53ada"},"schema_version":"1.0"},"canonical_sha256":"78f97f9bda37d3477433e93bc13ba4832b21f6ce07851722a6b00b42575181e8","source":{"kind":"arxiv","id":"1101.5957","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.5957","created_at":"2026-05-18T04:30:24Z"},{"alias_kind":"arxiv_version","alias_value":"1101.5957v1","created_at":"2026-05-18T04:30:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.5957","created_at":"2026-05-18T04:30:24Z"},{"alias_kind":"pith_short_12","alias_value":"PD4X7G62G7JU","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_16","alias_value":"PD4X7G62G7JUO5BT","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_8","alias_value":"PD4X7G62","created_at":"2026-05-18T12:26:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:PD4X7G62G7JUO5BT5E54CO5EQM","target":"record","payload":{"canonical_record":{"source":{"id":"1101.5957","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-01-31T13:31:20Z","cross_cats_sorted":[],"title_canon_sha256":"408eeac3821fec35e6b089ecc70c397e7f817c0b643790add3b7cb5c81c7f33d","abstract_canon_sha256":"cafbf4855d4a51bbfdbce4beb7bd8dda52e8d6cffb8b578a543c40efc0b53ada"},"schema_version":"1.0"},"canonical_sha256":"78f97f9bda37d3477433e93bc13ba4832b21f6ce07851722a6b00b42575181e8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:30:24.532103Z","signature_b64":"QR2e0O6BuWHgtUv3pJ04mbF+6GQbJJDUb/2leXZTQJof5wJpii2Q7SrjzDkR1hccVO4+gtKKepNoB1DDPhIjAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"78f97f9bda37d3477433e93bc13ba4832b21f6ce07851722a6b00b42575181e8","last_reissued_at":"2026-05-18T04:30:24.531335Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:30:24.531335Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1101.5957","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-05-18T04:30:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e8FTYaqON5HFMw8JB6KXgEQXlOhgF1MghvYY2Epek522q2tbn+jxc93bVvDoKG1wd39vo0TP7s/XCfAibwwACw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T20:16:16.003612Z"},"content_sha256":"a424c647a82bf7ba1c5adfd2c541cab918a05121d89f52d2ac1aca0a8d70db53","schema_version":"1.0","event_id":"sha256:a424c647a82bf7ba1c5adfd2c541cab918a05121d89f52d2ac1aca0a8d70db53"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:PD4X7G62G7JUO5BT5E54CO5EQM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Kind of Representation of Common Knowledge and its Application in Requirements Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bojin Zheng, Deyi Li, Guisheng Chen, Jianmin Wang","submitted_at":"2011-01-31T13:31:20Z","abstract_excerpt":"Since the birth of software engineering, it always are recognized as one pure engineering subject, therefore, the foundational scientific problems are not paid much attention. This paper proposes that Requirements Analysis, the kernel process of software engineering, can be modeled based on the concept of \"common knowledge\". Such a model would make us understand the nature of this process. This paper utilizes the formal language as the tool to characterize the \"common knowledge\"-based Requirements Analysis model, and theoretically proves that : 1) the precondition of success of software projec"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.5957","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":""},"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-05-18T04:30:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1+aHqwKoCF3jAgBD+6GwC0WT2P265418N9EexZdUIpeHPYqFE9RtZ/10HOxq34D9eEXe4+coJDvcEzQ57nUrBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T20:16:16.004835Z"},"content_sha256":"9bdd7e4675d1262f57d474cef9033b1d7bb3c6774dbaccf6535b99467442ae28","schema_version":"1.0","event_id":"sha256:9bdd7e4675d1262f57d474cef9033b1d7bb3c6774dbaccf6535b99467442ae28"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PD4X7G62G7JUO5BT5E54CO5EQM/bundle.json","state_url":"https://pith.science/pith/PD4X7G62G7JUO5BT5E54CO5EQM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PD4X7G62G7JUO5BT5E54CO5EQM/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-06-05T20:16:16Z","links":{"resolver":"https://pith.science/pith/PD4X7G62G7JUO5BT5E54CO5EQM","bundle":"https://pith.science/pith/PD4X7G62G7JUO5BT5E54CO5EQM/bundle.json","state":"https://pith.science/pith/PD4X7G62G7JUO5BT5E54CO5EQM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PD4X7G62G7JUO5BT5E54CO5EQM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:PD4X7G62G7JUO5BT5E54CO5EQM","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":"cafbf4855d4a51bbfdbce4beb7bd8dda52e8d6cffb8b578a543c40efc0b53ada","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-01-31T13:31:20Z","title_canon_sha256":"408eeac3821fec35e6b089ecc70c397e7f817c0b643790add3b7cb5c81c7f33d"},"schema_version":"1.0","source":{"id":"1101.5957","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.5957","created_at":"2026-05-18T04:30:24Z"},{"alias_kind":"arxiv_version","alias_value":"1101.5957v1","created_at":"2026-05-18T04:30:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.5957","created_at":"2026-05-18T04:30:24Z"},{"alias_kind":"pith_short_12","alias_value":"PD4X7G62G7JU","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_16","alias_value":"PD4X7G62G7JUO5BT","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_8","alias_value":"PD4X7G62","created_at":"2026-05-18T12:26:39Z"}],"graph_snapshots":[{"event_id":"sha256:9bdd7e4675d1262f57d474cef9033b1d7bb3c6774dbaccf6535b99467442ae28","target":"graph","created_at":"2026-05-18T04:30:24Z","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"},"paper":{"abstract_excerpt":"Since the birth of software engineering, it always are recognized as one pure engineering subject, therefore, the foundational scientific problems are not paid much attention. This paper proposes that Requirements Analysis, the kernel process of software engineering, can be modeled based on the concept of \"common knowledge\". Such a model would make us understand the nature of this process. This paper utilizes the formal language as the tool to characterize the \"common knowledge\"-based Requirements Analysis model, and theoretically proves that : 1) the precondition of success of software projec","authors_text":"Bojin Zheng, Deyi Li, Guisheng Chen, Jianmin Wang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-01-31T13:31:20Z","title":"A Kind of Representation of Common Knowledge and its Application in Requirements Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.5957","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:a424c647a82bf7ba1c5adfd2c541cab918a05121d89f52d2ac1aca0a8d70db53","target":"record","created_at":"2026-05-18T04:30:24Z","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":"cafbf4855d4a51bbfdbce4beb7bd8dda52e8d6cffb8b578a543c40efc0b53ada","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-01-31T13:31:20Z","title_canon_sha256":"408eeac3821fec35e6b089ecc70c397e7f817c0b643790add3b7cb5c81c7f33d"},"schema_version":"1.0","source":{"id":"1101.5957","kind":"arxiv","version":1}},"canonical_sha256":"78f97f9bda37d3477433e93bc13ba4832b21f6ce07851722a6b00b42575181e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"78f97f9bda37d3477433e93bc13ba4832b21f6ce07851722a6b00b42575181e8","first_computed_at":"2026-05-18T04:30:24.531335Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:30:24.531335Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QR2e0O6BuWHgtUv3pJ04mbF+6GQbJJDUb/2leXZTQJof5wJpii2Q7SrjzDkR1hccVO4+gtKKepNoB1DDPhIjAg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:30:24.532103Z","signed_message":"canonical_sha256_bytes"},"source_id":"1101.5957","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a424c647a82bf7ba1c5adfd2c541cab918a05121d89f52d2ac1aca0a8d70db53","sha256:9bdd7e4675d1262f57d474cef9033b1d7bb3c6774dbaccf6535b99467442ae28"],"state_sha256":"b5459935c85e995afbbec335e2988f4787804c7791411e76cb2cbab4527c71d5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XssKBCQsioKJZJbDF+4ChVt1jOcrrTKF3wlN3teaSvkvyQG5Ojte8w+RVWwj4t4vk62cou26KZjob3c74+2LBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T20:16:16.008869Z","bundle_sha256":"ac42597a5b4f7e29708a9f6e21f3490f1141fb9aae9bac8fea2126ac1fe331ec"}}