{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:FP4XQ4RJAMA5TLXP4RFHBY2JQK","short_pith_number":"pith:FP4XQ4RJ","canonical_record":{"source":{"id":"1409.0400","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-01T13:03:22Z","cross_cats_sorted":[],"title_canon_sha256":"d53e475be0f48a53efc257ad99c93a631a0c1fd4502e3f406c84187faf1b9979","abstract_canon_sha256":"4bac3307b6c676e304a1ad1df13db1cf1f748d413089c51181ec7091f24d3265"},"schema_version":"1.0"},"canonical_sha256":"2bf97872290301d9aeefe44a70e3498293a62e5a6def7cf9dc8c7b5a23817525","source":{"kind":"arxiv","id":"1409.0400","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.0400","created_at":"2026-05-18T02:43:52Z"},{"alias_kind":"arxiv_version","alias_value":"1409.0400v1","created_at":"2026-05-18T02:43:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.0400","created_at":"2026-05-18T02:43:52Z"},{"alias_kind":"pith_short_12","alias_value":"FP4XQ4RJAMA5","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FP4XQ4RJAMA5TLXP","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FP4XQ4RJ","created_at":"2026-05-18T12:28:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:FP4XQ4RJAMA5TLXP4RFHBY2JQK","target":"record","payload":{"canonical_record":{"source":{"id":"1409.0400","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-01T13:03:22Z","cross_cats_sorted":[],"title_canon_sha256":"d53e475be0f48a53efc257ad99c93a631a0c1fd4502e3f406c84187faf1b9979","abstract_canon_sha256":"4bac3307b6c676e304a1ad1df13db1cf1f748d413089c51181ec7091f24d3265"},"schema_version":"1.0"},"canonical_sha256":"2bf97872290301d9aeefe44a70e3498293a62e5a6def7cf9dc8c7b5a23817525","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:43:52.833517Z","signature_b64":"oR8fVR5RFSz+Bg7GYuaU7VBJmg/kdDwq9dbO3yculP4Vh+L9gK+KvkD9GPyZfd3TUKVWppVClM1Z3EacFowGDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2bf97872290301d9aeefe44a70e3498293a62e5a6def7cf9dc8c7b5a23817525","last_reissued_at":"2026-05-18T02:43:52.833010Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:43:52.833010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.0400","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:43:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xdrVm/IFMfcIk5bA/S4k6hEGUd7TQrrhM9we6FnVr7xKpb/tsKJUcj2pITilVLJ5f1lAaOtq/x+Vx7zdnh+GAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T19:26:06.858272Z"},"content_sha256":"e8d0d65621527e2fa55c8f0f9d85f7d464eb86bd29b9dac1ebabbdca8647f801","schema_version":"1.0","event_id":"sha256:e8d0d65621527e2fa55c8f0f9d85f7d464eb86bd29b9dac1ebabbdca8647f801"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:FP4XQ4RJAMA5TLXP4RFHBY2JQK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modeling Cyber-Physical Systems: Model-Driven Specification of Energy Efficient Buildings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Rumpe, Claas Pinkernell, Markus Look, Thomas Kurpick","submitted_at":"2014-09-01T13:03:22Z","abstract_excerpt":"A lot of current buildings are operated energy inefficient and offer a great potential to reduce the overall energy consumption and CO2 emission. Detecting these inefficiencies is a complicated task and needs domain experts that are able to identify them. Most approaches try to support detection by focussing on monitoring the building's operation and visualizing data. Instead our approach focuses on using techniques taken from the cyber-physical systems' modeling domain. We create a model of the building and show how we constrain the model by OCL-like rules to support a sound specification whi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.0400","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:43:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8jiT/EdDAs/yVVmCv1ChBlN+s+3NcQvaxi30hQPyU4eVi7WIfK0Hik/d84pByEWfWTtl2Wf/TnFL1Gm5Vj8/Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T19:26:06.858699Z"},"content_sha256":"b3e9e58d2c9f85f4b2318ade1d75230d36d1ead6c474667189aad0e209ede71f","schema_version":"1.0","event_id":"sha256:b3e9e58d2c9f85f4b2318ade1d75230d36d1ead6c474667189aad0e209ede71f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FP4XQ4RJAMA5TLXP4RFHBY2JQK/bundle.json","state_url":"https://pith.science/pith/FP4XQ4RJAMA5TLXP4RFHBY2JQK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FP4XQ4RJAMA5TLXP4RFHBY2JQK/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-02T19:26:06Z","links":{"resolver":"https://pith.science/pith/FP4XQ4RJAMA5TLXP4RFHBY2JQK","bundle":"https://pith.science/pith/FP4XQ4RJAMA5TLXP4RFHBY2JQK/bundle.json","state":"https://pith.science/pith/FP4XQ4RJAMA5TLXP4RFHBY2JQK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FP4XQ4RJAMA5TLXP4RFHBY2JQK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:FP4XQ4RJAMA5TLXP4RFHBY2JQK","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":"4bac3307b6c676e304a1ad1df13db1cf1f748d413089c51181ec7091f24d3265","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-01T13:03:22Z","title_canon_sha256":"d53e475be0f48a53efc257ad99c93a631a0c1fd4502e3f406c84187faf1b9979"},"schema_version":"1.0","source":{"id":"1409.0400","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.0400","created_at":"2026-05-18T02:43:52Z"},{"alias_kind":"arxiv_version","alias_value":"1409.0400v1","created_at":"2026-05-18T02:43:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.0400","created_at":"2026-05-18T02:43:52Z"},{"alias_kind":"pith_short_12","alias_value":"FP4XQ4RJAMA5","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FP4XQ4RJAMA5TLXP","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FP4XQ4RJ","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:b3e9e58d2c9f85f4b2318ade1d75230d36d1ead6c474667189aad0e209ede71f","target":"graph","created_at":"2026-05-18T02:43:52Z","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":"A lot of current buildings are operated energy inefficient and offer a great potential to reduce the overall energy consumption and CO2 emission. Detecting these inefficiencies is a complicated task and needs domain experts that are able to identify them. Most approaches try to support detection by focussing on monitoring the building's operation and visualizing data. Instead our approach focuses on using techniques taken from the cyber-physical systems' modeling domain. We create a model of the building and show how we constrain the model by OCL-like rules to support a sound specification whi","authors_text":"Bernhard Rumpe, Claas Pinkernell, Markus Look, Thomas Kurpick","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-01T13:03:22Z","title":"Modeling Cyber-Physical Systems: Model-Driven Specification of Energy Efficient Buildings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.0400","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:e8d0d65621527e2fa55c8f0f9d85f7d464eb86bd29b9dac1ebabbdca8647f801","target":"record","created_at":"2026-05-18T02:43:52Z","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":"4bac3307b6c676e304a1ad1df13db1cf1f748d413089c51181ec7091f24d3265","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-01T13:03:22Z","title_canon_sha256":"d53e475be0f48a53efc257ad99c93a631a0c1fd4502e3f406c84187faf1b9979"},"schema_version":"1.0","source":{"id":"1409.0400","kind":"arxiv","version":1}},"canonical_sha256":"2bf97872290301d9aeefe44a70e3498293a62e5a6def7cf9dc8c7b5a23817525","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2bf97872290301d9aeefe44a70e3498293a62e5a6def7cf9dc8c7b5a23817525","first_computed_at":"2026-05-18T02:43:52.833010Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:43:52.833010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oR8fVR5RFSz+Bg7GYuaU7VBJmg/kdDwq9dbO3yculP4Vh+L9gK+KvkD9GPyZfd3TUKVWppVClM1Z3EacFowGDA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:43:52.833517Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.0400","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e8d0d65621527e2fa55c8f0f9d85f7d464eb86bd29b9dac1ebabbdca8647f801","sha256:b3e9e58d2c9f85f4b2318ade1d75230d36d1ead6c474667189aad0e209ede71f"],"state_sha256":"316cea367614f53f07f8798f75a5311605cf04478ea58a54dccfd4d5572b10f5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xuMhknc/aKsJdsANHZr+kKtXhEUhQR7WbHeKPMa8/f7mWyBkZKx032yhApGgPD1gIicdV2ViiseHRWUAFYfbCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T19:26:06.860742Z","bundle_sha256":"95d97662e6c3c082450f9f08d81169def14dcbc7ad0a3f451852789a0f02ca8a"}}