{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:XDL3KLXRSY4ZXND6IEHYDL7T42","short_pith_number":"pith:XDL3KLXR","canonical_record":{"source":{"id":"2009.14683","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-30T13:59:59Z","cross_cats_sorted":[],"title_canon_sha256":"51fbb22d4796fcbc02fa05b73ae25737522b51df9ca2e842f899c8a2b7372993","abstract_canon_sha256":"c957bb55918f438dff0a6b30f1c0f6e2af4a7d82144249ace8d2777f2aef56c1"},"schema_version":"1.0"},"canonical_sha256":"b8d7b52ef196399bb47e410f81aff3e6a9816ae1c3a80a2132f6c127a44395d8","source":{"kind":"arxiv","id":"2009.14683","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.14683","created_at":"2026-07-05T01:39:21Z"},{"alias_kind":"arxiv_version","alias_value":"2009.14683v1","created_at":"2026-07-05T01:39:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.14683","created_at":"2026-07-05T01:39:21Z"},{"alias_kind":"pith_short_12","alias_value":"XDL3KLXRSY4Z","created_at":"2026-07-05T01:39:21Z"},{"alias_kind":"pith_short_16","alias_value":"XDL3KLXRSY4ZXND6","created_at":"2026-07-05T01:39:21Z"},{"alias_kind":"pith_short_8","alias_value":"XDL3KLXR","created_at":"2026-07-05T01:39:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:XDL3KLXRSY4ZXND6IEHYDL7T42","target":"record","payload":{"canonical_record":{"source":{"id":"2009.14683","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-30T13:59:59Z","cross_cats_sorted":[],"title_canon_sha256":"51fbb22d4796fcbc02fa05b73ae25737522b51df9ca2e842f899c8a2b7372993","abstract_canon_sha256":"c957bb55918f438dff0a6b30f1c0f6e2af4a7d82144249ace8d2777f2aef56c1"},"schema_version":"1.0"},"canonical_sha256":"b8d7b52ef196399bb47e410f81aff3e6a9816ae1c3a80a2132f6c127a44395d8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:39:21.966939Z","signature_b64":"rQNBnv/I51dKWmqTok4UZBSakFzv3MDSzl3DtCnBWJEKLGulz55LdS0xJQj9slJBb889Jmw7RhsC06goD8hwDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b8d7b52ef196399bb47e410f81aff3e6a9816ae1c3a80a2132f6c127a44395d8","last_reissued_at":"2026-07-05T01:39:21.966597Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:39:21.966597Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2009.14683","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-05T01:39:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vN7oqrcq3a1SFYpWveACTJImsAfxiWwvkAsRmSAU29jNE7IxsaAl7cXxMJ2eoAtsXYa1lLNd/sX+8n0x+BEhAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T02:17:21.497462Z"},"content_sha256":"d01920766310a11789a280c4774081a982223422805617d6ab48fa7472803af0","schema_version":"1.0","event_id":"sha256:d01920766310a11789a280c4774081a982223422805617d6ab48fa7472803af0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:XDL3KLXRSY4ZXND6IEHYDL7T42","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"RCM: Requirement Capturing Model for Automated Requirements Formalisation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Amani Ibrahim, Aya Zaki-Ismail, John Grundy, Mohamed Abdelrazek, Mohamed Osama","submitted_at":"2020-09-30T13:59:59Z","abstract_excerpt":"Most existing automated requirements formalisation techniques require system engineers to (re)write their requirements using a set of predefined requirement templates with a fixed structure and known semantics to simplify the formalisation process. However, these techniques require understanding and memorising requirement templates, which are usually fixed format, limit requirements captured, and do not allow capture of more diverse requirements. To address these limitations, we need a reference model that captures key requirement details regardless of their structure, format or order. Then, u"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.14683","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/2009.14683/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-05T01:39:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IdOXjyfnk896wUW5uJxNY641ZSGgi0k/T43jII9sDPzn1e0nlumFrO88PUEZd4+G+OlySzacosD7uHY2/AUNBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T02:17:21.497967Z"},"content_sha256":"36fd0b431eeac6eac2c6ac0c8b959e760f5686f6cb8e06ecb5f3b0a2b15db779","schema_version":"1.0","event_id":"sha256:36fd0b431eeac6eac2c6ac0c8b959e760f5686f6cb8e06ecb5f3b0a2b15db779"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XDL3KLXRSY4ZXND6IEHYDL7T42/bundle.json","state_url":"https://pith.science/pith/XDL3KLXRSY4ZXND6IEHYDL7T42/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XDL3KLXRSY4ZXND6IEHYDL7T42/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-06T02:17:21Z","links":{"resolver":"https://pith.science/pith/XDL3KLXRSY4ZXND6IEHYDL7T42","bundle":"https://pith.science/pith/XDL3KLXRSY4ZXND6IEHYDL7T42/bundle.json","state":"https://pith.science/pith/XDL3KLXRSY4ZXND6IEHYDL7T42/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XDL3KLXRSY4ZXND6IEHYDL7T42/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:XDL3KLXRSY4ZXND6IEHYDL7T42","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":"c957bb55918f438dff0a6b30f1c0f6e2af4a7d82144249ace8d2777f2aef56c1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-30T13:59:59Z","title_canon_sha256":"51fbb22d4796fcbc02fa05b73ae25737522b51df9ca2e842f899c8a2b7372993"},"schema_version":"1.0","source":{"id":"2009.14683","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.14683","created_at":"2026-07-05T01:39:21Z"},{"alias_kind":"arxiv_version","alias_value":"2009.14683v1","created_at":"2026-07-05T01:39:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.14683","created_at":"2026-07-05T01:39:21Z"},{"alias_kind":"pith_short_12","alias_value":"XDL3KLXRSY4Z","created_at":"2026-07-05T01:39:21Z"},{"alias_kind":"pith_short_16","alias_value":"XDL3KLXRSY4ZXND6","created_at":"2026-07-05T01:39:21Z"},{"alias_kind":"pith_short_8","alias_value":"XDL3KLXR","created_at":"2026-07-05T01:39:21Z"}],"graph_snapshots":[{"event_id":"sha256:36fd0b431eeac6eac2c6ac0c8b959e760f5686f6cb8e06ecb5f3b0a2b15db779","target":"graph","created_at":"2026-07-05T01:39:21Z","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/2009.14683/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Most existing automated requirements formalisation techniques require system engineers to (re)write their requirements using a set of predefined requirement templates with a fixed structure and known semantics to simplify the formalisation process. However, these techniques require understanding and memorising requirement templates, which are usually fixed format, limit requirements captured, and do not allow capture of more diverse requirements. To address these limitations, we need a reference model that captures key requirement details regardless of their structure, format or order. Then, u","authors_text":"Amani Ibrahim, Aya Zaki-Ismail, John Grundy, Mohamed Abdelrazek, Mohamed Osama","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-30T13:59:59Z","title":"RCM: Requirement Capturing Model for Automated Requirements Formalisation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.14683","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:d01920766310a11789a280c4774081a982223422805617d6ab48fa7472803af0","target":"record","created_at":"2026-07-05T01:39:21Z","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":"c957bb55918f438dff0a6b30f1c0f6e2af4a7d82144249ace8d2777f2aef56c1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-30T13:59:59Z","title_canon_sha256":"51fbb22d4796fcbc02fa05b73ae25737522b51df9ca2e842f899c8a2b7372993"},"schema_version":"1.0","source":{"id":"2009.14683","kind":"arxiv","version":1}},"canonical_sha256":"b8d7b52ef196399bb47e410f81aff3e6a9816ae1c3a80a2132f6c127a44395d8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b8d7b52ef196399bb47e410f81aff3e6a9816ae1c3a80a2132f6c127a44395d8","first_computed_at":"2026-07-05T01:39:21.966597Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:39:21.966597Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rQNBnv/I51dKWmqTok4UZBSakFzv3MDSzl3DtCnBWJEKLGulz55LdS0xJQj9slJBb889Jmw7RhsC06goD8hwDA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:39:21.966939Z","signed_message":"canonical_sha256_bytes"},"source_id":"2009.14683","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d01920766310a11789a280c4774081a982223422805617d6ab48fa7472803af0","sha256:36fd0b431eeac6eac2c6ac0c8b959e760f5686f6cb8e06ecb5f3b0a2b15db779"],"state_sha256":"892663639b18457f0d867b407295173e1dbad9794ed9d131bf32d388785baf9f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WnhoNLjAMxuCVFGa8T8krVY/gZ0inX4CNzMb35Pk9zCPCRqF/Enon97w1w6kbHo1e03Kr2rLnvF/OCZ4ttBSCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T02:17:21.501342Z","bundle_sha256":"cf33e259a9303df806b46d2bcfd9e2fbd6aca9ab66b058e8046ac2b3ca8375d9"}}