{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:4DK5SOM2CX6MG6KD7NB5ZDTBDI","short_pith_number":"pith:4DK5SOM2","canonical_record":{"source":{"id":"1706.04404","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-14T10:53:36Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"2955118a5c4765541c6c1751b8715e39091bfc7a0ed385d76611a8d6e3d06765","abstract_canon_sha256":"fe7e13211e67f42dead344652e77d8750bea4e1916b30bbf5f23c727c3d67710"},"schema_version":"1.0"},"canonical_sha256":"e0d5d9399a15fcc37943fb43dc8e611a2443ec1be03e0715b685daeb9163d2b4","source":{"kind":"arxiv","id":"1706.04404","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.04404","created_at":"2026-05-18T00:37:50Z"},{"alias_kind":"arxiv_version","alias_value":"1706.04404v2","created_at":"2026-05-18T00:37:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.04404","created_at":"2026-05-18T00:37:50Z"},{"alias_kind":"pith_short_12","alias_value":"4DK5SOM2CX6M","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"4DK5SOM2CX6MG6KD","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"4DK5SOM2","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:4DK5SOM2CX6MG6KD7NB5ZDTBDI","target":"record","payload":{"canonical_record":{"source":{"id":"1706.04404","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-14T10:53:36Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"2955118a5c4765541c6c1751b8715e39091bfc7a0ed385d76611a8d6e3d06765","abstract_canon_sha256":"fe7e13211e67f42dead344652e77d8750bea4e1916b30bbf5f23c727c3d67710"},"schema_version":"1.0"},"canonical_sha256":"e0d5d9399a15fcc37943fb43dc8e611a2443ec1be03e0715b685daeb9163d2b4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:37:50.421099Z","signature_b64":"/z6NntPHNoMyukSa4DJ2pd8WXfE26Rp/n4urjUC1Q89GACDDjFSQex8U9p3BKNiNkp+pw/lYuHeC1GCkqllSDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e0d5d9399a15fcc37943fb43dc8e611a2443ec1be03e0715b685daeb9163d2b4","last_reissued_at":"2026-05-18T00:37:50.420538Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:37:50.420538Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.04404","source_version":2,"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-18T00:37:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hjluSP8s/fahSwB2M0TjSiYdfHPbiREt7C2ah71uvSuimq8yUIjoycWHfpVHoqh9Xq9YuxDSxyYCEIOycoqBAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T13:07:30.101492Z"},"content_sha256":"c66009a5b14155f84f7ea2c01e90e640e56425005ee1fb5de1a2da273768d0fa","schema_version":"1.0","event_id":"sha256:c66009a5b14155f84f7ea2c01e90e640e56425005ee1fb5de1a2da273768d0fa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:4DK5SOM2CX6MG6KD7NB5ZDTBDI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.SE","authors_text":"Christoph Hochreiner, Christoph Prybila, Ingo Weber, Stefan Schulte","submitted_at":"2017-06-14T10:53:36Z","abstract_excerpt":"The usage of process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business process orchestration. In choreographies, control over a process instance is shared between independent parties, and no party has full control or knowledge during process runtime. Nevertheless, it is necessary to monitor and verify process instances during runtime for purposes of documentation, accounting, or compensation.\n  To achieve business process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a nov"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.04404","kind":"arxiv","version":2},"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-18T00:37:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ir2NKwrcAzWWvvYSdCS4Qla6kieW2kadV4wtmKtyTShf4iKUbktB/s5aJBwrZ8nwc99fqA/Xl9Ke7o6c9X5zDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T13:07:30.102141Z"},"content_sha256":"ca061d3baa16378e37301234727921a4dd7b041a6cfd8863e3fa94db7c11c645","schema_version":"1.0","event_id":"sha256:ca061d3baa16378e37301234727921a4dd7b041a6cfd8863e3fa94db7c11c645"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4DK5SOM2CX6MG6KD7NB5ZDTBDI/bundle.json","state_url":"https://pith.science/pith/4DK5SOM2CX6MG6KD7NB5ZDTBDI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4DK5SOM2CX6MG6KD7NB5ZDTBDI/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-06T13:07:30Z","links":{"resolver":"https://pith.science/pith/4DK5SOM2CX6MG6KD7NB5ZDTBDI","bundle":"https://pith.science/pith/4DK5SOM2CX6MG6KD7NB5ZDTBDI/bundle.json","state":"https://pith.science/pith/4DK5SOM2CX6MG6KD7NB5ZDTBDI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4DK5SOM2CX6MG6KD7NB5ZDTBDI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:4DK5SOM2CX6MG6KD7NB5ZDTBDI","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":"fe7e13211e67f42dead344652e77d8750bea4e1916b30bbf5f23c727c3d67710","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-14T10:53:36Z","title_canon_sha256":"2955118a5c4765541c6c1751b8715e39091bfc7a0ed385d76611a8d6e3d06765"},"schema_version":"1.0","source":{"id":"1706.04404","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.04404","created_at":"2026-05-18T00:37:50Z"},{"alias_kind":"arxiv_version","alias_value":"1706.04404v2","created_at":"2026-05-18T00:37:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.04404","created_at":"2026-05-18T00:37:50Z"},{"alias_kind":"pith_short_12","alias_value":"4DK5SOM2CX6M","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"4DK5SOM2CX6MG6KD","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"4DK5SOM2","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:ca061d3baa16378e37301234727921a4dd7b041a6cfd8863e3fa94db7c11c645","target":"graph","created_at":"2026-05-18T00:37:50Z","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":"The usage of process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business process orchestration. In choreographies, control over a process instance is shared between independent parties, and no party has full control or knowledge during process runtime. Nevertheless, it is necessary to monitor and verify process instances during runtime for purposes of documentation, accounting, or compensation.\n  To achieve business process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a nov","authors_text":"Christoph Hochreiner, Christoph Prybila, Ingo Weber, Stefan Schulte","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-14T10:53:36Z","title":"Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.04404","kind":"arxiv","version":2},"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:c66009a5b14155f84f7ea2c01e90e640e56425005ee1fb5de1a2da273768d0fa","target":"record","created_at":"2026-05-18T00:37:50Z","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":"fe7e13211e67f42dead344652e77d8750bea4e1916b30bbf5f23c727c3d67710","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-14T10:53:36Z","title_canon_sha256":"2955118a5c4765541c6c1751b8715e39091bfc7a0ed385d76611a8d6e3d06765"},"schema_version":"1.0","source":{"id":"1706.04404","kind":"arxiv","version":2}},"canonical_sha256":"e0d5d9399a15fcc37943fb43dc8e611a2443ec1be03e0715b685daeb9163d2b4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e0d5d9399a15fcc37943fb43dc8e611a2443ec1be03e0715b685daeb9163d2b4","first_computed_at":"2026-05-18T00:37:50.420538Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:37:50.420538Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/z6NntPHNoMyukSa4DJ2pd8WXfE26Rp/n4urjUC1Q89GACDDjFSQex8U9p3BKNiNkp+pw/lYuHeC1GCkqllSDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:37:50.421099Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.04404","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c66009a5b14155f84f7ea2c01e90e640e56425005ee1fb5de1a2da273768d0fa","sha256:ca061d3baa16378e37301234727921a4dd7b041a6cfd8863e3fa94db7c11c645"],"state_sha256":"579790107fe120ad260beb44877149238359372ddabf52673023634f42f70389"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DVNbzFVqX3kVGCNdaUSTjCt5OZtYqYGZTGygR93ODP40+PTPIfG54Zu1MVBYtXoe8cXJW7NHlIhuw6/gy6KaAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T13:07:30.105630Z","bundle_sha256":"212786073dacb6728d95644834984919ed3984514f4e46e8ca978f30c151c305"}}