{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:UK3AYU7XN56VF4JCCXCVJCFCJ5","short_pith_number":"pith:UK3AYU7X","canonical_record":{"source":{"id":"1905.12991","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-05-30T12:09:19Z","cross_cats_sorted":[],"title_canon_sha256":"0e769df0a9db93963056d877de087913b0db1df2daf4c6c971e3600c48c3ac58","abstract_canon_sha256":"025a38bb1d704d03113ca17d29c222c4f7c363ef405fc283732227331d0724a6"},"schema_version":"1.0"},"canonical_sha256":"a2b60c53f76f7d52f12215c55488a24f5eee6cf0d39a59b73f6784f271b4428c","source":{"kind":"arxiv","id":"1905.12991","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.12991","created_at":"2026-05-17T23:42:49Z"},{"alias_kind":"arxiv_version","alias_value":"1905.12991v3","created_at":"2026-05-17T23:42:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.12991","created_at":"2026-05-17T23:42:49Z"},{"alias_kind":"pith_short_12","alias_value":"UK3AYU7XN56V","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"UK3AYU7XN56VF4JC","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"UK3AYU7X","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:UK3AYU7XN56VF4JCCXCVJCFCJ5","target":"record","payload":{"canonical_record":{"source":{"id":"1905.12991","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-05-30T12:09:19Z","cross_cats_sorted":[],"title_canon_sha256":"0e769df0a9db93963056d877de087913b0db1df2daf4c6c971e3600c48c3ac58","abstract_canon_sha256":"025a38bb1d704d03113ca17d29c222c4f7c363ef405fc283732227331d0724a6"},"schema_version":"1.0"},"canonical_sha256":"a2b60c53f76f7d52f12215c55488a24f5eee6cf0d39a59b73f6784f271b4428c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:49.744210Z","signature_b64":"yDS98xv6sKaFzF1e1xghLEpzDHNrjiFN+cKp7Wfr99zvxR9B84SqZMlEI1mo9Gi+b9HjW/uWQ6t1QPAMrWjUDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a2b60c53f76f7d52f12215c55488a24f5eee6cf0d39a59b73f6784f271b4428c","last_reissued_at":"2026-05-17T23:42:49.743658Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:49.743658Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.12991","source_version":3,"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-17T23:42:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O6IPT/HDOGccDffHYgThgDRM6Ew2bnUvBd0Z4q/okgkYtd76THJt8NCjzifcE3A3GGnaHss19EFo4IRLrMn8Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T08:22:54.891059Z"},"content_sha256":"cbfbc8643cbdb94cb04db6e22d3527b3c3f33cd48d0ee34bf685f9df76e870f0","schema_version":"1.0","event_id":"sha256:cbfbc8643cbdb94cb04db6e22d3527b3c3f33cd48d0ee34bf685f9df76e870f0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:UK3AYU7XN56VF4JCCXCVJCFCJ5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alessandro Gianola, Andrey Rivkin, Diego Calvanese, Marco Montali, Silvio Ghilardi","submitted_at":"2019-05-30T12:09:19Z","abstract_excerpt":"We propose DAB -- a data-aware extension of the BPMN de-facto standard with the ability of operating over case and persistent data (partitioned into a read-only catalog and a read-write repository), and that balances between expressiveness and the possibility of supporting parameterized verification of safety properties on top of it. In particular, we take inspiration from the literature on verification of artifact systems, and consider verification problems where safety properties are checked irrespectively of the content of the read-only catalog, possibly considering an unbounded number of a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.12991","kind":"arxiv","version":3},"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-17T23:42:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pXvp2glbBXnzKoC15We/4PVs6LoRDeqhMod1gD3AYR7YHaX6Bw4EcOyPdwPV+h2Q8RxhY2Nb6TXfSKRxL3xMCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T08:22:54.891529Z"},"content_sha256":"8272184bd82a98e2c7935148307bb8aa43bc2fe1f0feca1aa04853e0ab9de3c7","schema_version":"1.0","event_id":"sha256:8272184bd82a98e2c7935148307bb8aa43bc2fe1f0feca1aa04853e0ab9de3c7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UK3AYU7XN56VF4JCCXCVJCFCJ5/bundle.json","state_url":"https://pith.science/pith/UK3AYU7XN56VF4JCCXCVJCFCJ5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UK3AYU7XN56VF4JCCXCVJCFCJ5/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-07T08:22:54Z","links":{"resolver":"https://pith.science/pith/UK3AYU7XN56VF4JCCXCVJCFCJ5","bundle":"https://pith.science/pith/UK3AYU7XN56VF4JCCXCVJCFCJ5/bundle.json","state":"https://pith.science/pith/UK3AYU7XN56VF4JCCXCVJCFCJ5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UK3AYU7XN56VF4JCCXCVJCFCJ5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:UK3AYU7XN56VF4JCCXCVJCFCJ5","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":"025a38bb1d704d03113ca17d29c222c4f7c363ef405fc283732227331d0724a6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-05-30T12:09:19Z","title_canon_sha256":"0e769df0a9db93963056d877de087913b0db1df2daf4c6c971e3600c48c3ac58"},"schema_version":"1.0","source":{"id":"1905.12991","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.12991","created_at":"2026-05-17T23:42:49Z"},{"alias_kind":"arxiv_version","alias_value":"1905.12991v3","created_at":"2026-05-17T23:42:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.12991","created_at":"2026-05-17T23:42:49Z"},{"alias_kind":"pith_short_12","alias_value":"UK3AYU7XN56V","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"UK3AYU7XN56VF4JC","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"UK3AYU7X","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:8272184bd82a98e2c7935148307bb8aa43bc2fe1f0feca1aa04853e0ab9de3c7","target":"graph","created_at":"2026-05-17T23:42:49Z","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":"We propose DAB -- a data-aware extension of the BPMN de-facto standard with the ability of operating over case and persistent data (partitioned into a read-only catalog and a read-write repository), and that balances between expressiveness and the possibility of supporting parameterized verification of safety properties on top of it. In particular, we take inspiration from the literature on verification of artifact systems, and consider verification problems where safety properties are checked irrespectively of the content of the read-only catalog, possibly considering an unbounded number of a","authors_text":"Alessandro Gianola, Andrey Rivkin, Diego Calvanese, Marco Montali, Silvio Ghilardi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-05-30T12:09:19Z","title":"Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.12991","kind":"arxiv","version":3},"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:cbfbc8643cbdb94cb04db6e22d3527b3c3f33cd48d0ee34bf685f9df76e870f0","target":"record","created_at":"2026-05-17T23:42:49Z","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":"025a38bb1d704d03113ca17d29c222c4f7c363ef405fc283732227331d0724a6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-05-30T12:09:19Z","title_canon_sha256":"0e769df0a9db93963056d877de087913b0db1df2daf4c6c971e3600c48c3ac58"},"schema_version":"1.0","source":{"id":"1905.12991","kind":"arxiv","version":3}},"canonical_sha256":"a2b60c53f76f7d52f12215c55488a24f5eee6cf0d39a59b73f6784f271b4428c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2b60c53f76f7d52f12215c55488a24f5eee6cf0d39a59b73f6784f271b4428c","first_computed_at":"2026-05-17T23:42:49.743658Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:49.743658Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yDS98xv6sKaFzF1e1xghLEpzDHNrjiFN+cKp7Wfr99zvxR9B84SqZMlEI1mo9Gi+b9HjW/uWQ6t1QPAMrWjUDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:49.744210Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.12991","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cbfbc8643cbdb94cb04db6e22d3527b3c3f33cd48d0ee34bf685f9df76e870f0","sha256:8272184bd82a98e2c7935148307bb8aa43bc2fe1f0feca1aa04853e0ab9de3c7"],"state_sha256":"01ebebf1036f482193a7acee67eb14632e474820ebfd6b0ef6e7f15d01dd0fa2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gurj6rGdzytq33/zmsan+2fdhmPepHQ08UmeHxj5j8xBJLP9xLLQ3WZv35L/iGzMUwfhoAsIZyFq7aIzudR/Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T08:22:54.894417Z","bundle_sha256":"1311bc7558a52c1fe77484a8457d5389ec50b7be9d388a01a15f20caa7fd5599"}}