{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:X5W5I7K2PZETRYAU4RTCKXNGSW","short_pith_number":"pith:X5W5I7K2","canonical_record":{"source":{"id":"1905.04777","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-12T19:23:56Z","cross_cats_sorted":[],"title_canon_sha256":"922f29ed927747a148d3fb00c8a7b233666bfc76a2e64012832103d33cfa7594","abstract_canon_sha256":"7bb07e251a62b1481a6d960bc5cac3a5cbc72c24712451724d57d40bd4e19241"},"schema_version":"1.0"},"canonical_sha256":"bf6dd47d5a7e4938e014e466255da695b63d94781224da4f57cb81a66f31d5a1","source":{"kind":"arxiv","id":"1905.04777","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:X5W5I7K2PZETRYAU4RTCKXNGSW","target":"record","payload":{"canonical_record":{"source":{"id":"1905.04777","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-12T19:23:56Z","cross_cats_sorted":[],"title_canon_sha256":"922f29ed927747a148d3fb00c8a7b233666bfc76a2e64012832103d33cfa7594","abstract_canon_sha256":"7bb07e251a62b1481a6d960bc5cac3a5cbc72c24712451724d57d40bd4e19241"},"schema_version":"1.0"},"canonical_sha256":"bf6dd47d5a7e4938e014e466255da695b63d94781224da4f57cb81a66f31d5a1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:23.537695Z","signature_b64":"sFnNY7eEHwIOpPUPnJyAnCQlH/m35qwMw/GatRrb8ExmDzDGeRX9StO5ofMl2++AL3dFyg1PRN9atef8N7xyAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bf6dd47d5a7e4938e014e466255da695b63d94781224da4f57cb81a66f31d5a1","last_reissued_at":"2026-05-17T23:46:23.536982Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:23.536982Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.04777","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:46:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vnthfpRTCCR9Gbdq4D6X6fiixWkTHY0FekV8C2cwqEPWQyZOsN9nkRhFuhYH2am9I2Duq5eboDu+4xyLeCK5AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T21:49:18.760047Z"},"content_sha256":"c8acf1f4e4d6055c8804faa8cbb9b1686824f8ef38f629643b116372824f0654","schema_version":"1.0","event_id":"sha256:c8acf1f4e4d6055c8804faa8cbb9b1686824f8ef38f629643b116372824f0654"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:X5W5I7K2PZETRYAU4RTCKXNGSW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"AFSCR: Annotation of Functional Satisfaction Conditions and their Reconciliation within i* models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Nabendu Chaki, Novarun Deb","submitted_at":"2019-05-12T19:23:56Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.04777","kind":"arxiv","version":1},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:46:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F5nzWl5GSg7GOWH36qE5uaGZfJ0dXQhgFmwrl5aqe/nxDFGYY8J+TAXMS8lFOE+yWHWI7GD5UE5bLu1XpOfiAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T21:49:18.760411Z"},"content_sha256":"43c92f074e1317466cf16dc969e397be7fb2a6b895f6888ca1829d7f1c063e63","schema_version":"1.0","event_id":"sha256:43c92f074e1317466cf16dc969e397be7fb2a6b895f6888ca1829d7f1c063e63"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X5W5I7K2PZETRYAU4RTCKXNGSW/bundle.json","state_url":"https://pith.science/pith/X5W5I7K2PZETRYAU4RTCKXNGSW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X5W5I7K2PZETRYAU4RTCKXNGSW/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-03T21:49:18Z","links":{"resolver":"https://pith.science/pith/X5W5I7K2PZETRYAU4RTCKXNGSW","bundle":"https://pith.science/pith/X5W5I7K2PZETRYAU4RTCKXNGSW/bundle.json","state":"https://pith.science/pith/X5W5I7K2PZETRYAU4RTCKXNGSW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X5W5I7K2PZETRYAU4RTCKXNGSW/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zHM4q4em5twToK+SSta+zzlbQ4Y2fYbJyE/Q8iDRfOBXJ6LgxPZLVMeyBir7jm0Qkt5dByx36dwnte2dUEhEDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T21:49:18.762538Z","bundle_sha256":"4a7aff12f1a066448c3b457e145d57aef81565e19af6596a4e219316de073a29"}}