{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:UBIA2T36BVLZZNDJZYBSADPFCK","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":"196fc93848954dc2767a2f9bb7c55ab0be920d012143f5323526509cd996f32a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:34:44Z","title_canon_sha256":"18e61b940a6eb0b1402498a6ec11539d87571497954b0041364acbb5a2cf74ea"},"schema_version":"1.0","source":{"id":"1409.6628","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6628","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6628v1","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6628","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"pith_short_12","alias_value":"UBIA2T36BVLZ","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UBIA2T36BVLZZNDJ","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UBIA2T36","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:dfe11e6df81633d69cdb7affdf707849d4df1695c06fd538835a8345ef35afc7","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":"Modelling the logical architecture of an automotive system as one central step in the development process leads to an early understanding of the fundamental functional properties of the system under design. This supports developers in making design decisions. However, due to the large size and complexity of the system and hence the logical architecture, a good notation, method and tooling is necessary. In this paper, we show how logical architectures can be modelled succinctly as function nets using a SysML-based notation. The usefulness for developers is increased by comprehensible views on t","authors_text":"Bernhard Rumpe, Hans Gr\\\"onninger, Holger Krahn, Jochen Hartmann, Lutz Rothhart, Stefan Kriebel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:34:44Z","title":"Modelling Automotive Function Nets with Views for Features, Variants, and Modes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6628","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:e6c5025690860fa2c53d003f1932bec81ac72be01fdd891183e71d458d3ad3dd","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":"196fc93848954dc2767a2f9bb7c55ab0be920d012143f5323526509cd996f32a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:34:44Z","title_canon_sha256":"18e61b940a6eb0b1402498a6ec11539d87571497954b0041364acbb5a2cf74ea"},"schema_version":"1.0","source":{"id":"1409.6628","kind":"arxiv","version":1}},"canonical_sha256":"a0500d4f7e0d579cb469ce03200de512a9b93247f9b5976b082064cfd6b04c6d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a0500d4f7e0d579cb469ce03200de512a9b93247f9b5976b082064cfd6b04c6d","first_computed_at":"2026-05-18T02:42:06.645811Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:42:06.645811Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U1FRtSONxuEV8kJInFoNU8NrX9u6b2SLj/b7F+ZY/bJfQXX7ZQbnMK4fbPBG/mD+YutYJdxnLlenp+j9CI7lDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:42:06.646188Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.6628","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e6c5025690860fa2c53d003f1932bec81ac72be01fdd891183e71d458d3ad3dd","sha256:dfe11e6df81633d69cdb7affdf707849d4df1695c06fd538835a8345ef35afc7"],"state_sha256":"cc496f317087a5145f0b3333308e4a176aa02d9e41a1099f0b867c7a4f72a995"}