{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:PWPIUMLU3XIRSSKOYK436AXDJK","short_pith_number":"pith:PWPIUMLU","canonical_record":{"source":{"id":"1707.08411","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-26T12:48:12Z","cross_cats_sorted":[],"title_canon_sha256":"0d038c1c5109cce1770b7b56ed92b48a9f886e87ca285bda352dbe842af6530b","abstract_canon_sha256":"47a1ba654dd0ab6c3edd18cc83c8a7c84d30bc093be849936c4ab9be08dd372d"},"schema_version":"1.0"},"canonical_sha256":"7d9e8a3174ddd119494ec2b9bf02e34aab37fd3adbdc7bc8f27e8fdfdc9e7fb7","source":{"kind":"arxiv","id":"1707.08411","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08411","created_at":"2026-05-18T00:19:17Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08411v2","created_at":"2026-05-18T00:19:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08411","created_at":"2026-05-18T00:19:17Z"},{"alias_kind":"pith_short_12","alias_value":"PWPIUMLU3XIR","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PWPIUMLU3XIRSSKO","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PWPIUMLU","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:PWPIUMLU3XIRSSKOYK436AXDJK","target":"record","payload":{"canonical_record":{"source":{"id":"1707.08411","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-26T12:48:12Z","cross_cats_sorted":[],"title_canon_sha256":"0d038c1c5109cce1770b7b56ed92b48a9f886e87ca285bda352dbe842af6530b","abstract_canon_sha256":"47a1ba654dd0ab6c3edd18cc83c8a7c84d30bc093be849936c4ab9be08dd372d"},"schema_version":"1.0"},"canonical_sha256":"7d9e8a3174ddd119494ec2b9bf02e34aab37fd3adbdc7bc8f27e8fdfdc9e7fb7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:17.099870Z","signature_b64":"jIqaWWNLHTX69Ig1WbUGKcp5F4r4ZlLB6Hh8KeIj/+4jHifFzb9T+1h6NFBWuQEVVu+LYR3wfytOWNHoB4k0BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7d9e8a3174ddd119494ec2b9bf02e34aab37fd3adbdc7bc8f27e8fdfdc9e7fb7","last_reissued_at":"2026-05-18T00:19:17.099248Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:17.099248Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.08411","source_version":2,"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-18T00:19:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"se8EUZcvFRcs9J1ajTB5/UH4ompRTFr2Gbh1UYA+XNssoqYnB226rqPv0hri4XBSyKz78TWZhFKJl4fl3FUvAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T08:33:33.735846Z"},"content_sha256":"4fb6156736302f53a25289caee15d65824fa014f1d3578faec7e8d4583dcc646","schema_version":"1.0","event_id":"sha256:4fb6156736302f53a25289caee15d65824fa014f1d3578faec7e8d4583dcc646"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:PWPIUMLU3XIRSSKOYK436AXDJK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A framework for quantitative modeling and analysis of highly (re)configurable systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alberto Lluch Lafuente, Andrea Vandin, Axel Legay, Maurice H. ter Beek","submitted_at":"2017-07-26T12:48:12Z","abstract_excerpt":"This paper presents our approach to the quantitative modeling and analysis of highly (re)configurable systems, such as software product lines. Different combinations of the optional features of such a system give rise to combinatorially many individual system variants. We use a formal modeling language that allows us to model systems with probabilistic behavior, possibly subject to quantitative feature constraints, and able to dynamically install, remove or replace features. More precisely, our models are defined in the probabilistic feature-oriented language QFLAN, a rich domain specific lang"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08411","kind":"arxiv","version":2},"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-18T00:19:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dL1JApAqkioWMnAtFEIiVZSS3Wew8Q6squg7wpD3ms6kCo69t13BUpjbsJG/zyD2jTUdOblAq9cgNoACcL0rDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T08:33:33.736202Z"},"content_sha256":"5aca69687c2134945560fabbea20a83b47692479eff1740904e020b555849581","schema_version":"1.0","event_id":"sha256:5aca69687c2134945560fabbea20a83b47692479eff1740904e020b555849581"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PWPIUMLU3XIRSSKOYK436AXDJK/bundle.json","state_url":"https://pith.science/pith/PWPIUMLU3XIRSSKOYK436AXDJK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PWPIUMLU3XIRSSKOYK436AXDJK/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-05-30T08:33:33Z","links":{"resolver":"https://pith.science/pith/PWPIUMLU3XIRSSKOYK436AXDJK","bundle":"https://pith.science/pith/PWPIUMLU3XIRSSKOYK436AXDJK/bundle.json","state":"https://pith.science/pith/PWPIUMLU3XIRSSKOYK436AXDJK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PWPIUMLU3XIRSSKOYK436AXDJK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:PWPIUMLU3XIRSSKOYK436AXDJK","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":"47a1ba654dd0ab6c3edd18cc83c8a7c84d30bc093be849936c4ab9be08dd372d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-26T12:48:12Z","title_canon_sha256":"0d038c1c5109cce1770b7b56ed92b48a9f886e87ca285bda352dbe842af6530b"},"schema_version":"1.0","source":{"id":"1707.08411","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08411","created_at":"2026-05-18T00:19:17Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08411v2","created_at":"2026-05-18T00:19:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08411","created_at":"2026-05-18T00:19:17Z"},{"alias_kind":"pith_short_12","alias_value":"PWPIUMLU3XIR","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PWPIUMLU3XIRSSKO","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PWPIUMLU","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:5aca69687c2134945560fabbea20a83b47692479eff1740904e020b555849581","target":"graph","created_at":"2026-05-18T00:19: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":"This paper presents our approach to the quantitative modeling and analysis of highly (re)configurable systems, such as software product lines. Different combinations of the optional features of such a system give rise to combinatorially many individual system variants. We use a formal modeling language that allows us to model systems with probabilistic behavior, possibly subject to quantitative feature constraints, and able to dynamically install, remove or replace features. More precisely, our models are defined in the probabilistic feature-oriented language QFLAN, a rich domain specific lang","authors_text":"Alberto Lluch Lafuente, Andrea Vandin, Axel Legay, Maurice H. ter Beek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-26T12:48:12Z","title":"A framework for quantitative modeling and analysis of highly (re)configurable systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08411","kind":"arxiv","version":2},"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:4fb6156736302f53a25289caee15d65824fa014f1d3578faec7e8d4583dcc646","target":"record","created_at":"2026-05-18T00:19: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":"47a1ba654dd0ab6c3edd18cc83c8a7c84d30bc093be849936c4ab9be08dd372d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-26T12:48:12Z","title_canon_sha256":"0d038c1c5109cce1770b7b56ed92b48a9f886e87ca285bda352dbe842af6530b"},"schema_version":"1.0","source":{"id":"1707.08411","kind":"arxiv","version":2}},"canonical_sha256":"7d9e8a3174ddd119494ec2b9bf02e34aab37fd3adbdc7bc8f27e8fdfdc9e7fb7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7d9e8a3174ddd119494ec2b9bf02e34aab37fd3adbdc7bc8f27e8fdfdc9e7fb7","first_computed_at":"2026-05-18T00:19:17.099248Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:17.099248Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jIqaWWNLHTX69Ig1WbUGKcp5F4r4ZlLB6Hh8KeIj/+4jHifFzb9T+1h6NFBWuQEVVu+LYR3wfytOWNHoB4k0BA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:17.099870Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.08411","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4fb6156736302f53a25289caee15d65824fa014f1d3578faec7e8d4583dcc646","sha256:5aca69687c2134945560fabbea20a83b47692479eff1740904e020b555849581"],"state_sha256":"96a9c2c3ee659b5cf826d464d3afd612673f715b94e710702e183b8c802f3170"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8StJFCmOFE/M5/bftCX2Lwg/O40Oxxqt06j+sBpOldkFXoRXImaguus+8QiQr1MndmT1Pbszwjinsu7Ko34DDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T08:33:33.738455Z","bundle_sha256":"c4ec99b1fa1bf38f74faf8d94d74939a3cf3a4ddc49615ea84ecf3755129222c"}}