{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:5XUDCAXNBVKXJ646NS2LDIKYYH","short_pith_number":"pith:5XUDCAXN","canonical_record":{"source":{"id":"2506.02727","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-03T10:37:41Z","cross_cats_sorted":[],"title_canon_sha256":"23e189f073304ebb97b9b3a3c42038f42ea4ecceca7ce5a9356cc79ed43c4505","abstract_canon_sha256":"b7d6d536dc6dd71a7b7b2ab0c3e8464fa1a5aa3533a36bb5b48355295710edc0"},"schema_version":"1.0"},"canonical_sha256":"ede83102ed0d5574fb9e6cb4b1a158c1cc5a8112908128af2ab3bf6bac105047","source":{"kind":"arxiv","id":"2506.02727","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.02727","created_at":"2026-07-05T11:15:07Z"},{"alias_kind":"arxiv_version","alias_value":"2506.02727v1","created_at":"2026-07-05T11:15:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.02727","created_at":"2026-07-05T11:15:07Z"},{"alias_kind":"pith_short_12","alias_value":"5XUDCAXNBVKX","created_at":"2026-07-05T11:15:07Z"},{"alias_kind":"pith_short_16","alias_value":"5XUDCAXNBVKXJ646","created_at":"2026-07-05T11:15:07Z"},{"alias_kind":"pith_short_8","alias_value":"5XUDCAXN","created_at":"2026-07-05T11:15:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:5XUDCAXNBVKXJ646NS2LDIKYYH","target":"record","payload":{"canonical_record":{"source":{"id":"2506.02727","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-03T10:37:41Z","cross_cats_sorted":[],"title_canon_sha256":"23e189f073304ebb97b9b3a3c42038f42ea4ecceca7ce5a9356cc79ed43c4505","abstract_canon_sha256":"b7d6d536dc6dd71a7b7b2ab0c3e8464fa1a5aa3533a36bb5b48355295710edc0"},"schema_version":"1.0"},"canonical_sha256":"ede83102ed0d5574fb9e6cb4b1a158c1cc5a8112908128af2ab3bf6bac105047","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:15:07.217806Z","signature_b64":"lRyOTJhOgSq9v7uhzJ9RP0qCRSYMKn5P73NW0VFtq16Och3bCbQQuWGhv1jeBdUt63GsQmAjkHk99nz4+mNgBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ede83102ed0d5574fb9e6cb4b1a158c1cc5a8112908128af2ab3bf6bac105047","last_reissued_at":"2026-07-05T11:15:07.217180Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:15:07.217180Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.02727","source_version":1,"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-07-05T11:15:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7xMmFLsIMylyhWPQKUVEZcStJiLboB/zlgWMDa2IYt8Qk0PKsCle6zsEKiI6LU5oPc6rebpq4PzXapDaVbaiBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T15:01:39.510936Z"},"content_sha256":"461222d14f4dc415247a7cee59675ee6b22a0fea0cbdbc1736ac09f2ced5194e","schema_version":"1.0","event_id":"sha256:461222d14f4dc415247a7cee59675ee6b22a0fea0cbdbc1736ac09f2ced5194e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:5XUDCAXNBVKXJ646NS2LDIKYYH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Christian Gang Liu, Dawn Jutla, Peter Bodorik","submitted_at":"2025-06-03T10:37:41Z","abstract_excerpt":"Development of blockchain smart contracts is more difficult than mainstream software development because the underlying blockchain infrastructure poses additional complexity. To ease the developer's task of writing smart contract, as other research efforts, we also use Business Process Model and Notation BPMN modeling to describe application requirements for trade of goods and services and then transform automatically the BPMN model into the methods of a smart contract. In our previous research we described our approach and a tool to Transform Automatically BPMN models into Smart contracts TAB"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.02727","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/2506.02727/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"},"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-07-05T11:15:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1jWo9nh/TYvEzBM+qUd0KjDv1NfQX0n+TIWneJidz9yE2CRQXvUycHf6ahPSslt6MfQ1TCiWz5TTVVUHcBVYBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T15:01:39.511889Z"},"content_sha256":"d5e7ea1fe6812bea89907374b6b3f3fda8355cdcd5bbbea7131dae4d4f660600","schema_version":"1.0","event_id":"sha256:d5e7ea1fe6812bea89907374b6b3f3fda8355cdcd5bbbea7131dae4d4f660600"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH/bundle.json","state_url":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5XUDCAXNBVKXJ646NS2LDIKYYH/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-08-10T15:01:39Z","links":{"resolver":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH","bundle":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH/bundle.json","state":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5XUDCAXNBVKXJ646NS2LDIKYYH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:5XUDCAXNBVKXJ646NS2LDIKYYH","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":"b7d6d536dc6dd71a7b7b2ab0c3e8464fa1a5aa3533a36bb5b48355295710edc0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-03T10:37:41Z","title_canon_sha256":"23e189f073304ebb97b9b3a3c42038f42ea4ecceca7ce5a9356cc79ed43c4505"},"schema_version":"1.0","source":{"id":"2506.02727","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.02727","created_at":"2026-07-05T11:15:07Z"},{"alias_kind":"arxiv_version","alias_value":"2506.02727v1","created_at":"2026-07-05T11:15:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.02727","created_at":"2026-07-05T11:15:07Z"},{"alias_kind":"pith_short_12","alias_value":"5XUDCAXNBVKX","created_at":"2026-07-05T11:15:07Z"},{"alias_kind":"pith_short_16","alias_value":"5XUDCAXNBVKXJ646","created_at":"2026-07-05T11:15:07Z"},{"alias_kind":"pith_short_8","alias_value":"5XUDCAXN","created_at":"2026-07-05T11:15:07Z"}],"graph_snapshots":[{"event_id":"sha256:d5e7ea1fe6812bea89907374b6b3f3fda8355cdcd5bbbea7131dae4d4f660600","target":"graph","created_at":"2026-07-05T11:15:07Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2506.02727/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Development of blockchain smart contracts is more difficult than mainstream software development because the underlying blockchain infrastructure poses additional complexity. To ease the developer's task of writing smart contract, as other research efforts, we also use Business Process Model and Notation BPMN modeling to describe application requirements for trade of goods and services and then transform automatically the BPMN model into the methods of a smart contract. In our previous research we described our approach and a tool to Transform Automatically BPMN models into Smart contracts TAB","authors_text":"Christian Gang Liu, Dawn Jutla, Peter Bodorik","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-03T10:37:41Z","title":"Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.02727","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:461222d14f4dc415247a7cee59675ee6b22a0fea0cbdbc1736ac09f2ced5194e","target":"record","created_at":"2026-07-05T11:15:07Z","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":"b7d6d536dc6dd71a7b7b2ab0c3e8464fa1a5aa3533a36bb5b48355295710edc0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-03T10:37:41Z","title_canon_sha256":"23e189f073304ebb97b9b3a3c42038f42ea4ecceca7ce5a9356cc79ed43c4505"},"schema_version":"1.0","source":{"id":"2506.02727","kind":"arxiv","version":1}},"canonical_sha256":"ede83102ed0d5574fb9e6cb4b1a158c1cc5a8112908128af2ab3bf6bac105047","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ede83102ed0d5574fb9e6cb4b1a158c1cc5a8112908128af2ab3bf6bac105047","first_computed_at":"2026-07-05T11:15:07.217180Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:15:07.217180Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lRyOTJhOgSq9v7uhzJ9RP0qCRSYMKn5P73NW0VFtq16Och3bCbQQuWGhv1jeBdUt63GsQmAjkHk99nz4+mNgBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:15:07.217806Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.02727","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:461222d14f4dc415247a7cee59675ee6b22a0fea0cbdbc1736ac09f2ced5194e","sha256:d5e7ea1fe6812bea89907374b6b3f3fda8355cdcd5bbbea7131dae4d4f660600"],"state_sha256":"3f19d85948e65de1b35dbc50c75152a437d47fc012087dad67313dbd2e458832"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"24IkXVArlGrtZEzSo8+5bhL34WcmobSw3F+k7Ifiz5aF4vKgdHR0Ft8zFjNGIy3P8fJuOOsXerHGLD1KgU1DDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T15:01:39.517704Z","bundle_sha256":"c890d55b5bfba7a23e48eeb20c95d4b2a38c1cd308e55bbc6f7c4566ee3f07c3"}}