{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:UHEFF4GIIBYX5F34TWOD5QPP7O","short_pith_number":"pith:UHEFF4GI","canonical_record":{"source":{"id":"1409.2352","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T14:14:56Z","cross_cats_sorted":[],"title_canon_sha256":"ffe3a55b6ca5c0b7bb13a31332941e9c92f7122a875dfd3f2fda91648709b91e","abstract_canon_sha256":"13cd4406c793b355bdb2680c94d68a508f871f4a5332fc33c8d598c99ce8ec2f"},"schema_version":"1.0"},"canonical_sha256":"a1c852f0c840717e977c9d9c3ec1effbbf52c5b9625800c7180e0dab28dc60e3","source":{"kind":"arxiv","id":"1409.2352","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.2352","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"arxiv_version","alias_value":"1409.2352v1","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.2352","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"pith_short_12","alias_value":"UHEFF4GIIBYX","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UHEFF4GIIBYX5F34","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UHEFF4GI","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:UHEFF4GIIBYX5F34TWOD5QPP7O","target":"record","payload":{"canonical_record":{"source":{"id":"1409.2352","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T14:14:56Z","cross_cats_sorted":[],"title_canon_sha256":"ffe3a55b6ca5c0b7bb13a31332941e9c92f7122a875dfd3f2fda91648709b91e","abstract_canon_sha256":"13cd4406c793b355bdb2680c94d68a508f871f4a5332fc33c8d598c99ce8ec2f"},"schema_version":"1.0"},"canonical_sha256":"a1c852f0c840717e977c9d9c3ec1effbbf52c5b9625800c7180e0dab28dc60e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:43:17.341121Z","signature_b64":"DcynGb8yaPDK+gIozVP50sFhFblorm/6w4ghgmLl6eyPmkhCt2o4nXJob3aXLc3RsEisCWskV/n6jMSc7S18Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a1c852f0c840717e977c9d9c3ec1effbbf52c5b9625800c7180e0dab28dc60e3","last_reissued_at":"2026-05-18T02:43:17.340691Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:43:17.340691Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.2352","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:43:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1moLDdEmhGLwdt/PVgrccsnCg5pLWz+DkIG0pa29z2YklvnF+TgVaPThVzJFMO+Kpyaz/Ohma1bkCEyZfztTBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T08:22:25.573640Z"},"content_sha256":"a3d3ac20be33a294430d43d1f1a3f19129fe86744a3f38fb225f00cf13cd7781","schema_version":"1.0","event_id":"sha256:a3d3ac20be33a294430d43d1f1a3f19129fe86744a3f38fb225f00cf13cd7781"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:UHEFF4GIIBYX5F34TWOD5QPP7O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ADDiff: Semantic Differencing for Activity Diagrams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Rumpe, Jan Oliver Ringert, Shahar Maoz","submitted_at":"2014-09-08T14:14:56Z","abstract_excerpt":"Activity diagrams (ADs) have recently become widely used in the modeling of workflows, business processes, and web-services, where they serve various purposes, from documentation, requirement definitions, and test case specifications, to simulation and code generation. As models, programs, and systems evolve over time, understanding changes and their impact is an important challenge, which has attracted much research efforts in recent years. In this paper we present addiff, a semantic differencing operator for ADs. Unlike most existing approaches to model comparison, which compare the concrete"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.2352","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:43:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cJ9w5/O2SyUKnycf/ASU4l8ZDQYiTvRKDf+Dl/FuEF5q6uUwACUmqQfHdbJYxMaz0IvwWSRweBmEz2R+hKJcCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T08:22:25.574263Z"},"content_sha256":"8d3b1f382504fcbc768def191f70cbb6452e28ba607c0ce1333fe9adcbd313de","schema_version":"1.0","event_id":"sha256:8d3b1f382504fcbc768def191f70cbb6452e28ba607c0ce1333fe9adcbd313de"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O/bundle.json","state_url":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UHEFF4GIIBYX5F34TWOD5QPP7O/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-06T08:22:25Z","links":{"resolver":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O","bundle":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O/bundle.json","state":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UHEFF4GIIBYX5F34TWOD5QPP7O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:UHEFF4GIIBYX5F34TWOD5QPP7O","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":"13cd4406c793b355bdb2680c94d68a508f871f4a5332fc33c8d598c99ce8ec2f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T14:14:56Z","title_canon_sha256":"ffe3a55b6ca5c0b7bb13a31332941e9c92f7122a875dfd3f2fda91648709b91e"},"schema_version":"1.0","source":{"id":"1409.2352","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.2352","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"arxiv_version","alias_value":"1409.2352v1","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.2352","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"pith_short_12","alias_value":"UHEFF4GIIBYX","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UHEFF4GIIBYX5F34","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UHEFF4GI","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:8d3b1f382504fcbc768def191f70cbb6452e28ba607c0ce1333fe9adcbd313de","target":"graph","created_at":"2026-05-18T02:43:17Z","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":"Activity diagrams (ADs) have recently become widely used in the modeling of workflows, business processes, and web-services, where they serve various purposes, from documentation, requirement definitions, and test case specifications, to simulation and code generation. As models, programs, and systems evolve over time, understanding changes and their impact is an important challenge, which has attracted much research efforts in recent years. In this paper we present addiff, a semantic differencing operator for ADs. Unlike most existing approaches to model comparison, which compare the concrete","authors_text":"Bernhard Rumpe, Jan Oliver Ringert, Shahar Maoz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T14:14:56Z","title":"ADDiff: Semantic Differencing for Activity Diagrams"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.2352","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:a3d3ac20be33a294430d43d1f1a3f19129fe86744a3f38fb225f00cf13cd7781","target":"record","created_at":"2026-05-18T02:43:17Z","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":"13cd4406c793b355bdb2680c94d68a508f871f4a5332fc33c8d598c99ce8ec2f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T14:14:56Z","title_canon_sha256":"ffe3a55b6ca5c0b7bb13a31332941e9c92f7122a875dfd3f2fda91648709b91e"},"schema_version":"1.0","source":{"id":"1409.2352","kind":"arxiv","version":1}},"canonical_sha256":"a1c852f0c840717e977c9d9c3ec1effbbf52c5b9625800c7180e0dab28dc60e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1c852f0c840717e977c9d9c3ec1effbbf52c5b9625800c7180e0dab28dc60e3","first_computed_at":"2026-05-18T02:43:17.340691Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:43:17.340691Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DcynGb8yaPDK+gIozVP50sFhFblorm/6w4ghgmLl6eyPmkhCt2o4nXJob3aXLc3RsEisCWskV/n6jMSc7S18Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T02:43:17.341121Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.2352","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a3d3ac20be33a294430d43d1f1a3f19129fe86744a3f38fb225f00cf13cd7781","sha256:8d3b1f382504fcbc768def191f70cbb6452e28ba607c0ce1333fe9adcbd313de"],"state_sha256":"6c053f0bc9a41641c9907fb486d3f484381991b8b0a8983d0c314b8178251810"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ALtyJWEWc5hbMWjzyeO5elaBIIZYWiM+PK2WsE2kSafles1JU/bm85dm5qzOj5zo8KePZDjNYr0XL/g3f+IdAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T08:22:25.577802Z","bundle_sha256":"24f1eba9177d57f94de07f47e3dfe6210ba17066ed32a8a6dc500618101b08dc"}}