{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:XU636EDDJBX3EOA6AUGT7QZ3M6","short_pith_number":"pith:XU636EDD","canonical_record":{"source":{"id":"1301.0044","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-01-01T01:54:57Z","cross_cats_sorted":["cs.LO","cs.MS"],"title_canon_sha256":"ab21d1011c6a8c3cfc568e2d44e6b4884d2cb07caaaaed1de4f1021cacbe2938","abstract_canon_sha256":"7890faa453697dfe83981d6af1f22e09d6a9af80e2ff57233364340f47d4bab3"},"schema_version":"1.0"},"canonical_sha256":"bd3dbf1063486fb2381e050d3fc33b67b77be4e2d20567f213f4115daa6a624f","source":{"kind":"arxiv","id":"1301.0044","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.0044","created_at":"2026-05-18T03:37:28Z"},{"alias_kind":"arxiv_version","alias_value":"1301.0044v1","created_at":"2026-05-18T03:37:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.0044","created_at":"2026-05-18T03:37:28Z"},{"alias_kind":"pith_short_12","alias_value":"XU636EDDJBX3","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XU636EDDJBX3EOA6","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XU636EDD","created_at":"2026-05-18T12:28:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:XU636EDDJBX3EOA6AUGT7QZ3M6","target":"record","payload":{"canonical_record":{"source":{"id":"1301.0044","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-01-01T01:54:57Z","cross_cats_sorted":["cs.LO","cs.MS"],"title_canon_sha256":"ab21d1011c6a8c3cfc568e2d44e6b4884d2cb07caaaaed1de4f1021cacbe2938","abstract_canon_sha256":"7890faa453697dfe83981d6af1f22e09d6a9af80e2ff57233364340f47d4bab3"},"schema_version":"1.0"},"canonical_sha256":"bd3dbf1063486fb2381e050d3fc33b67b77be4e2d20567f213f4115daa6a624f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:37:28.435614Z","signature_b64":"J7TjUTKtV5Q54mJDNnlJ4vI+qmxBbKGgYZTty0Kogvj1UeMmQdhZ1i0auUXxOXueh5AxPU1F3FutkcPIs2piCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bd3dbf1063486fb2381e050d3fc33b67b77be4e2d20567f213f4115daa6a624f","last_reissued_at":"2026-05-18T03:37:28.434746Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:37:28.434746Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1301.0044","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:37:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+FHmMbJ4KKTj9+9NLZPXRbcjZPTYhdV3nUCnDxbCgAZTd0tKWKJDWaXAdu6rWsAuSTemEbmq8lloRat4J0KlCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T00:38:21.917813Z"},"content_sha256":"0f691f69457de55ff4aea17bf85373d4900facbda2477bd628e1e7e41c31259c","schema_version":"1.0","event_id":"sha256:0f691f69457de55ff4aea17bf85373d4900facbda2477bd628e1e7e41c31259c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:XU636EDDJBX3EOA6AUGT7QZ3M6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Model-Driven Engineering: Generating Data and Behavioural Components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.MS"],"primary_cat":"cs.SE","authors_text":"Chen-Wei Wang (McMaster Centre for Software Certification, Jim Davies (Department of Computer Science, McMaster University), University of Oxford)","submitted_at":"2013-01-01T01:54:57Z","abstract_excerpt":"Model-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality.  By targeting a specific class of system, it is possible to automate aspects of the development process, using model transformations and code generators that encode domain knowledge and implementation strategies.  Using this approach, questions of correctness for a complex, software system may be answered through analysis of abstract models of lower complexity, under the assumption that the transformations and generators employed are themselves correct. This paper sho"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.0044","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:37:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o1IlrFqluqD8Nz3VXRSNgwIbJ8PCEWtD1AVOrRp+dm7Hma9/VyuTkvUlmQNjOGWpuXES/8IoXry/NhbDFIplCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T00:38:21.918165Z"},"content_sha256":"94666c258f1be14498dcfc7c8ea5f8e5e19338068dd6d384b467d8b0cab675f5","schema_version":"1.0","event_id":"sha256:94666c258f1be14498dcfc7c8ea5f8e5e19338068dd6d384b467d8b0cab675f5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XU636EDDJBX3EOA6AUGT7QZ3M6/bundle.json","state_url":"https://pith.science/pith/XU636EDDJBX3EOA6AUGT7QZ3M6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XU636EDDJBX3EOA6AUGT7QZ3M6/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-20T00:38:21Z","links":{"resolver":"https://pith.science/pith/XU636EDDJBX3EOA6AUGT7QZ3M6","bundle":"https://pith.science/pith/XU636EDDJBX3EOA6AUGT7QZ3M6/bundle.json","state":"https://pith.science/pith/XU636EDDJBX3EOA6AUGT7QZ3M6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XU636EDDJBX3EOA6AUGT7QZ3M6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:XU636EDDJBX3EOA6AUGT7QZ3M6","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":"7890faa453697dfe83981d6af1f22e09d6a9af80e2ff57233364340f47d4bab3","cross_cats_sorted":["cs.LO","cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-01-01T01:54:57Z","title_canon_sha256":"ab21d1011c6a8c3cfc568e2d44e6b4884d2cb07caaaaed1de4f1021cacbe2938"},"schema_version":"1.0","source":{"id":"1301.0044","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.0044","created_at":"2026-05-18T03:37:28Z"},{"alias_kind":"arxiv_version","alias_value":"1301.0044v1","created_at":"2026-05-18T03:37:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.0044","created_at":"2026-05-18T03:37:28Z"},{"alias_kind":"pith_short_12","alias_value":"XU636EDDJBX3","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"XU636EDDJBX3EOA6","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"XU636EDD","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:94666c258f1be14498dcfc7c8ea5f8e5e19338068dd6d384b467d8b0cab675f5","target":"graph","created_at":"2026-05-18T03:37:28Z","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":"Model-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality.  By targeting a specific class of system, it is possible to automate aspects of the development process, using model transformations and code generators that encode domain knowledge and implementation strategies.  Using this approach, questions of correctness for a complex, software system may be answered through analysis of abstract models of lower complexity, under the assumption that the transformations and generators employed are themselves correct. This paper sho","authors_text":"Chen-Wei Wang (McMaster Centre for Software Certification, Jim Davies (Department of Computer Science, McMaster University), University of Oxford)","cross_cats":["cs.LO","cs.MS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-01-01T01:54:57Z","title":"Formal Model-Driven Engineering: Generating Data and Behavioural Components"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.0044","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:0f691f69457de55ff4aea17bf85373d4900facbda2477bd628e1e7e41c31259c","target":"record","created_at":"2026-05-18T03:37:28Z","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":"7890faa453697dfe83981d6af1f22e09d6a9af80e2ff57233364340f47d4bab3","cross_cats_sorted":["cs.LO","cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-01-01T01:54:57Z","title_canon_sha256":"ab21d1011c6a8c3cfc568e2d44e6b4884d2cb07caaaaed1de4f1021cacbe2938"},"schema_version":"1.0","source":{"id":"1301.0044","kind":"arxiv","version":1}},"canonical_sha256":"bd3dbf1063486fb2381e050d3fc33b67b77be4e2d20567f213f4115daa6a624f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bd3dbf1063486fb2381e050d3fc33b67b77be4e2d20567f213f4115daa6a624f","first_computed_at":"2026-05-18T03:37:28.434746Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:37:28.434746Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J7TjUTKtV5Q54mJDNnlJ4vI+qmxBbKGgYZTty0Kogvj1UeMmQdhZ1i0auUXxOXueh5AxPU1F3FutkcPIs2piCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:37:28.435614Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.0044","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0f691f69457de55ff4aea17bf85373d4900facbda2477bd628e1e7e41c31259c","sha256:94666c258f1be14498dcfc7c8ea5f8e5e19338068dd6d384b467d8b0cab675f5"],"state_sha256":"de16bfe136bfc63834db80ca0b4cd070663d219e0ef1d7e33e8b062a4a30f29d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dUoygamFgjfH6XSxZS0N9n/aKkOuFq2Gz7WEH1KSWx1vtC7YRiniZChlg0qrJWkrgZbXQqvMORGyelZntSRqCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T00:38:21.920104Z","bundle_sha256":"74fd28a6c813ffe67e0128a208d0e3608219010519a806ba177aa2b5a5b875b0"}}