{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:SKRWEQAIWVAMBNHQZYRI233WWA","short_pith_number":"pith:SKRWEQAI","canonical_record":{"source":{"id":"1210.7034","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-10-26T01:11:39Z","cross_cats_sorted":[],"title_canon_sha256":"b89b8938e6c9902d93e7b5cc33b98b1e9eac723e3bb6f0e5f126cce8bb8d1f27","abstract_canon_sha256":"3be1553082413eb226418929d9d007e0c7f3629ce06a49ebafc5ae6c36396f41"},"schema_version":"1.0"},"canonical_sha256":"92a3624008b540c0b4f0ce228d6f76b009778568091cca6cd462901cfa21943f","source":{"kind":"arxiv","id":"1210.7034","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.7034","created_at":"2026-05-18T03:42:21Z"},{"alias_kind":"arxiv_version","alias_value":"1210.7034v1","created_at":"2026-05-18T03:42:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.7034","created_at":"2026-05-18T03:42:21Z"},{"alias_kind":"pith_short_12","alias_value":"SKRWEQAIWVAM","created_at":"2026-05-18T12:27:20Z"},{"alias_kind":"pith_short_16","alias_value":"SKRWEQAIWVAMBNHQ","created_at":"2026-05-18T12:27:20Z"},{"alias_kind":"pith_short_8","alias_value":"SKRWEQAI","created_at":"2026-05-18T12:27:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:SKRWEQAIWVAMBNHQZYRI233WWA","target":"record","payload":{"canonical_record":{"source":{"id":"1210.7034","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-10-26T01:11:39Z","cross_cats_sorted":[],"title_canon_sha256":"b89b8938e6c9902d93e7b5cc33b98b1e9eac723e3bb6f0e5f126cce8bb8d1f27","abstract_canon_sha256":"3be1553082413eb226418929d9d007e0c7f3629ce06a49ebafc5ae6c36396f41"},"schema_version":"1.0"},"canonical_sha256":"92a3624008b540c0b4f0ce228d6f76b009778568091cca6cd462901cfa21943f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:42:21.950783Z","signature_b64":"yw3gK11Z/P6DLqKf9wRdIgIu2YpAQSmQp9GE1yaD59rXSkRNo4dn8Ys9R+3mpRFcfIaa86PJ2L69uUfUjjCMDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"92a3624008b540c0b4f0ce228d6f76b009778568091cca6cd462901cfa21943f","last_reissued_at":"2026-05-18T03:42:21.950264Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:42:21.950264Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.7034","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-05-18T03:42:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u0GAIRqUxiSKE1UFjs31UuzgGMsWsxcv810WtXtuiBWf3Z46F7mCYStWapjBe26SguKtpiZlPKfd4BxouAAxBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T09:21:35.368858Z"},"content_sha256":"5fbbd8b352d4e09014b9f6a4dfb9f76e0eccdc108914c977875801b6328cb92b","schema_version":"1.0","event_id":"sha256:5fbbd8b352d4e09014b9f6a4dfb9f76e0eccdc108914c977875801b6328cb92b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:SKRWEQAIWVAMBNHQZYRI233WWA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Building on the DEPLOY Legacy: Code Generation and Simulation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andrew Edmunds, John Colley, Michael Butler","submitted_at":"2012-10-26T01:11:39Z","abstract_excerpt":"The RODIN, and DEPLOY projects laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B. Our current interest is the co-simulation of cyber-physical systems using Event-B. Using this approach we aim to simulate various features of the environment separately, in order to exercise deployable code. This paper has two contributions, the first is the extension of the code generation work of DEPLOY, where we add the ability to generate code from Event-B state-machine diagrams. The second describes how we may use code, generated from state-machi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.7034","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":""},"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-05-18T03:42:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XX/ZEe1UsSv/IGtnUOF4ARNRLT8S6/0YUGX6adVqC2Twu6fR381tKmRxZ9BPADXwQUoxCwGmwjbNc9xAM8EMDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T09:21:35.369188Z"},"content_sha256":"a4881e24faf621060fee7e36ecd22efcb57d9612ee418b2613353878dde40191","schema_version":"1.0","event_id":"sha256:a4881e24faf621060fee7e36ecd22efcb57d9612ee418b2613353878dde40191"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SKRWEQAIWVAMBNHQZYRI233WWA/bundle.json","state_url":"https://pith.science/pith/SKRWEQAIWVAMBNHQZYRI233WWA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SKRWEQAIWVAMBNHQZYRI233WWA/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-06-27T09:21:35Z","links":{"resolver":"https://pith.science/pith/SKRWEQAIWVAMBNHQZYRI233WWA","bundle":"https://pith.science/pith/SKRWEQAIWVAMBNHQZYRI233WWA/bundle.json","state":"https://pith.science/pith/SKRWEQAIWVAMBNHQZYRI233WWA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SKRWEQAIWVAMBNHQZYRI233WWA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:SKRWEQAIWVAMBNHQZYRI233WWA","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":"3be1553082413eb226418929d9d007e0c7f3629ce06a49ebafc5ae6c36396f41","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-10-26T01:11:39Z","title_canon_sha256":"b89b8938e6c9902d93e7b5cc33b98b1e9eac723e3bb6f0e5f126cce8bb8d1f27"},"schema_version":"1.0","source":{"id":"1210.7034","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.7034","created_at":"2026-05-18T03:42:21Z"},{"alias_kind":"arxiv_version","alias_value":"1210.7034v1","created_at":"2026-05-18T03:42:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.7034","created_at":"2026-05-18T03:42:21Z"},{"alias_kind":"pith_short_12","alias_value":"SKRWEQAIWVAM","created_at":"2026-05-18T12:27:20Z"},{"alias_kind":"pith_short_16","alias_value":"SKRWEQAIWVAMBNHQ","created_at":"2026-05-18T12:27:20Z"},{"alias_kind":"pith_short_8","alias_value":"SKRWEQAI","created_at":"2026-05-18T12:27:20Z"}],"graph_snapshots":[{"event_id":"sha256:a4881e24faf621060fee7e36ecd22efcb57d9612ee418b2613353878dde40191","target":"graph","created_at":"2026-05-18T03:42:21Z","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"},"paper":{"abstract_excerpt":"The RODIN, and DEPLOY projects laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B. Our current interest is the co-simulation of cyber-physical systems using Event-B. Using this approach we aim to simulate various features of the environment separately, in order to exercise deployable code. This paper has two contributions, the first is the extension of the code generation work of DEPLOY, where we add the ability to generate code from Event-B state-machine diagrams. The second describes how we may use code, generated from state-machi","authors_text":"Andrew Edmunds, John Colley, Michael Butler","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-10-26T01:11:39Z","title":"Building on the DEPLOY Legacy: Code Generation and Simulation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.7034","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:5fbbd8b352d4e09014b9f6a4dfb9f76e0eccdc108914c977875801b6328cb92b","target":"record","created_at":"2026-05-18T03:42:21Z","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":"3be1553082413eb226418929d9d007e0c7f3629ce06a49ebafc5ae6c36396f41","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-10-26T01:11:39Z","title_canon_sha256":"b89b8938e6c9902d93e7b5cc33b98b1e9eac723e3bb6f0e5f126cce8bb8d1f27"},"schema_version":"1.0","source":{"id":"1210.7034","kind":"arxiv","version":1}},"canonical_sha256":"92a3624008b540c0b4f0ce228d6f76b009778568091cca6cd462901cfa21943f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"92a3624008b540c0b4f0ce228d6f76b009778568091cca6cd462901cfa21943f","first_computed_at":"2026-05-18T03:42:21.950264Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:42:21.950264Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yw3gK11Z/P6DLqKf9wRdIgIu2YpAQSmQp9GE1yaD59rXSkRNo4dn8Ys9R+3mpRFcfIaa86PJ2L69uUfUjjCMDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:42:21.950783Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.7034","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5fbbd8b352d4e09014b9f6a4dfb9f76e0eccdc108914c977875801b6328cb92b","sha256:a4881e24faf621060fee7e36ecd22efcb57d9612ee418b2613353878dde40191"],"state_sha256":"0f41febcccc7d3743f146c9f8e07536b955d6b8a659c08cc0719c43eaa107652"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B+0MYXWZhPtkl+/gIcnD/AHl9RSJwTAQ3nm1tdSzwtoQ2CdRu8w2+Jw2apDmuebvrrQfrt5X5FOFr7wnKPaaDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T09:21:35.371014Z","bundle_sha256":"18ed2077b1a3d6bfa32d6302b72f5bd9833d3525af67ddd765ae7d90624bc9c4"}}