{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:SQYCZ2EH4I7ZP2TOL6JUMVQOUH","short_pith_number":"pith:SQYCZ2EH","canonical_record":{"source":{"id":"1503.07132","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-03-24T18:34:16Z","cross_cats_sorted":[],"title_canon_sha256":"00f1abe381545da2f6b79e7f4cb83085969a413368e19fc8ad59b4c2106760eb","abstract_canon_sha256":"949d92216b72555c9c1eb4f432940ecca013f63c1dc5b98b7b57b24ab8929cde"},"schema_version":"1.0"},"canonical_sha256":"94302ce887e23f97ea6e5f9346560ea1f9bed9b1d5537a4c3433a84100c9d23f","source":{"kind":"arxiv","id":"1503.07132","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.07132","created_at":"2026-05-18T02:20:29Z"},{"alias_kind":"arxiv_version","alias_value":"1503.07132v1","created_at":"2026-05-18T02:20:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.07132","created_at":"2026-05-18T02:20:29Z"},{"alias_kind":"pith_short_12","alias_value":"SQYCZ2EH4I7Z","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"SQYCZ2EH4I7ZP2TO","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"SQYCZ2EH","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:SQYCZ2EH4I7ZP2TOL6JUMVQOUH","target":"record","payload":{"canonical_record":{"source":{"id":"1503.07132","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-03-24T18:34:16Z","cross_cats_sorted":[],"title_canon_sha256":"00f1abe381545da2f6b79e7f4cb83085969a413368e19fc8ad59b4c2106760eb","abstract_canon_sha256":"949d92216b72555c9c1eb4f432940ecca013f63c1dc5b98b7b57b24ab8929cde"},"schema_version":"1.0"},"canonical_sha256":"94302ce887e23f97ea6e5f9346560ea1f9bed9b1d5537a4c3433a84100c9d23f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:20:29.332986Z","signature_b64":"yxhXhfNc9Y4cJn78IbZvA1MPyX0kzU99By+voeH8ismXrulVz7JzJ9ei+tS3HavU6q8kpdeTEBT/YCChRHekAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"94302ce887e23f97ea6e5f9346560ea1f9bed9b1d5537a4c3433a84100c9d23f","last_reissued_at":"2026-05-18T02:20:29.332500Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:20:29.332500Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.07132","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-18T02:20:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"11x1vXPtqdEvVmmT8565fme+FWn0k6fbHYsutRwE5KW2sp0yZJlq4mnHrbW7Y7W+mOJtW6jiVQKeGONrCYR8Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T21:09:53.583642Z"},"content_sha256":"20d5dc81fa75c8c5cbe5cf5b2f31d5a256de58b2707b6de4eb4f13fcb02f4c1c","schema_version":"1.0","event_id":"sha256:20d5dc81fa75c8c5cbe5cf5b2f31d5a256de58b2707b6de4eb4f13fcb02f4c1c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:SQYCZ2EH4I7ZP2TOL6JUMVQOUH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Pragmatic Requirements for Adaptive Systems: a Goal-Driven Modelling and Analysis Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Daniel Mac\\^edo Batista, Felipe Pontes Guimar\\~aes, Genaina Nunes Rodrigues, Raian Ali","submitted_at":"2015-03-24T18:34:16Z","abstract_excerpt":"Goal-models (GM) have been used in adaptive systems engineering for their ability to capture the different ways to fulfill the requirements. Contextual GM (CGM) extend these models with the notion of context and context-dependent applicability of goals. In this paper, we observe that the interpretation of a goal achievement is itself context-dependent. Thus, we introduce the notion of Pragmatic Goals which have a dynamic satisfaction criteria. We also developed and evaluated an algorithm to decide the Pragmatic CGM's achievability. Finally, we performed several experiments to evaluate and to c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.07132","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-18T02:20:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5Sxl6iqXOanirmm4hPSZkqQIpC2nSlzeMT5hpQkOPw2KB/MMRYNcTPtGwliXTioaZ/b5N+qa0kbcoyPI1Ha2BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T21:09:53.584387Z"},"content_sha256":"45146fd421aa8726bcb923ee8944ee37426841d1e48f95b71ca64435562298dd","schema_version":"1.0","event_id":"sha256:45146fd421aa8726bcb923ee8944ee37426841d1e48f95b71ca64435562298dd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SQYCZ2EH4I7ZP2TOL6JUMVQOUH/bundle.json","state_url":"https://pith.science/pith/SQYCZ2EH4I7ZP2TOL6JUMVQOUH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SQYCZ2EH4I7ZP2TOL6JUMVQOUH/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-11T21:09:53Z","links":{"resolver":"https://pith.science/pith/SQYCZ2EH4I7ZP2TOL6JUMVQOUH","bundle":"https://pith.science/pith/SQYCZ2EH4I7ZP2TOL6JUMVQOUH/bundle.json","state":"https://pith.science/pith/SQYCZ2EH4I7ZP2TOL6JUMVQOUH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SQYCZ2EH4I7ZP2TOL6JUMVQOUH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:SQYCZ2EH4I7ZP2TOL6JUMVQOUH","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":"949d92216b72555c9c1eb4f432940ecca013f63c1dc5b98b7b57b24ab8929cde","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-03-24T18:34:16Z","title_canon_sha256":"00f1abe381545da2f6b79e7f4cb83085969a413368e19fc8ad59b4c2106760eb"},"schema_version":"1.0","source":{"id":"1503.07132","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.07132","created_at":"2026-05-18T02:20:29Z"},{"alias_kind":"arxiv_version","alias_value":"1503.07132v1","created_at":"2026-05-18T02:20:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.07132","created_at":"2026-05-18T02:20:29Z"},{"alias_kind":"pith_short_12","alias_value":"SQYCZ2EH4I7Z","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"SQYCZ2EH4I7ZP2TO","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"SQYCZ2EH","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:45146fd421aa8726bcb923ee8944ee37426841d1e48f95b71ca64435562298dd","target":"graph","created_at":"2026-05-18T02:20:29Z","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":"Goal-models (GM) have been used in adaptive systems engineering for their ability to capture the different ways to fulfill the requirements. Contextual GM (CGM) extend these models with the notion of context and context-dependent applicability of goals. In this paper, we observe that the interpretation of a goal achievement is itself context-dependent. Thus, we introduce the notion of Pragmatic Goals which have a dynamic satisfaction criteria. We also developed and evaluated an algorithm to decide the Pragmatic CGM's achievability. Finally, we performed several experiments to evaluate and to c","authors_text":"Daniel Mac\\^edo Batista, Felipe Pontes Guimar\\~aes, Genaina Nunes Rodrigues, Raian Ali","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-03-24T18:34:16Z","title":"Pragmatic Requirements for Adaptive Systems: a Goal-Driven Modelling and Analysis Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.07132","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:20d5dc81fa75c8c5cbe5cf5b2f31d5a256de58b2707b6de4eb4f13fcb02f4c1c","target":"record","created_at":"2026-05-18T02:20:29Z","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":"949d92216b72555c9c1eb4f432940ecca013f63c1dc5b98b7b57b24ab8929cde","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-03-24T18:34:16Z","title_canon_sha256":"00f1abe381545da2f6b79e7f4cb83085969a413368e19fc8ad59b4c2106760eb"},"schema_version":"1.0","source":{"id":"1503.07132","kind":"arxiv","version":1}},"canonical_sha256":"94302ce887e23f97ea6e5f9346560ea1f9bed9b1d5537a4c3433a84100c9d23f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"94302ce887e23f97ea6e5f9346560ea1f9bed9b1d5537a4c3433a84100c9d23f","first_computed_at":"2026-05-18T02:20:29.332500Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:20:29.332500Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yxhXhfNc9Y4cJn78IbZvA1MPyX0kzU99By+voeH8ismXrulVz7JzJ9ei+tS3HavU6q8kpdeTEBT/YCChRHekAw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:20:29.332986Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.07132","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:20d5dc81fa75c8c5cbe5cf5b2f31d5a256de58b2707b6de4eb4f13fcb02f4c1c","sha256:45146fd421aa8726bcb923ee8944ee37426841d1e48f95b71ca64435562298dd"],"state_sha256":"8474fa1cc9ec041746bed96312a65ca1465e284467b390810b28db1507b279d0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x/faKUbFv0QP6KeIRPlJGKSLbILHlef28/k/auWl4ge3kdEWN4W3sQXMpjMRRseEalP69Wrw2Yj4Hh0EYuGwCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T21:09:53.588428Z","bundle_sha256":"1a6aa7cd5e938591aabea092a7a8280357945dbc0aa863cbcdf658f38abacf21"}}