{"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"}