{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:AQNK35FW2JCGZUDBNH7PVVGYDX","short_pith_number":"pith:AQNK35FW","schema_version":"1.0","canonical_sha256":"041aadf4b6d2446cd06169fefad4d81de860f0c4569358dd6cf691b33cecb8bd","source":{"kind":"arxiv","id":"2507.11976","version":1},"attestation_state":"computed","paper":{"title":"A Task Taxonomy for Conformance Checking","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Finn Klessascheck, Jana-Rebecca Rehse, Lisa-Marie Klein, Luise Pufahl, Michael Grohs, Tatiana von Landesberger","submitted_at":"2025-07-16T07:18:29Z","abstract_excerpt":"Conformance checking is a sub-discipline of process mining, which compares observed process traces with a process model to analyze whether the process execution conforms with or deviates from the process design. Organizations can leverage this analysis, for example to check whether their processes comply with internal or external regulations or to identify potential improvements. Gaining these insights requires suitable visualizations, which make complex results accessible and actionable. So far, however, the development of conformance checking visualizations has largely been left to tool vend"},"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":"2507.11976","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-16T07:18:29Z","cross_cats_sorted":[],"title_canon_sha256":"f60534d85f89093c95f123763dd8aed3853a10c938e3eec046f00321a111148f","abstract_canon_sha256":"18891b69cf6095ac86e8c24049fb5b903a476e2aab4a15c618af461de690c971"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:38:12.282648Z","signature_b64":"LOPysf4fZseAsB3wlVCSkzJz3MrMlBnopIm0jsaZhHPyay/UEG0M2UUICU2hllzNnttZak2+T3IUCLn4ly1rDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"041aadf4b6d2446cd06169fefad4d81de860f0c4569358dd6cf691b33cecb8bd","last_reissued_at":"2026-07-05T11:38:12.282181Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:38:12.282181Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Task Taxonomy for Conformance Checking","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Finn Klessascheck, Jana-Rebecca Rehse, Lisa-Marie Klein, Luise Pufahl, Michael Grohs, Tatiana von Landesberger","submitted_at":"2025-07-16T07:18:29Z","abstract_excerpt":"Conformance checking is a sub-discipline of process mining, which compares observed process traces with a process model to analyze whether the process execution conforms with or deviates from the process design. Organizations can leverage this analysis, for example to check whether their processes comply with internal or external regulations or to identify potential improvements. Gaining these insights requires suitable visualizations, which make complex results accessible and actionable. So far, however, the development of conformance checking visualizations has largely been left to tool vend"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.11976","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.11976/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2507.11976","created_at":"2026-07-05T11:38:12.282244+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.11976v1","created_at":"2026-07-05T11:38:12.282244+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.11976","created_at":"2026-07-05T11:38:12.282244+00:00"},{"alias_kind":"pith_short_12","alias_value":"AQNK35FW2JCG","created_at":"2026-07-05T11:38:12.282244+00:00"},{"alias_kind":"pith_short_16","alias_value":"AQNK35FW2JCGZUDB","created_at":"2026-07-05T11:38:12.282244+00:00"},{"alias_kind":"pith_short_8","alias_value":"AQNK35FW","created_at":"2026-07-05T11:38:12.282244+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/AQNK35FW2JCGZUDBNH7PVVGYDX","json":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX.json","graph_json":"https://pith.science/api/pith-number/AQNK35FW2JCGZUDBNH7PVVGYDX/graph.json","events_json":"https://pith.science/api/pith-number/AQNK35FW2JCGZUDBNH7PVVGYDX/events.json","paper":"https://pith.science/paper/AQNK35FW"},"agent_actions":{"view_html":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX","download_json":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX.json","view_paper":"https://pith.science/paper/AQNK35FW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.11976&json=true","fetch_graph":"https://pith.science/api/pith-number/AQNK35FW2JCGZUDBNH7PVVGYDX/graph.json","fetch_events":"https://pith.science/api/pith-number/AQNK35FW2JCGZUDBNH7PVVGYDX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX/action/storage_attestation","attest_author":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX/action/author_attestation","sign_citation":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX/action/citation_signature","submit_replication":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX/action/replication_record"}},"created_at":"2026-07-05T11:38:12.282244+00:00","updated_at":"2026-07-05T11:38:12.282244+00:00"}