{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:O3DQTSF4T55FRUS4EE2NSK5X6W","short_pith_number":"pith:O3DQTSF4","canonical_record":{"source":{"id":"1409.6626","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:36:48Z","cross_cats_sorted":[],"title_canon_sha256":"fb5ac2c055084d4beffe2dab77ded6db8ae92825ae543df5d467a54be80b334e","abstract_canon_sha256":"64a04f6af495f2d3312159d49900da8246bcd72e96c5c700903d29d5460fa2a2"},"schema_version":"1.0"},"canonical_sha256":"76c709c8bc9f7a58d25c2134d92bb7f5ad7983c95573d792e19a1a8f17b13730","source":{"kind":"arxiv","id":"1409.6626","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6626","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6626v1","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6626","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"pith_short_12","alias_value":"O3DQTSF4T55F","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"O3DQTSF4T55FRUS4","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"O3DQTSF4","created_at":"2026-05-18T12:28:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:O3DQTSF4T55FRUS4EE2NSK5X6W","target":"record","payload":{"canonical_record":{"source":{"id":"1409.6626","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:36:48Z","cross_cats_sorted":[],"title_canon_sha256":"fb5ac2c055084d4beffe2dab77ded6db8ae92825ae543df5d467a54be80b334e","abstract_canon_sha256":"64a04f6af495f2d3312159d49900da8246bcd72e96c5c700903d29d5460fa2a2"},"schema_version":"1.0"},"canonical_sha256":"76c709c8bc9f7a58d25c2134d92bb7f5ad7983c95573d792e19a1a8f17b13730","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:42:06.656357Z","signature_b64":"Xa4dYKy8BLBNbD0hi4zvwYiQarj331ex24nuxOimbZckO3K1qZ8m8p80dFXwzqMLBk1+JpiSWME/bu8uY687Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"76c709c8bc9f7a58d25c2134d92bb7f5ad7983c95573d792e19a1a8f17b13730","last_reissued_at":"2026-05-18T02:42:06.655912Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:42:06.655912Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.6626","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:42:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VvRpBf32SUdIoaWgNc2iNHmgQsgZ1t0/edU1OOJincw7qYFJa2Tl7AWwXFnhqcLdAINYBUc5ycCY/aVFe9dhDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:54:43.667550Z"},"content_sha256":"2d6fe540c2906c1da66be8dd170304c97d8a76ff63086d517f3d54d344931c6d","schema_version":"1.0","event_id":"sha256:2d6fe540c2906c1da66be8dd170304c97d8a76ff63086d517f3d54d344931c6d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:O3DQTSF4T55FRUS4EE2NSK5X6W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"View-Based Modeling of Function Nets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Rumpe, Hans Gr\\\"onninger, Holger Krahn, Jochen Hartmann, Stefan Kriebel","submitted_at":"2014-09-22T12:36:48Z","abstract_excerpt":"This paper presents an approach to model features and function nets of automotive systems comprehensively. In order to bridge the gap between feature requirements and function nets, we describe an approach to describe both using a SysML-based notation. If requirements on the automotive system are changed by several developers responsible for different features, it is important for developers to have a good overview and understanding of the functions affected. We show that this can be comprehensively modeled using so called \"feature views\". In order to validate these views against the complete "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6626","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:42:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dhAu+RhfOIWn8P2KtDaueSsFVWke8UmDC8Ts4KCMIvZ2AG6D6n53mX7u2V+4BmOc6n5MmW/SaZ08Zxpke0iuCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:54:43.667897Z"},"content_sha256":"13c6794561f7783b509afd8d52ce085d7afdd165661ac7004a19c619551ac340","schema_version":"1.0","event_id":"sha256:13c6794561f7783b509afd8d52ce085d7afdd165661ac7004a19c619551ac340"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O3DQTSF4T55FRUS4EE2NSK5X6W/bundle.json","state_url":"https://pith.science/pith/O3DQTSF4T55FRUS4EE2NSK5X6W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O3DQTSF4T55FRUS4EE2NSK5X6W/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-03T05:54:43Z","links":{"resolver":"https://pith.science/pith/O3DQTSF4T55FRUS4EE2NSK5X6W","bundle":"https://pith.science/pith/O3DQTSF4T55FRUS4EE2NSK5X6W/bundle.json","state":"https://pith.science/pith/O3DQTSF4T55FRUS4EE2NSK5X6W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O3DQTSF4T55FRUS4EE2NSK5X6W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:O3DQTSF4T55FRUS4EE2NSK5X6W","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":"64a04f6af495f2d3312159d49900da8246bcd72e96c5c700903d29d5460fa2a2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:36:48Z","title_canon_sha256":"fb5ac2c055084d4beffe2dab77ded6db8ae92825ae543df5d467a54be80b334e"},"schema_version":"1.0","source":{"id":"1409.6626","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6626","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6626v1","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6626","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"pith_short_12","alias_value":"O3DQTSF4T55F","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"O3DQTSF4T55FRUS4","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"O3DQTSF4","created_at":"2026-05-18T12:28:41Z"}],"graph_snapshots":[{"event_id":"sha256:13c6794561f7783b509afd8d52ce085d7afdd165661ac7004a19c619551ac340","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":"This paper presents an approach to model features and function nets of automotive systems comprehensively. In order to bridge the gap between feature requirements and function nets, we describe an approach to describe both using a SysML-based notation. If requirements on the automotive system are changed by several developers responsible for different features, it is important for developers to have a good overview and understanding of the functions affected. We show that this can be comprehensively modeled using so called \"feature views\". In order to validate these views against the complete ","authors_text":"Bernhard Rumpe, Hans Gr\\\"onninger, Holger Krahn, Jochen Hartmann, Stefan Kriebel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:36:48Z","title":"View-Based Modeling of Function Nets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6626","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:2d6fe540c2906c1da66be8dd170304c97d8a76ff63086d517f3d54d344931c6d","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":"64a04f6af495f2d3312159d49900da8246bcd72e96c5c700903d29d5460fa2a2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T12:36:48Z","title_canon_sha256":"fb5ac2c055084d4beffe2dab77ded6db8ae92825ae543df5d467a54be80b334e"},"schema_version":"1.0","source":{"id":"1409.6626","kind":"arxiv","version":1}},"canonical_sha256":"76c709c8bc9f7a58d25c2134d92bb7f5ad7983c95573d792e19a1a8f17b13730","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"76c709c8bc9f7a58d25c2134d92bb7f5ad7983c95573d792e19a1a8f17b13730","first_computed_at":"2026-05-18T02:42:06.655912Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:42:06.655912Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Xa4dYKy8BLBNbD0hi4zvwYiQarj331ex24nuxOimbZckO3K1qZ8m8p80dFXwzqMLBk1+JpiSWME/bu8uY687Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:42:06.656357Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.6626","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2d6fe540c2906c1da66be8dd170304c97d8a76ff63086d517f3d54d344931c6d","sha256:13c6794561f7783b509afd8d52ce085d7afdd165661ac7004a19c619551ac340"],"state_sha256":"701092f3800a42a60f74c988f63e3423eaaa94acd79324ace53e4d6359fea823"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nv6/OHSlQEgtItHmgByibDtrTSFWTXK/KDbFVxQjixmrBdp59autwlF6CDaglEbDkrio26M8h7BiUQmxvaDuCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T05:54:43.669819Z","bundle_sha256":"477dbc200dbc67670df4d0d4c355a40702099b2a0cc600421c3f7db52fc69ffd"}}