{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:X5W5I7K2PZETRYAU4RTCKXNGSW","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":"7bb07e251a62b1481a6d960bc5cac3a5cbc72c24712451724d57d40bd4e19241","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-12T19:23:56Z","title_canon_sha256":"922f29ed927747a148d3fb00c8a7b233666bfc76a2e64012832103d33cfa7594"},"schema_version":"1.0","source":{"id":"1905.04777","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.04777","created_at":"2026-05-17T23:46:23Z"},{"alias_kind":"arxiv_version","alias_value":"1905.04777v1","created_at":"2026-05-17T23:46:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.04777","created_at":"2026-05-17T23:46:23Z"},{"alias_kind":"pith_short_12","alias_value":"X5W5I7K2PZET","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"X5W5I7K2PZETRYAU","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"X5W5I7K2","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:43c92f074e1317466cf16dc969e397be7fb2a6b895f6888ca1829d7f1c063e63","target":"graph","created_at":"2026-05-17T23:46:23Z","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":"Context: Researchers, both in industry and academia, are facing the challenge of leveraging the benefits of goal oriented requirements engineering (GORE) techniques to business compliance management. This requires analyzing goal models along with their semantics. However, most prominent goal modeling frameworks have no means of capturing the semantics of goals (except what is trivially conveyed by their nomenclature).\n  Objective: In this paper, we propose the Annotation of Functional Satisfaction Conditions and their Reconciliation (AFSCR) framework for doing the same. The entire framework is","authors_text":"Nabendu Chaki, Novarun Deb","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-12T19:23:56Z","title":"AFSCR: Annotation of Functional Satisfaction Conditions and their Reconciliation within i* models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.04777","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:c8acf1f4e4d6055c8804faa8cbb9b1686824f8ef38f629643b116372824f0654","target":"record","created_at":"2026-05-17T23:46:23Z","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":"7bb07e251a62b1481a6d960bc5cac3a5cbc72c24712451724d57d40bd4e19241","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-12T19:23:56Z","title_canon_sha256":"922f29ed927747a148d3fb00c8a7b233666bfc76a2e64012832103d33cfa7594"},"schema_version":"1.0","source":{"id":"1905.04777","kind":"arxiv","version":1}},"canonical_sha256":"bf6dd47d5a7e4938e014e466255da695b63d94781224da4f57cb81a66f31d5a1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bf6dd47d5a7e4938e014e466255da695b63d94781224da4f57cb81a66f31d5a1","first_computed_at":"2026-05-17T23:46:23.536982Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:23.536982Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sFnNY7eEHwIOpPUPnJyAnCQlH/m35qwMw/GatRrb8ExmDzDGeRX9StO5ofMl2++AL3dFyg1PRN9atef8N7xyAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:23.537695Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.04777","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c8acf1f4e4d6055c8804faa8cbb9b1686824f8ef38f629643b116372824f0654","sha256:43c92f074e1317466cf16dc969e397be7fb2a6b895f6888ca1829d7f1c063e63"],"state_sha256":"549022fba424e15ba44c2c679197741878a0cd7369c0f7b6cabf30cd82d9600e"}