{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:5XUDCAXNBVKXJ646NS2LDIKYYH","short_pith_number":"pith:5XUDCAXN","schema_version":"1.0","canonical_sha256":"ede83102ed0d5574fb9e6cb4b1a158c1cc5a8112908128af2ab3bf6bac105047","source":{"kind":"arxiv","id":"2506.02727","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.02727","created_at":"2026-07-05T11:15:07.217257+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.02727v1","created_at":"2026-07-05T11:15:07.217257+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.02727","created_at":"2026-07-05T11:15:07.217257+00:00"},{"alias_kind":"pith_short_12","alias_value":"5XUDCAXNBVKX","created_at":"2026-07-05T11:15:07.217257+00:00"},{"alias_kind":"pith_short_16","alias_value":"5XUDCAXNBVKXJ646","created_at":"2026-07-05T11:15:07.217257+00:00"},{"alias_kind":"pith_short_8","alias_value":"5XUDCAXN","created_at":"2026-07-05T11:15:07.217257+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/5XUDCAXNBVKXJ646NS2LDIKYYH","json":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH.json","graph_json":"https://pith.science/api/pith-number/5XUDCAXNBVKXJ646NS2LDIKYYH/graph.json","events_json":"https://pith.science/api/pith-number/5XUDCAXNBVKXJ646NS2LDIKYYH/events.json","paper":"https://pith.science/paper/5XUDCAXN"},"agent_actions":{"view_html":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH","download_json":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH.json","view_paper":"https://pith.science/paper/5XUDCAXN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.02727&json=true","fetch_graph":"https://pith.science/api/pith-number/5XUDCAXNBVKXJ646NS2LDIKYYH/graph.json","fetch_events":"https://pith.science/api/pith-number/5XUDCAXNBVKXJ646NS2LDIKYYH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH/action/storage_attestation","attest_author":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH/action/author_attestation","sign_citation":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH/action/citation_signature","submit_replication":"https://pith.science/pith/5XUDCAXNBVKXJ646NS2LDIKYYH/action/replication_record"}},"created_at":"2026-07-05T11:15:07.217257+00:00","updated_at":"2026-07-05T11:15:07.217257+00:00"}