{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:UHEFF4GIIBYX5F34TWOD5QPP7O","short_pith_number":"pith:UHEFF4GI","schema_version":"1.0","canonical_sha256":"a1c852f0c840717e977c9d9c3ec1effbbf52c5b9625800c7180e0dab28dc60e3","source":{"kind":"arxiv","id":"1409.2352","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1409.2352","created_at":"2026-05-18T02:43:17.340752+00:00"},{"alias_kind":"arxiv_version","alias_value":"1409.2352v1","created_at":"2026-05-18T02:43:17.340752+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.2352","created_at":"2026-05-18T02:43:17.340752+00:00"},{"alias_kind":"pith_short_12","alias_value":"UHEFF4GIIBYX","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_16","alias_value":"UHEFF4GIIBYX5F34","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_8","alias_value":"UHEFF4GI","created_at":"2026-05-18T12:28:52.271510+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O","json":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O.json","graph_json":"https://pith.science/api/pith-number/UHEFF4GIIBYX5F34TWOD5QPP7O/graph.json","events_json":"https://pith.science/api/pith-number/UHEFF4GIIBYX5F34TWOD5QPP7O/events.json","paper":"https://pith.science/paper/UHEFF4GI"},"agent_actions":{"view_html":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O","download_json":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O.json","view_paper":"https://pith.science/paper/UHEFF4GI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1409.2352&json=true","fetch_graph":"https://pith.science/api/pith-number/UHEFF4GIIBYX5F34TWOD5QPP7O/graph.json","fetch_events":"https://pith.science/api/pith-number/UHEFF4GIIBYX5F34TWOD5QPP7O/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O/action/storage_attestation","attest_author":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O/action/author_attestation","sign_citation":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O/action/citation_signature","submit_replication":"https://pith.science/pith/UHEFF4GIIBYX5F34TWOD5QPP7O/action/replication_record"}},"created_at":"2026-05-18T02:43:17.340752+00:00","updated_at":"2026-05-18T02:43:17.340752+00:00"}