{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:ERXDYR5ZVSRNTH7RMTTLEYZI2D","short_pith_number":"pith:ERXDYR5Z","schema_version":"1.0","canonical_sha256":"246e3c47b9aca2d99ff164e6b26328d0ebc5eb3983f0b0ff4aa1779a57686bd5","source":{"kind":"arxiv","id":"1405.5003","version":2},"attestation_state":"computed","paper":{"title":"Formal Consistency Checking over Specifications in Natural Languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chih-Hong Cheng, Guangquan Zhang, Rongjie Yan, Yesheng Chai","submitted_at":"2014-05-20T09:12:41Z","abstract_excerpt":"Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these features that concretize vague ideas presented in natural languages. The challenge for the validation of specifications arises from the syntax and semantic gap between different representations and the need of automatic tools. In this paper, we present a requirement-consistency maintenance framework to produce consistent representations. The first part is the automatic translation from natural languages describing functionalities to form"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1405.5003","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-05-20T09:12:41Z","cross_cats_sorted":[],"title_canon_sha256":"837ea681beefcb0d45f6b8e1212a8eb15a90a4a4b3669f306dc4da1b80782c1f","abstract_canon_sha256":"7f604a412c64bb6f416b7527a43a0dac06d6063b6ca24f05a4f7cd392f6aabcb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:40:53.925426Z","signature_b64":"7n+/5uuEpx5b7aXhwX1RTwqQPEoUDETfV0hS93yTTBY/kcht5cGnSdsOVAo8vlaN3ViIW9BBzGm5ejsCvemjBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"246e3c47b9aca2d99ff164e6b26328d0ebc5eb3983f0b0ff4aa1779a57686bd5","last_reissued_at":"2026-05-18T02:40:53.924913Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:40:53.924913Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Formal Consistency Checking over Specifications in Natural Languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chih-Hong Cheng, Guangquan Zhang, Rongjie Yan, Yesheng Chai","submitted_at":"2014-05-20T09:12:41Z","abstract_excerpt":"Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these features that concretize vague ideas presented in natural languages. The challenge for the validation of specifications arises from the syntax and semantic gap between different representations and the need of automatic tools. In this paper, we present a requirement-consistency maintenance framework to produce consistent representations. The first part is the automatic translation from natural languages describing functionalities to form"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.5003","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1405.5003","created_at":"2026-05-18T02:40:53.924996+00:00"},{"alias_kind":"arxiv_version","alias_value":"1405.5003v2","created_at":"2026-05-18T02:40:53.924996+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.5003","created_at":"2026-05-18T02:40:53.924996+00:00"},{"alias_kind":"pith_short_12","alias_value":"ERXDYR5ZVSRN","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_16","alias_value":"ERXDYR5ZVSRNTH7R","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_8","alias_value":"ERXDYR5Z","created_at":"2026-05-18T12:28:28.263976+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ERXDYR5ZVSRNTH7RMTTLEYZI2D","json":"https://pith.science/pith/ERXDYR5ZVSRNTH7RMTTLEYZI2D.json","graph_json":"https://pith.science/api/pith-number/ERXDYR5ZVSRNTH7RMTTLEYZI2D/graph.json","events_json":"https://pith.science/api/pith-number/ERXDYR5ZVSRNTH7RMTTLEYZI2D/events.json","paper":"https://pith.science/paper/ERXDYR5Z"},"agent_actions":{"view_html":"https://pith.science/pith/ERXDYR5ZVSRNTH7RMTTLEYZI2D","download_json":"https://pith.science/pith/ERXDYR5ZVSRNTH7RMTTLEYZI2D.json","view_paper":"https://pith.science/paper/ERXDYR5Z","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1405.5003&json=true","fetch_graph":"https://pith.science/api/pith-number/ERXDYR5ZVSRNTH7RMTTLEYZI2D/graph.json","fetch_events":"https://pith.science/api/pith-number/ERXDYR5ZVSRNTH7RMTTLEYZI2D/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ERXDYR5ZVSRNTH7RMTTLEYZI2D/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ERXDYR5ZVSRNTH7RMTTLEYZI2D/action/storage_attestation","attest_author":"https://pith.science/pith/ERXDYR5ZVSRNTH7RMTTLEYZI2D/action/author_attestation","sign_citation":"https://pith.science/pith/ERXDYR5ZVSRNTH7RMTTLEYZI2D/action/citation_signature","submit_replication":"https://pith.science/pith/ERXDYR5ZVSRNTH7RMTTLEYZI2D/action/replication_record"}},"created_at":"2026-05-18T02:40:53.924996+00:00","updated_at":"2026-05-18T02:40:53.924996+00:00"}