{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:Q4PUBWKYNVHBBN4L4NBEG66KAX","short_pith_number":"pith:Q4PUBWKY","canonical_record":{"source":{"id":"1409.2315","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T12:11:13Z","cross_cats_sorted":[],"title_canon_sha256":"699b116c500303fa1af0688ac2046eb6eed30127440b65e8c4852dfe9f9d6db5","abstract_canon_sha256":"bfda88c757f80129f763318d6b67d0b3e98a0a3454b5efdfd7eb5e83a914bb55"},"schema_version":"1.0"},"canonical_sha256":"871f40d9586d4e10b78be342437bca05c7d2b763fb0be63e4a051f7b306b010c","source":{"kind":"arxiv","id":"1409.2315","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.2315","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"arxiv_version","alias_value":"1409.2315v1","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.2315","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"pith_short_12","alias_value":"Q4PUBWKYNVHB","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"Q4PUBWKYNVHBBN4L","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"Q4PUBWKY","created_at":"2026-05-18T12:28:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:Q4PUBWKYNVHBBN4L4NBEG66KAX","target":"record","payload":{"canonical_record":{"source":{"id":"1409.2315","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T12:11:13Z","cross_cats_sorted":[],"title_canon_sha256":"699b116c500303fa1af0688ac2046eb6eed30127440b65e8c4852dfe9f9d6db5","abstract_canon_sha256":"bfda88c757f80129f763318d6b67d0b3e98a0a3454b5efdfd7eb5e83a914bb55"},"schema_version":"1.0"},"canonical_sha256":"871f40d9586d4e10b78be342437bca05c7d2b763fb0be63e4a051f7b306b010c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:43:17.403823Z","signature_b64":"QOftgNYApvf3B13DE5pa+f+WStm/NpAMDZdA+wZrqgdRh5JsDALgzciaBwpZp8A3aKFt2vWsVFxn/10BvxbUDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"871f40d9586d4e10b78be342437bca05c7d2b763fb0be63e4a051f7b306b010c","last_reissued_at":"2026-05-18T02:43:17.403337Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:43:17.403337Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.2315","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:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H0r/8MEqpP8JpkgwNo8e+5yunvkHbv78xP1A8DcsOogueEq1/KJ8k3sv34LovnEUOgcnPAEZWI6/TTOOiFK8DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T23:22:43.037652Z"},"content_sha256":"c24103f915380263b5129955e9434b5e9fd35af08f84be63956ab694b4de18fa","schema_version":"1.0","event_id":"sha256:c24103f915380263b5129955e9434b5e9fd35af08f84be63956ab694b4de18fa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:Q4PUBWKYNVHBBN4L4NBEG66KAX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Arne Haber, Bernhard Rumpe, Holger Rendel, Ina Schaefer, Thomas Kutz","submitted_at":"2014-09-08T12:11:13Z","abstract_excerpt":"Modeling variability in software architectures is a fundamental part of software product line development. ?-MontiArc allows describing architectural variability in a modular way by a designated core architecture and a set of architectural delta models modifying the core architecture to realize other architecture variants. Delta models have to satisfy a set of applicability conditions for the definedness of the architectural variants. The applicability conditions can in principle be checked by generating all possible architecture variants, which requires considering the same intermediate archi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.2315","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:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QK4H7FEkHeGuZC24JCQ7S5MeluiG+7wwm5T8CurKu1JXWp6TNHk75E++YFAhNXuPjM/7T6CKByIE0aRGAi41Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T23:22:43.037991Z"},"content_sha256":"0a7e3f6bd6d88c53c397fa20871c54d4cf036a1d16eb063d970d5eee7d2d9ee5","schema_version":"1.0","event_id":"sha256:0a7e3f6bd6d88c53c397fa20871c54d4cf036a1d16eb063d970d5eee7d2d9ee5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q4PUBWKYNVHBBN4L4NBEG66KAX/bundle.json","state_url":"https://pith.science/pith/Q4PUBWKYNVHBBN4L4NBEG66KAX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q4PUBWKYNVHBBN4L4NBEG66KAX/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-08T23:22:43Z","links":{"resolver":"https://pith.science/pith/Q4PUBWKYNVHBBN4L4NBEG66KAX","bundle":"https://pith.science/pith/Q4PUBWKYNVHBBN4L4NBEG66KAX/bundle.json","state":"https://pith.science/pith/Q4PUBWKYNVHBBN4L4NBEG66KAX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q4PUBWKYNVHBBN4L4NBEG66KAX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:Q4PUBWKYNVHBBN4L4NBEG66KAX","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":"bfda88c757f80129f763318d6b67d0b3e98a0a3454b5efdfd7eb5e83a914bb55","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T12:11:13Z","title_canon_sha256":"699b116c500303fa1af0688ac2046eb6eed30127440b65e8c4852dfe9f9d6db5"},"schema_version":"1.0","source":{"id":"1409.2315","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.2315","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"arxiv_version","alias_value":"1409.2315v1","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.2315","created_at":"2026-05-18T02:43:17Z"},{"alias_kind":"pith_short_12","alias_value":"Q4PUBWKYNVHB","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"Q4PUBWKYNVHBBN4L","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"Q4PUBWKY","created_at":"2026-05-18T12:28:43Z"}],"graph_snapshots":[{"event_id":"sha256:0a7e3f6bd6d88c53c397fa20871c54d4cf036a1d16eb063d970d5eee7d2d9ee5","target":"graph","created_at":"2026-05-18T02:43:17Z","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":"Modeling variability in software architectures is a fundamental part of software product line development. ?-MontiArc allows describing architectural variability in a modular way by a designated core architecture and a set of architectural delta models modifying the core architecture to realize other architecture variants. Delta models have to satisfy a set of applicability conditions for the definedness of the architectural variants. The applicability conditions can in principle be checked by generating all possible architecture variants, which requires considering the same intermediate archi","authors_text":"Arne Haber, Bernhard Rumpe, Holger Rendel, Ina Schaefer, Thomas Kutz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T12:11:13Z","title":"Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.2315","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:c24103f915380263b5129955e9434b5e9fd35af08f84be63956ab694b4de18fa","target":"record","created_at":"2026-05-18T02:43:17Z","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":"bfda88c757f80129f763318d6b67d0b3e98a0a3454b5efdfd7eb5e83a914bb55","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-08T12:11:13Z","title_canon_sha256":"699b116c500303fa1af0688ac2046eb6eed30127440b65e8c4852dfe9f9d6db5"},"schema_version":"1.0","source":{"id":"1409.2315","kind":"arxiv","version":1}},"canonical_sha256":"871f40d9586d4e10b78be342437bca05c7d2b763fb0be63e4a051f7b306b010c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"871f40d9586d4e10b78be342437bca05c7d2b763fb0be63e4a051f7b306b010c","first_computed_at":"2026-05-18T02:43:17.403337Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:43:17.403337Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QOftgNYApvf3B13DE5pa+f+WStm/NpAMDZdA+wZrqgdRh5JsDALgzciaBwpZp8A3aKFt2vWsVFxn/10BvxbUDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:43:17.403823Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.2315","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c24103f915380263b5129955e9434b5e9fd35af08f84be63956ab694b4de18fa","sha256:0a7e3f6bd6d88c53c397fa20871c54d4cf036a1d16eb063d970d5eee7d2d9ee5"],"state_sha256":"ed28b4ae2e2e8321459178a43df90a48c673dd960603306401456c3927e6911c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dZJPTZLdihQP9IPTcMzNu147cGHk3MzlCUxGL2oZcIh5IOkut7Qi4AS0pKviZVQIHEZlvfk1isoMx0czgwozCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T23:22:43.039788Z","bundle_sha256":"2a95acbb4f2789665f001ea0a82c4e5df4df4b5cd0daae0c50868ff311f129b0"}}