{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:3CPAOMXGIO2A5EYJXS2EAHG762","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":"bd3b2160dc5a9f3438744ea71f660aa7d1f90d24748331549c41dae29a93131d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-16T09:29:02Z","title_canon_sha256":"65ee0d4a7738ed9609b4822dfda425404b4412ddde8201a73ca1e45b768c18b3"},"schema_version":"1.0","source":{"id":"1604.04716","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.04716","created_at":"2026-05-18T01:11:34Z"},{"alias_kind":"arxiv_version","alias_value":"1604.04716v2","created_at":"2026-05-18T01:11:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.04716","created_at":"2026-05-18T01:11:34Z"},{"alias_kind":"pith_short_12","alias_value":"3CPAOMXGIO2A","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3CPAOMXGIO2A5EYJ","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3CPAOMXG","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:075a9a6db4678e7626447b05f219822b15a7332d596255177a52a36922f3a91a","target":"graph","created_at":"2026-05-18T01:11:34Z","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":"We are interested in supporting software evolution caused by changing requirements and/or environmental settings. For example, users of a system may require new functionality (changing requirements), or performance enhancements to cope with growing user population. Specifically, we propose to use goal models to capture such changes, and exploit reasoning techniques that derive optimal new specifications for a system whose requirements and/or environment have changed. Moreover, we are interested in discovering new classes of evolution requirements, for example, that give preference to evolution","authors_text":"Chi Mai Nguyen, John Mylopoulos, Paolo Giorgini, Roberto Sebastiani","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-16T09:29:02Z","title":"Requirements Evolution and Evolution Requirements with Constrained Goal Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.04716","kind":"arxiv","version":2},"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:f7bf5d4752ad821c9311db3d686ac2e570ea231fa7681fbac68611859b792432","target":"record","created_at":"2026-05-18T01:11:34Z","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":"bd3b2160dc5a9f3438744ea71f660aa7d1f90d24748331549c41dae29a93131d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-04-16T09:29:02Z","title_canon_sha256":"65ee0d4a7738ed9609b4822dfda425404b4412ddde8201a73ca1e45b768c18b3"},"schema_version":"1.0","source":{"id":"1604.04716","kind":"arxiv","version":2}},"canonical_sha256":"d89e0732e643b40e9309bcb4401cdff69108feab9c22a09f542d4add24f9a340","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d89e0732e643b40e9309bcb4401cdff69108feab9c22a09f542d4add24f9a340","first_computed_at":"2026-05-18T01:11:34.934600Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:34.934600Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"45B7vrmA+1MtnBr6ZCLGl4c6gMCYB2BoBJGuyT5kUBfmUft9j6Azx3Uj66Ns4kT+TM+2noNiGJnnRR/lqfOuAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:34.934989Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.04716","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f7bf5d4752ad821c9311db3d686ac2e570ea231fa7681fbac68611859b792432","sha256:075a9a6db4678e7626447b05f219822b15a7332d596255177a52a36922f3a91a"],"state_sha256":"974379b2797a239fb886c74e64f3f247d638a33c0d03e6aff8b7739efdc7915f"}