{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:IGYFUFB5M7K352LJYM4Q2FVWH6","short_pith_number":"pith:IGYFUFB5","canonical_record":{"source":{"id":"2505.24309","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-30T07:47:06Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"2a0f4ef937fb28f3f995da877fee18ca438df4f31284b68b26f0d191c5a32c25","abstract_canon_sha256":"dd8f3ce412361696c97b7ea1eed7607b3f4544a0956bdc9cb07d4d593efee0e6"},"schema_version":"1.0"},"canonical_sha256":"41b05a143d67d5bee969c3390d16b63fb708a50ebb8067523ba39036709cb625","source":{"kind":"arxiv","id":"2505.24309","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.24309","created_at":"2026-07-05T11:12:46Z"},{"alias_kind":"arxiv_version","alias_value":"2505.24309v1","created_at":"2026-07-05T11:12:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.24309","created_at":"2026-07-05T11:12:46Z"},{"alias_kind":"pith_short_12","alias_value":"IGYFUFB5M7K3","created_at":"2026-07-05T11:12:46Z"},{"alias_kind":"pith_short_16","alias_value":"IGYFUFB5M7K352LJ","created_at":"2026-07-05T11:12:46Z"},{"alias_kind":"pith_short_8","alias_value":"IGYFUFB5","created_at":"2026-07-05T11:12:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:IGYFUFB5M7K352LJYM4Q2FVWH6","target":"record","payload":{"canonical_record":{"source":{"id":"2505.24309","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-30T07:47:06Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"2a0f4ef937fb28f3f995da877fee18ca438df4f31284b68b26f0d191c5a32c25","abstract_canon_sha256":"dd8f3ce412361696c97b7ea1eed7607b3f4544a0956bdc9cb07d4d593efee0e6"},"schema_version":"1.0"},"canonical_sha256":"41b05a143d67d5bee969c3390d16b63fb708a50ebb8067523ba39036709cb625","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:12:46.475151Z","signature_b64":"rvrHxlGMnt5ERenAZACQHlZF61T7R9TViDIdq6ROE5ecuzz/OuA1QKB2x8RRp3utwJ6i6EPzy9Ja53RYM3BvDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"41b05a143d67d5bee969c3390d16b63fb708a50ebb8067523ba39036709cb625","last_reissued_at":"2026-07-05T11:12:46.474664Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:12:46.474664Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.24309","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:12:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5tr96WvNe9xFk4FGBuXp0gmWuBUd0OMZeEy7FOksf1pwJCkIz4wQfkrbomfLUGUeF7HPegNM1DlIeeezlAdKAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T09:38:53.978338Z"},"content_sha256":"85b0ccb22bdd83fc97d54bf5274677b6059df69cbcb1856ebcd4093fc0753242","schema_version":"1.0","event_id":"sha256:85b0ccb22bdd83fc97d54bf5274677b6059df69cbcb1856ebcd4093fc0753242"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:IGYFUFB5M7K352LJYM4Q2FVWH6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.SE","authors_text":"Christian Gang Liu","submitted_at":"2025-05-30T07:47:06Z","abstract_excerpt":"To alleviate difficulties in writing smart contracts for distributed blockchain applications, as other research, we propose transformation of Business Process Model and Notation (BPMN) models into blockchain smart contracts. Unlike other research, we use Discrete Event Hierarchical State Machine (DE-HSM) multi-modal modeling to identify collaborative trade transactions that need to be supported by the smart contract and describe how the trade transactions, that may be nested, are supported by a transaction mechanism. We describe algorithms to (i) identify the nested trade transactions and to ("},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.24309","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/2505.24309/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:12:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jpYBtX4cXx0K6cuezSZTW/sTcmXAfCVCLvTzeZEWdQSEN/CS39z+QOuiH3jyWy51MokzGXsFakCNddw8wmDUCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T09:38:53.978858Z"},"content_sha256":"9d597e5c3db30c7fc2ff40db6a167402323e7ff40972912bf54a3f2fe7cf1822","schema_version":"1.0","event_id":"sha256:9d597e5c3db30c7fc2ff40db6a167402323e7ff40972912bf54a3f2fe7cf1822"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IGYFUFB5M7K352LJYM4Q2FVWH6/bundle.json","state_url":"https://pith.science/pith/IGYFUFB5M7K352LJYM4Q2FVWH6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IGYFUFB5M7K352LJYM4Q2FVWH6/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-08T09:38:53Z","links":{"resolver":"https://pith.science/pith/IGYFUFB5M7K352LJYM4Q2FVWH6","bundle":"https://pith.science/pith/IGYFUFB5M7K352LJYM4Q2FVWH6/bundle.json","state":"https://pith.science/pith/IGYFUFB5M7K352LJYM4Q2FVWH6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IGYFUFB5M7K352LJYM4Q2FVWH6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:IGYFUFB5M7K352LJYM4Q2FVWH6","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":"dd8f3ce412361696c97b7ea1eed7607b3f4544a0956bdc9cb07d4d593efee0e6","cross_cats_sorted":["cs.DC"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-30T07:47:06Z","title_canon_sha256":"2a0f4ef937fb28f3f995da877fee18ca438df4f31284b68b26f0d191c5a32c25"},"schema_version":"1.0","source":{"id":"2505.24309","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.24309","created_at":"2026-07-05T11:12:46Z"},{"alias_kind":"arxiv_version","alias_value":"2505.24309v1","created_at":"2026-07-05T11:12:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.24309","created_at":"2026-07-05T11:12:46Z"},{"alias_kind":"pith_short_12","alias_value":"IGYFUFB5M7K3","created_at":"2026-07-05T11:12:46Z"},{"alias_kind":"pith_short_16","alias_value":"IGYFUFB5M7K352LJ","created_at":"2026-07-05T11:12:46Z"},{"alias_kind":"pith_short_8","alias_value":"IGYFUFB5","created_at":"2026-07-05T11:12:46Z"}],"graph_snapshots":[{"event_id":"sha256:9d597e5c3db30c7fc2ff40db6a167402323e7ff40972912bf54a3f2fe7cf1822","target":"graph","created_at":"2026-07-05T11:12:46Z","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/2505.24309/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"To alleviate difficulties in writing smart contracts for distributed blockchain applications, as other research, we propose transformation of Business Process Model and Notation (BPMN) models into blockchain smart contracts. Unlike other research, we use Discrete Event Hierarchical State Machine (DE-HSM) multi-modal modeling to identify collaborative trade transactions that need to be supported by the smart contract and describe how the trade transactions, that may be nested, are supported by a transaction mechanism. We describe algorithms to (i) identify the nested trade transactions and to (","authors_text":"Christian Gang Liu","cross_cats":["cs.DC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-30T07:47:06Z","title":"Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.24309","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:85b0ccb22bdd83fc97d54bf5274677b6059df69cbcb1856ebcd4093fc0753242","target":"record","created_at":"2026-07-05T11:12:46Z","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":"dd8f3ce412361696c97b7ea1eed7607b3f4544a0956bdc9cb07d4d593efee0e6","cross_cats_sorted":["cs.DC"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-30T07:47:06Z","title_canon_sha256":"2a0f4ef937fb28f3f995da877fee18ca438df4f31284b68b26f0d191c5a32c25"},"schema_version":"1.0","source":{"id":"2505.24309","kind":"arxiv","version":1}},"canonical_sha256":"41b05a143d67d5bee969c3390d16b63fb708a50ebb8067523ba39036709cb625","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"41b05a143d67d5bee969c3390d16b63fb708a50ebb8067523ba39036709cb625","first_computed_at":"2026-07-05T11:12:46.474664Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:12:46.474664Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rvrHxlGMnt5ERenAZACQHlZF61T7R9TViDIdq6ROE5ecuzz/OuA1QKB2x8RRp3utwJ6i6EPzy9Ja53RYM3BvDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:12:46.475151Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.24309","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85b0ccb22bdd83fc97d54bf5274677b6059df69cbcb1856ebcd4093fc0753242","sha256:9d597e5c3db30c7fc2ff40db6a167402323e7ff40972912bf54a3f2fe7cf1822"],"state_sha256":"3cf96e55a9a2d1624caa9eb25631bee80cacee9401374efdb2ac639840acfd30"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ifw5RkYxk7XDd23WzgmkqAH6GzYXmrA/kbD7dURnMzpuvHtKoNAPqF0DXvOpBZt5lK248BJsWWwuWONFxeQlDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T09:38:53.983973Z","bundle_sha256":"c1b631694512df761f2b3081cb8bf292ce4c5369f0df2d3ec2d6a7aa02093195"}}