{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:4WKTLT4WPBRXGXDQ3QPRMSQL4Y","short_pith_number":"pith:4WKTLT4W","canonical_record":{"source":{"id":"1409.6637","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:25:38Z","cross_cats_sorted":[],"title_canon_sha256":"39a3f93e3bcd8107720d224d7d1eb890f3ef349eb785d8880ccd532b7f55933a","abstract_canon_sha256":"4274b2d098a18c59364aa85989dd2f6cff8e3edbd142893ac63463c9913959dc"},"schema_version":"1.0"},"canonical_sha256":"e59535cf967863735c70dc1f164a0be62059b1647ebc30e9d655aea020e51f16","source":{"kind":"arxiv","id":"1409.6637","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6637","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6637v1","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6637","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"pith_short_12","alias_value":"4WKTLT4WPBRX","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4WKTLT4WPBRXGXDQ","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4WKTLT4W","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:4WKTLT4WPBRXGXDQ3QPRMSQL4Y","target":"record","payload":{"canonical_record":{"source":{"id":"1409.6637","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:25:38Z","cross_cats_sorted":[],"title_canon_sha256":"39a3f93e3bcd8107720d224d7d1eb890f3ef349eb785d8880ccd532b7f55933a","abstract_canon_sha256":"4274b2d098a18c59364aa85989dd2f6cff8e3edbd142893ac63463c9913959dc"},"schema_version":"1.0"},"canonical_sha256":"e59535cf967863735c70dc1f164a0be62059b1647ebc30e9d655aea020e51f16","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:42:06.595533Z","signature_b64":"0RAViV+QsyrsIAIHZ/MOgm8G+xHnu2VxxrP39Hxs7PgiH2N+jw1SpnYqZXSbcHbNbou1TcB79P4Qnqg1bFheAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e59535cf967863735c70dc1f164a0be62059b1647ebc30e9d655aea020e51f16","last_reissued_at":"2026-05-18T02:42:06.595125Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:42:06.595125Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.6637","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-18T02:42:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZPmerxbeIQuyl8NmXUloE1NXVUX5DJFaLa3CUO6bSmhSF0A2A4NUSNblwd3fonkNdthsF/lgtWcwx8MEd3JBDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:47:02.181451Z"},"content_sha256":"c57d8f166cc65a8a83466b2f9b8fcf625944fa28c5ee0b6227c195a5ef708fc8","schema_version":"1.0","event_id":"sha256:c57d8f166cc65a8a83466b2f9b8fcf625944fa28c5ee0b6227c195a5ef708fc8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:4WKTLT4WPBRXGXDQ3QPRMSQL4Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Rumpe, Hans Gr\\\"onninger, Manfred Broy, Maria Victoria Cengarle","submitted_at":"2014-09-22T12:25:38Z","abstract_excerpt":"In this document, we introduce a system model as a semantic domain for the Unified Modeling Language (UML) [OMG07a, OMG07b]. The system model is supposed to form a possible core and foundation of the UML semantics definition. For that purpose, the definitions in this document are targeted towards UML which means that central concepts of UML have been formalized as theories of the system model. This document is structured as follows: In the rest of Chapter 1, we discuss the general approach and highlight the main decisions. This chapter is important to understand the rest of this document. Chap"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6637","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-18T02:42:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mn4uu0cpMDxvJGRYAacHbKpQEeFjwPZ07GP5mqnagsvwbKZg9qRfBJVSysM40VCRihWJXpof4uy6oc1gMCk3Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:47:02.181799Z"},"content_sha256":"b576e5ebc1ff4f3119ce3d91be964766e9bdef9e9b6fade3f2125dfa914126c8","schema_version":"1.0","event_id":"sha256:b576e5ebc1ff4f3119ce3d91be964766e9bdef9e9b6fade3f2125dfa914126c8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4WKTLT4WPBRXGXDQ3QPRMSQL4Y/bundle.json","state_url":"https://pith.science/pith/4WKTLT4WPBRXGXDQ3QPRMSQL4Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4WKTLT4WPBRXGXDQ3QPRMSQL4Y/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-03T06:47:02Z","links":{"resolver":"https://pith.science/pith/4WKTLT4WPBRXGXDQ3QPRMSQL4Y","bundle":"https://pith.science/pith/4WKTLT4WPBRXGXDQ3QPRMSQL4Y/bundle.json","state":"https://pith.science/pith/4WKTLT4WPBRXGXDQ3QPRMSQL4Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4WKTLT4WPBRXGXDQ3QPRMSQL4Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:4WKTLT4WPBRXGXDQ3QPRMSQL4Y","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":"4274b2d098a18c59364aa85989dd2f6cff8e3edbd142893ac63463c9913959dc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:25:38Z","title_canon_sha256":"39a3f93e3bcd8107720d224d7d1eb890f3ef349eb785d8880ccd532b7f55933a"},"schema_version":"1.0","source":{"id":"1409.6637","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6637","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6637v1","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6637","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"pith_short_12","alias_value":"4WKTLT4WPBRX","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4WKTLT4WPBRXGXDQ","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4WKTLT4W","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:b576e5ebc1ff4f3119ce3d91be964766e9bdef9e9b6fade3f2125dfa914126c8","target":"graph","created_at":"2026-05-18T02:42:06Z","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":"In this document, we introduce a system model as a semantic domain for the Unified Modeling Language (UML) [OMG07a, OMG07b]. The system model is supposed to form a possible core and foundation of the UML semantics definition. For that purpose, the definitions in this document are targeted towards UML which means that central concepts of UML have been formalized as theories of the system model. This document is structured as follows: In the rest of Chapter 1, we discuss the general approach and highlight the main decisions. This chapter is important to understand the rest of this document. Chap","authors_text":"Bernhard Rumpe, Hans Gr\\\"onninger, Manfred Broy, Maria Victoria Cengarle","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:25:38Z","title":"Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6637","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:c57d8f166cc65a8a83466b2f9b8fcf625944fa28c5ee0b6227c195a5ef708fc8","target":"record","created_at":"2026-05-18T02:42:06Z","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":"4274b2d098a18c59364aa85989dd2f6cff8e3edbd142893ac63463c9913959dc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:25:38Z","title_canon_sha256":"39a3f93e3bcd8107720d224d7d1eb890f3ef349eb785d8880ccd532b7f55933a"},"schema_version":"1.0","source":{"id":"1409.6637","kind":"arxiv","version":1}},"canonical_sha256":"e59535cf967863735c70dc1f164a0be62059b1647ebc30e9d655aea020e51f16","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e59535cf967863735c70dc1f164a0be62059b1647ebc30e9d655aea020e51f16","first_computed_at":"2026-05-18T02:42:06.595125Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:42:06.595125Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0RAViV+QsyrsIAIHZ/MOgm8G+xHnu2VxxrP39Hxs7PgiH2N+jw1SpnYqZXSbcHbNbou1TcB79P4Qnqg1bFheAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:42:06.595533Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.6637","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c57d8f166cc65a8a83466b2f9b8fcf625944fa28c5ee0b6227c195a5ef708fc8","sha256:b576e5ebc1ff4f3119ce3d91be964766e9bdef9e9b6fade3f2125dfa914126c8"],"state_sha256":"6eb6027fceb07d45a597ed9d7e5e548e69b8c0fb58aba933f99b1f16a71ad148"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"++pM0y5u+8tcVUQt8dmyKAtsOgOz7svSVW9NnZshyXm9/lxkxFR/sOkGACoZ+HBzFXK1DrflLs/IiAMPoaQqAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T06:47:02.183742Z","bundle_sha256":"ac6cfd6082be05d46fcbbfe15386200a4726ae7d450733b79a53733d759f8261"}}