{"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"}