{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:7U7MRF4S7XYDQXZV2LNHYPPQE7","short_pith_number":"pith:7U7MRF4S","canonical_record":{"source":{"id":"1402.6046","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-02-25T03:59:47Z","cross_cats_sorted":[],"title_canon_sha256":"a711817855232f427d0fc28ca07be65d871757b4b185a947b93ec768fb5c2917","abstract_canon_sha256":"73f1377569baae3a0df7fa52d8367a42fe104ef2040805e1b137a0a39e41a8fb"},"schema_version":"1.0"},"canonical_sha256":"fd3ec89792fdf0385f35d2da7c3df027c2d1f2ac046aa15f5095560da7d93c0a","source":{"kind":"arxiv","id":"1402.6046","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.6046","created_at":"2026-05-18T02:57:51Z"},{"alias_kind":"arxiv_version","alias_value":"1402.6046v1","created_at":"2026-05-18T02:57:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.6046","created_at":"2026-05-18T02:57:51Z"},{"alias_kind":"pith_short_12","alias_value":"7U7MRF4S7XYD","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"7U7MRF4S7XYDQXZV","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"7U7MRF4S","created_at":"2026-05-18T12:28:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:7U7MRF4S7XYDQXZV2LNHYPPQE7","target":"record","payload":{"canonical_record":{"source":{"id":"1402.6046","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-02-25T03:59:47Z","cross_cats_sorted":[],"title_canon_sha256":"a711817855232f427d0fc28ca07be65d871757b4b185a947b93ec768fb5c2917","abstract_canon_sha256":"73f1377569baae3a0df7fa52d8367a42fe104ef2040805e1b137a0a39e41a8fb"},"schema_version":"1.0"},"canonical_sha256":"fd3ec89792fdf0385f35d2da7c3df027c2d1f2ac046aa15f5095560da7d93c0a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:57:51.772610Z","signature_b64":"bgyac6HmuKZl9ezsHDOKvQte2TMOl+8L9pPqC8Ks4OLQ+aAoP0iPmJYsPuhRrri/+9j//l+9/xdY/5VrhGwYDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fd3ec89792fdf0385f35d2da7c3df027c2d1f2ac046aa15f5095560da7d93c0a","last_reissued_at":"2026-05-18T02:57:51.772115Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:57:51.772115Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.6046","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:57:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R8DiN3NzQNGAicEPfAubEhfX3QJyVaC7yiDI1FUumTuGqz0PMq087dXUTRNegOLFur84dFHRPUzjN4Bo7CGJBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:35:47.891994Z"},"content_sha256":"1e882453e264eb38115a78102125e17c4229da7d624d32f800695eb8c571a871","schema_version":"1.0","event_id":"sha256:1e882453e264eb38115a78102125e17c4229da7d624d32f800695eb8c571a871"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:7U7MRF4S7XYDQXZV2LNHYPPQE7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards rational and minimal change propagation in model evolution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aditya Ghose, Hoa Khanh Dam","submitted_at":"2014-02-25T03:59:47Z","abstract_excerpt":"A critical issue in the evolution of software models is change propagation: given a primary change that is made to a model in order to meet a new or changed requirement, what additional secondary changes are needed to maintain consistency within the model, and between the model and other models in the system? In practice, there are many ways of propagating changes to fix a given inconsistency, and how to justify and automate the selection between such change options remains a critical challenge. In this paper, we propose a number of postulates, inspired by the mature belief revision theory, th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.6046","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:57:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UXJbrr0cejB4UROz0eqM4ol+Tjx4YUVeJFjLJb6tL31IZKh6o/t8oJz+9fw3zVNIIj10m5WIZI8P6khXHTPSDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:35:47.892344Z"},"content_sha256":"9f4857d7f0030697cd95489dead155905fed4fb3e452254c8eb50c85c4137e13","schema_version":"1.0","event_id":"sha256:9f4857d7f0030697cd95489dead155905fed4fb3e452254c8eb50c85c4137e13"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7U7MRF4S7XYDQXZV2LNHYPPQE7/bundle.json","state_url":"https://pith.science/pith/7U7MRF4S7XYDQXZV2LNHYPPQE7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7U7MRF4S7XYDQXZV2LNHYPPQE7/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-01T21:35:47Z","links":{"resolver":"https://pith.science/pith/7U7MRF4S7XYDQXZV2LNHYPPQE7","bundle":"https://pith.science/pith/7U7MRF4S7XYDQXZV2LNHYPPQE7/bundle.json","state":"https://pith.science/pith/7U7MRF4S7XYDQXZV2LNHYPPQE7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7U7MRF4S7XYDQXZV2LNHYPPQE7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:7U7MRF4S7XYDQXZV2LNHYPPQE7","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":"73f1377569baae3a0df7fa52d8367a42fe104ef2040805e1b137a0a39e41a8fb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-02-25T03:59:47Z","title_canon_sha256":"a711817855232f427d0fc28ca07be65d871757b4b185a947b93ec768fb5c2917"},"schema_version":"1.0","source":{"id":"1402.6046","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.6046","created_at":"2026-05-18T02:57:51Z"},{"alias_kind":"arxiv_version","alias_value":"1402.6046v1","created_at":"2026-05-18T02:57:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.6046","created_at":"2026-05-18T02:57:51Z"},{"alias_kind":"pith_short_12","alias_value":"7U7MRF4S7XYD","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"7U7MRF4S7XYDQXZV","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"7U7MRF4S","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:9f4857d7f0030697cd95489dead155905fed4fb3e452254c8eb50c85c4137e13","target":"graph","created_at":"2026-05-18T02:57:51Z","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":"A critical issue in the evolution of software models is change propagation: given a primary change that is made to a model in order to meet a new or changed requirement, what additional secondary changes are needed to maintain consistency within the model, and between the model and other models in the system? In practice, there are many ways of propagating changes to fix a given inconsistency, and how to justify and automate the selection between such change options remains a critical challenge. In this paper, we propose a number of postulates, inspired by the mature belief revision theory, th","authors_text":"Aditya Ghose, Hoa Khanh Dam","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-02-25T03:59:47Z","title":"Towards rational and minimal change propagation in model evolution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.6046","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:1e882453e264eb38115a78102125e17c4229da7d624d32f800695eb8c571a871","target":"record","created_at":"2026-05-18T02:57:51Z","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":"73f1377569baae3a0df7fa52d8367a42fe104ef2040805e1b137a0a39e41a8fb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-02-25T03:59:47Z","title_canon_sha256":"a711817855232f427d0fc28ca07be65d871757b4b185a947b93ec768fb5c2917"},"schema_version":"1.0","source":{"id":"1402.6046","kind":"arxiv","version":1}},"canonical_sha256":"fd3ec89792fdf0385f35d2da7c3df027c2d1f2ac046aa15f5095560da7d93c0a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fd3ec89792fdf0385f35d2da7c3df027c2d1f2ac046aa15f5095560da7d93c0a","first_computed_at":"2026-05-18T02:57:51.772115Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:57:51.772115Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bgyac6HmuKZl9ezsHDOKvQte2TMOl+8L9pPqC8Ks4OLQ+aAoP0iPmJYsPuhRrri/+9j//l+9/xdY/5VrhGwYDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:57:51.772610Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.6046","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1e882453e264eb38115a78102125e17c4229da7d624d32f800695eb8c571a871","sha256:9f4857d7f0030697cd95489dead155905fed4fb3e452254c8eb50c85c4137e13"],"state_sha256":"aebb9fbff90453a0463cd3a14a91dc0a24ff51195a8e9d80b9987b178f73b28d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jeCRfdkGgRA/cXa1zgZjCPcTwKnQ8E5tWI5dldPKhI/PgigVu1yUqYafxnnHVDFjw8Joixaqan+SpU696S2eDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T21:35:47.894212Z","bundle_sha256":"d7950d9b7d1f6b44b1211289ed9f1e74240ccf3692f20d9b9ad73bf0411a688e"}}