{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:BWNBNRZQ7H5ZLIV7QRQJEXYQLB","short_pith_number":"pith:BWNBNRZQ","canonical_record":{"source":{"id":"1412.2458","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-12-08T05:59:21Z","cross_cats_sorted":[],"title_canon_sha256":"6ea02584bbd42b310d41c0062acd151d81c6ef762f11dff6a5638c6ab716d68f","abstract_canon_sha256":"eb14c699e5d57439f0260af7a0fbe8cae288895c3b51379fd40ebb59a6f3cd33"},"schema_version":"1.0"},"canonical_sha256":"0d9a16c730f9fb95a2bf8460925f1058788b1ca774df51d6999b8da0ae4da795","source":{"kind":"arxiv","id":"1412.2458","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.2458","created_at":"2026-05-18T02:31:57Z"},{"alias_kind":"arxiv_version","alias_value":"1412.2458v1","created_at":"2026-05-18T02:31:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.2458","created_at":"2026-05-18T02:31:57Z"},{"alias_kind":"pith_short_12","alias_value":"BWNBNRZQ7H5Z","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"BWNBNRZQ7H5ZLIV7","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"BWNBNRZQ","created_at":"2026-05-18T12:28:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:BWNBNRZQ7H5ZLIV7QRQJEXYQLB","target":"record","payload":{"canonical_record":{"source":{"id":"1412.2458","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-12-08T05:59:21Z","cross_cats_sorted":[],"title_canon_sha256":"6ea02584bbd42b310d41c0062acd151d81c6ef762f11dff6a5638c6ab716d68f","abstract_canon_sha256":"eb14c699e5d57439f0260af7a0fbe8cae288895c3b51379fd40ebb59a6f3cd33"},"schema_version":"1.0"},"canonical_sha256":"0d9a16c730f9fb95a2bf8460925f1058788b1ca774df51d6999b8da0ae4da795","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:31:57.923097Z","signature_b64":"GotNL0+PjbLhXULtm7Cmo69eW89PXVaNZEpK+idTtJK3Bq242pSOdirSPFxjV0wpgL3DAj8coU02xWrGosgCBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0d9a16c730f9fb95a2bf8460925f1058788b1ca774df51d6999b8da0ae4da795","last_reissued_at":"2026-05-18T02:31:57.922393Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:31:57.922393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.2458","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:31:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1AcDJe70phf4j+L2gaOkDPaQKiqIVn++VjddBpNXuptGQZznGrOcXkr/3B9J1I2wQughwslpthj5IiC4D0k+DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T19:04:01.614238Z"},"content_sha256":"3fcabbf1bc96ba561e0f1fe919d85a931f643453146d775863882aa6d18b159b","schema_version":"1.0","event_id":"sha256:3fcabbf1bc96ba561e0f1fe919d85a931f643453146d775863882aa6d18b159b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:BWNBNRZQ7H5ZLIV7QRQJEXYQLB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Systems, Views and Models of UML","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Rumpe, Franz Huber, Radu Grosu, Ruth Breu, Wolfgang Schwerin","submitted_at":"2014-12-08T05:59:21Z","abstract_excerpt":"In this paper we show by using the example of UML, how a software engineering method can benefit from an integrative mathematical foundation. The mathematical foundation is given by a mathematical system model. This model provides the basis both for integrating the various description techniques of UML and for implementing methodical support. After describing the basic concepts of the system model, we give a short overview of the UML description techniques. Then we show how they fit into the system model framework and sketch an approach to structure the UML development process such that it pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.2458","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:31:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9wElFOTrTpcJJdlMlpn7VrlFrkqojF+kMyR89XM0NEyX+/KP7qxSpC316nIoBnOw9/qbQCQ4uaPcq9DNU3u5BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T19:04:01.615566Z"},"content_sha256":"ce514e0f72daebac8c207fb47b4f668d4c669e7c5924d40d20e9f44da32357dc","schema_version":"1.0","event_id":"sha256:ce514e0f72daebac8c207fb47b4f668d4c669e7c5924d40d20e9f44da32357dc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BWNBNRZQ7H5ZLIV7QRQJEXYQLB/bundle.json","state_url":"https://pith.science/pith/BWNBNRZQ7H5ZLIV7QRQJEXYQLB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BWNBNRZQ7H5ZLIV7QRQJEXYQLB/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-08T19:04:01Z","links":{"resolver":"https://pith.science/pith/BWNBNRZQ7H5ZLIV7QRQJEXYQLB","bundle":"https://pith.science/pith/BWNBNRZQ7H5ZLIV7QRQJEXYQLB/bundle.json","state":"https://pith.science/pith/BWNBNRZQ7H5ZLIV7QRQJEXYQLB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BWNBNRZQ7H5ZLIV7QRQJEXYQLB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:BWNBNRZQ7H5ZLIV7QRQJEXYQLB","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":"eb14c699e5d57439f0260af7a0fbe8cae288895c3b51379fd40ebb59a6f3cd33","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-12-08T05:59:21Z","title_canon_sha256":"6ea02584bbd42b310d41c0062acd151d81c6ef762f11dff6a5638c6ab716d68f"},"schema_version":"1.0","source":{"id":"1412.2458","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.2458","created_at":"2026-05-18T02:31:57Z"},{"alias_kind":"arxiv_version","alias_value":"1412.2458v1","created_at":"2026-05-18T02:31:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.2458","created_at":"2026-05-18T02:31:57Z"},{"alias_kind":"pith_short_12","alias_value":"BWNBNRZQ7H5Z","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"BWNBNRZQ7H5ZLIV7","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"BWNBNRZQ","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:ce514e0f72daebac8c207fb47b4f668d4c669e7c5924d40d20e9f44da32357dc","target":"graph","created_at":"2026-05-18T02:31:57Z","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 paper we show by using the example of UML, how a software engineering method can benefit from an integrative mathematical foundation. The mathematical foundation is given by a mathematical system model. This model provides the basis both for integrating the various description techniques of UML and for implementing methodical support. After describing the basic concepts of the system model, we give a short overview of the UML description techniques. Then we show how they fit into the system model framework and sketch an approach to structure the UML development process such that it pro","authors_text":"Bernhard Rumpe, Franz Huber, Radu Grosu, Ruth Breu, Wolfgang Schwerin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-12-08T05:59:21Z","title":"Systems, Views and Models of UML"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.2458","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:3fcabbf1bc96ba561e0f1fe919d85a931f643453146d775863882aa6d18b159b","target":"record","created_at":"2026-05-18T02:31:57Z","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":"eb14c699e5d57439f0260af7a0fbe8cae288895c3b51379fd40ebb59a6f3cd33","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-12-08T05:59:21Z","title_canon_sha256":"6ea02584bbd42b310d41c0062acd151d81c6ef762f11dff6a5638c6ab716d68f"},"schema_version":"1.0","source":{"id":"1412.2458","kind":"arxiv","version":1}},"canonical_sha256":"0d9a16c730f9fb95a2bf8460925f1058788b1ca774df51d6999b8da0ae4da795","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0d9a16c730f9fb95a2bf8460925f1058788b1ca774df51d6999b8da0ae4da795","first_computed_at":"2026-05-18T02:31:57.922393Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:31:57.922393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GotNL0+PjbLhXULtm7Cmo69eW89PXVaNZEpK+idTtJK3Bq242pSOdirSPFxjV0wpgL3DAj8coU02xWrGosgCBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:31:57.923097Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.2458","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3fcabbf1bc96ba561e0f1fe919d85a931f643453146d775863882aa6d18b159b","sha256:ce514e0f72daebac8c207fb47b4f668d4c669e7c5924d40d20e9f44da32357dc"],"state_sha256":"dbe5d24ae58403d7ca34619bb549ddf6949fe8eb799a4381dcf50a06ea54d0f5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2d6DoMCdyZshR8u9B8R5dsbOcZ+s0ts5lw/T5QwhrZ7viNVTnoNgJgslLxtbYvJVk7UFNyCDn41DSLCgWuLsAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T19:04:01.619376Z","bundle_sha256":"8b9acb296a3092452ab2a7141c351708323200383cecbade452d71cebda8cc3f"}}