{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:3ZVYRGKKA2UGG7TKUXXFSS2S3W","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":"a53d285603d31f344c7d0674bb5b73b1ee7de63d7b79e8aa16185df504f3781f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2016-05-08T02:24:28Z","title_canon_sha256":"45b617daf11fdd5a43a54d8b0a86b9be389fa631ece57b97da178e5a308d19dd"},"schema_version":"1.0","source":{"id":"1605.02263","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.02263","created_at":"2026-05-18T01:15:21Z"},{"alias_kind":"arxiv_version","alias_value":"1605.02263v1","created_at":"2026-05-18T01:15:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.02263","created_at":"2026-05-18T01:15:21Z"},{"alias_kind":"pith_short_12","alias_value":"3ZVYRGKKA2UG","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"3ZVYRGKKA2UGG7TK","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"3ZVYRGKK","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:03fb9edf0f6b50c7c70d4d9b2131c94e2beba47c82ac7160274a5bd7e0f4c108","target":"graph","created_at":"2026-05-18T01:15: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"},"paper":{"abstract_excerpt":"The requirements elicited from stakeholders are typically informal, incomplete, ambiguous, and inconsistent. It is the task of Requirements Engineering to transform them into an eligible (formal, sufficiently complete, unambiguous, consistent, modifiable and traceable) requirements specification of functions and qualities that the system-to-be needs to operationalize. To address this requirements problem, we have proposed Desiree, a requirements calculus for systematically transforming stakeholder requirements into an eligible specification. In this paper, we define the semantics of the concep","authors_text":"Alexander Borgida, Feng-Lin Li, Giancarlo Guizzardi, Jennifer Horkoff, John Mylopoulos, Lin Liu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2016-05-08T02:24:28Z","title":"Desiree: a Refinement Calculus for Requirements Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.02263","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:f7c8733b0169803fc4ae65c6c276ca2e4da94139f2c7bc247dd694fb364fc9ee","target":"record","created_at":"2026-05-18T01:15: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":"a53d285603d31f344c7d0674bb5b73b1ee7de63d7b79e8aa16185df504f3781f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2016-05-08T02:24:28Z","title_canon_sha256":"45b617daf11fdd5a43a54d8b0a86b9be389fa631ece57b97da178e5a308d19dd"},"schema_version":"1.0","source":{"id":"1605.02263","kind":"arxiv","version":1}},"canonical_sha256":"de6b88994a06a8637e6aa5ee594b52ddb3d89ecdd301aaf0bac2de40d4bc4a19","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"de6b88994a06a8637e6aa5ee594b52ddb3d89ecdd301aaf0bac2de40d4bc4a19","first_computed_at":"2026-05-18T01:15:21.499874Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:15:21.499874Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vNDWv9V0iBH94vUditHH4xbXYng5Lo0OUA5cZEAoy7qaa6x8uO2J0LQ1Nr8C6eIMEsbARNMETbIznQftzKvEDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:15:21.500548Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.02263","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f7c8733b0169803fc4ae65c6c276ca2e4da94139f2c7bc247dd694fb364fc9ee","sha256:03fb9edf0f6b50c7c70d4d9b2131c94e2beba47c82ac7160274a5bd7e0f4c108"],"state_sha256":"3fb2a6807b1e344d86d50dc776388116d76541a98d1ec04b9e518391ca996e5e"}