{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:S5RYT4PRXDAV4SNFHSPKGYHJM6","short_pith_number":"pith:S5RYT4PR","canonical_record":{"source":{"id":"1409.6613","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:09:09Z","cross_cats_sorted":[],"title_canon_sha256":"c4dff722e5d7048a95856b6a89ecd9e3a0894cd4c1e00fc6aa53b10f0ee59e6f","abstract_canon_sha256":"2972ebab1d112652139f6ea84aeb98a831f2ab55e884e5cdd94d797789f3bb12"},"schema_version":"1.0"},"canonical_sha256":"976389f1f1b8c15e49a53c9ea360e967a6d1def4f3b82eeaeff4f61f8adf6e21","source":{"kind":"arxiv","id":"1409.6613","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6613","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6613v1","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6613","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"pith_short_12","alias_value":"S5RYT4PRXDAV","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"S5RYT4PRXDAV4SNF","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"S5RYT4PR","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:S5RYT4PRXDAV4SNFHSPKGYHJM6","target":"record","payload":{"canonical_record":{"source":{"id":"1409.6613","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:09:09Z","cross_cats_sorted":[],"title_canon_sha256":"c4dff722e5d7048a95856b6a89ecd9e3a0894cd4c1e00fc6aa53b10f0ee59e6f","abstract_canon_sha256":"2972ebab1d112652139f6ea84aeb98a831f2ab55e884e5cdd94d797789f3bb12"},"schema_version":"1.0"},"canonical_sha256":"976389f1f1b8c15e49a53c9ea360e967a6d1def4f3b82eeaeff4f61f8adf6e21","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:42:06.710401Z","signature_b64":"zf0IYs9l0Mk7ERRJ1hINHdpBDJX1Z8l3z7lGlVyi4N9zgI1dg+i0JuYObrZ/T+MhxidSxdIqlmhL59MLUHbdAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"976389f1f1b8c15e49a53c9ea360e967a6d1def4f3b82eeaeff4f61f8adf6e21","last_reissued_at":"2026-05-18T02:42:06.709968Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:42:06.709968Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.6613","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":"2jqK2C6AoX49bptEUqN/7HrSEmeigRRph16JwfiB1YSKF0Ha4J1e3WAPnm0OxjSMrkNf6y8UImJ59GxY4aShDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T17:47:20.142137Z"},"content_sha256":"6e9eb71e4e9b2fe7b6a6928fa407285045b32f7741edcd621f06f9e3a0bb80cc","schema_version":"1.0","event_id":"sha256:6e9eb71e4e9b2fe7b6a6928fa407285045b32f7741edcd621f06f9e3a0bb80cc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:S5RYT4PRXDAV4SNFHSPKGYHJM6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards a System Model for UML. The Structural Data Model","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Rumpe, Manfred Broy, Maria Victoria Cengarle","submitted_at":"2014-09-22T17:09:09Z","abstract_excerpt":"In this document we introduce a system model as the basis for a semantic model for UML 2.0. The system model is supposed to form the core and foundation of the UML semantics definition. For that purpose the basic system is targeted towards UML. This document is structured as follows: In the rest of Section 1 we will discuss the general approach and highlight the main decisions. This section is important to understand the rest of this document. Section 2 contains the actual definition of the structural part of the system model. It is built in layers as described in Section 1. For brevity of the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6613","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":"RMqjADJErJA2b8W8wTyxIZQy08skQPJ2xGj3TrH33gXcaG43hHDNZNZsv0XDoS57Qy9s139HfFh59SjN/bckAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T17:47:20.142795Z"},"content_sha256":"fad375ae386c29ad0def935d1b665cdb1dd314950a8bd3ef5f69dd325ec8ea11","schema_version":"1.0","event_id":"sha256:fad375ae386c29ad0def935d1b665cdb1dd314950a8bd3ef5f69dd325ec8ea11"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S5RYT4PRXDAV4SNFHSPKGYHJM6/bundle.json","state_url":"https://pith.science/pith/S5RYT4PRXDAV4SNFHSPKGYHJM6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S5RYT4PRXDAV4SNFHSPKGYHJM6/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-03T17:47:20Z","links":{"resolver":"https://pith.science/pith/S5RYT4PRXDAV4SNFHSPKGYHJM6","bundle":"https://pith.science/pith/S5RYT4PRXDAV4SNFHSPKGYHJM6/bundle.json","state":"https://pith.science/pith/S5RYT4PRXDAV4SNFHSPKGYHJM6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S5RYT4PRXDAV4SNFHSPKGYHJM6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:S5RYT4PRXDAV4SNFHSPKGYHJM6","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":"2972ebab1d112652139f6ea84aeb98a831f2ab55e884e5cdd94d797789f3bb12","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:09:09Z","title_canon_sha256":"c4dff722e5d7048a95856b6a89ecd9e3a0894cd4c1e00fc6aa53b10f0ee59e6f"},"schema_version":"1.0","source":{"id":"1409.6613","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6613","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6613v1","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6613","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"pith_short_12","alias_value":"S5RYT4PRXDAV","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"S5RYT4PRXDAV4SNF","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"S5RYT4PR","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:fad375ae386c29ad0def935d1b665cdb1dd314950a8bd3ef5f69dd325ec8ea11","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 the basis for a semantic model for UML 2.0. The system model is supposed to form the core and foundation of the UML semantics definition. For that purpose the basic system is targeted towards UML. This document is structured as follows: In the rest of Section 1 we will discuss the general approach and highlight the main decisions. This section is important to understand the rest of this document. Section 2 contains the actual definition of the structural part of the system model. It is built in layers as described in Section 1. For brevity of the","authors_text":"Bernhard Rumpe, 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-22T17:09:09Z","title":"Towards a System Model for UML. The Structural Data Model"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6613","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:6e9eb71e4e9b2fe7b6a6928fa407285045b32f7741edcd621f06f9e3a0bb80cc","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":"2972ebab1d112652139f6ea84aeb98a831f2ab55e884e5cdd94d797789f3bb12","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:09:09Z","title_canon_sha256":"c4dff722e5d7048a95856b6a89ecd9e3a0894cd4c1e00fc6aa53b10f0ee59e6f"},"schema_version":"1.0","source":{"id":"1409.6613","kind":"arxiv","version":1}},"canonical_sha256":"976389f1f1b8c15e49a53c9ea360e967a6d1def4f3b82eeaeff4f61f8adf6e21","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"976389f1f1b8c15e49a53c9ea360e967a6d1def4f3b82eeaeff4f61f8adf6e21","first_computed_at":"2026-05-18T02:42:06.709968Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:42:06.709968Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zf0IYs9l0Mk7ERRJ1hINHdpBDJX1Z8l3z7lGlVyi4N9zgI1dg+i0JuYObrZ/T+MhxidSxdIqlmhL59MLUHbdAw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:42:06.710401Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.6613","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e9eb71e4e9b2fe7b6a6928fa407285045b32f7741edcd621f06f9e3a0bb80cc","sha256:fad375ae386c29ad0def935d1b665cdb1dd314950a8bd3ef5f69dd325ec8ea11"],"state_sha256":"cb5ffcb661ace135824a8510a4b5e5630664433854ea0e18c6dd463d5e36f01b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sxDwBNCxCRAb6+OQgWOcbbsI/6DVBpyqIuy/o0CcMt46OlMEtpGTPnBNyUSjNcqwz2iPd1tzmZM1oMhDypTECg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T17:47:20.145721Z","bundle_sha256":"14cabe096dd6570f2a39863858bceedd263d99aeb0346120d48cb476935c4523"}}