{"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"}