{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:ZKLGBKP6MMFZ4IFMNSBQ7KP3K3","short_pith_number":"pith:ZKLGBKP6","schema_version":"1.0","canonical_sha256":"ca9660a9fe630b9e20ac6c830fa9fb56e7c577fb9d9fee6865b335bdfd9a89d6","source":{"kind":"arxiv","id":"2505.22612","version":1},"attestation_state":"computed","paper":{"title":"BPMN to Smart Contract by Business Analyst","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"C. G. Liu, D. Jutla, P. Bodorik","submitted_at":"2025-05-28T17:28:38Z","abstract_excerpt":"This paper addresses the challenge of creating smart contracts for applications represented using Business Process Management and Notation (BPMN) models. In our prior work we presented a methodology that automates the generation of smart contracts from BPMN models. This approach abstracts the BPMN flow control, making it independent of the underlying blockchain infrastructure, with only the BPMN task elements requiring coding. In subsequent research, we enhanced our approach by adding support for nested transactions and enabling a smart contract repair and/or upgrade. To empower Business Analy"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2505.22612","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-28T17:28:38Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"aa31970bdae822bc01e3f57dcf4ec906cfc41749ddbb9c537c8adb8b28b6ebf1","abstract_canon_sha256":"56af5de24934910f6345c6b505a57be17882b9c32be3bd0808b948382a385145"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:11:27.786964Z","signature_b64":"yiQ1LFJ+N0W4ZYG1nU2gXheeH96Vr7SsLtxKLwvSCn5UbDIwmP6or+NQPNGufe2Cmzf6oyXPsC5/Tgo4V3QhAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ca9660a9fe630b9e20ac6c830fa9fb56e7c577fb9d9fee6865b335bdfd9a89d6","last_reissued_at":"2026-07-05T11:11:27.786489Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:11:27.786489Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"BPMN to Smart Contract by Business Analyst","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"C. G. Liu, D. Jutla, P. Bodorik","submitted_at":"2025-05-28T17:28:38Z","abstract_excerpt":"This paper addresses the challenge of creating smart contracts for applications represented using Business Process Management and Notation (BPMN) models. In our prior work we presented a methodology that automates the generation of smart contracts from BPMN models. This approach abstracts the BPMN flow control, making it independent of the underlying blockchain infrastructure, with only the BPMN task elements requiring coding. In subsequent research, we enhanced our approach by adding support for nested transactions and enabling a smart contract repair and/or upgrade. To empower Business Analy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.22612","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.22612/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2505.22612","created_at":"2026-07-05T11:11:27.786549+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.22612v1","created_at":"2026-07-05T11:11:27.786549+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.22612","created_at":"2026-07-05T11:11:27.786549+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZKLGBKP6MMFZ","created_at":"2026-07-05T11:11:27.786549+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZKLGBKP6MMFZ4IFM","created_at":"2026-07-05T11:11:27.786549+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZKLGBKP6","created_at":"2026-07-05T11:11:27.786549+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3","json":"https://pith.science/pith/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3.json","graph_json":"https://pith.science/api/pith-number/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3/graph.json","events_json":"https://pith.science/api/pith-number/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3/events.json","paper":"https://pith.science/paper/ZKLGBKP6"},"agent_actions":{"view_html":"https://pith.science/pith/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3","download_json":"https://pith.science/pith/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3.json","view_paper":"https://pith.science/paper/ZKLGBKP6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.22612&json=true","fetch_graph":"https://pith.science/api/pith-number/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3/graph.json","fetch_events":"https://pith.science/api/pith-number/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3/action/storage_attestation","attest_author":"https://pith.science/pith/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3/action/author_attestation","sign_citation":"https://pith.science/pith/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3/action/citation_signature","submit_replication":"https://pith.science/pith/ZKLGBKP6MMFZ4IFMNSBQ7KP3K3/action/replication_record"}},"created_at":"2026-07-05T11:11:27.786549+00:00","updated_at":"2026-07-05T11:11:27.786549+00:00"}