{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:DBD66Q2OZC3A7QFSZLQHASGJCX","short_pith_number":"pith:DBD66Q2O","canonical_record":{"source":{"id":"1409.0394","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-01T12:55:56Z","cross_cats_sorted":[],"title_canon_sha256":"8ed437b07d1f1e83d14566e9a7ad520f93df048692ed39fb5e6f76c02e5af13e","abstract_canon_sha256":"3d7e54c452186a014191447dd672d1149109471cb548ef21996a0c780b1311da"},"schema_version":"1.0"},"canonical_sha256":"1847ef434ec8b60fc0b2cae07048c915dbe8cf913f9624b17231da8e988dc39a","source":{"kind":"arxiv","id":"1409.0394","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.0394","created_at":"2026-05-18T02:43:52Z"},{"alias_kind":"arxiv_version","alias_value":"1409.0394v1","created_at":"2026-05-18T02:43:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.0394","created_at":"2026-05-18T02:43:52Z"},{"alias_kind":"pith_short_12","alias_value":"DBD66Q2OZC3A","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"DBD66Q2OZC3A7QFS","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"DBD66Q2O","created_at":"2026-05-18T12:28:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:DBD66Q2OZC3A7QFSZLQHASGJCX","target":"record","payload":{"canonical_record":{"source":{"id":"1409.0394","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-01T12:55:56Z","cross_cats_sorted":[],"title_canon_sha256":"8ed437b07d1f1e83d14566e9a7ad520f93df048692ed39fb5e6f76c02e5af13e","abstract_canon_sha256":"3d7e54c452186a014191447dd672d1149109471cb548ef21996a0c780b1311da"},"schema_version":"1.0"},"canonical_sha256":"1847ef434ec8b60fc0b2cae07048c915dbe8cf913f9624b17231da8e988dc39a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:43:52.845254Z","signature_b64":"6ceQRhU1ihbqNPqXzw+loiLJqrtjp/GA22yPHjCXTT2t+AYNJYnH9dT8lg64MEnrjfZUesXalYiMbdF/5o9sDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1847ef434ec8b60fc0b2cae07048c915dbe8cf913f9624b17231da8e988dc39a","last_reissued_at":"2026-05-18T02:43:52.844847Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:43:52.844847Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.0394","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":"ct7EJVz+bHqOhqMMzAJkhroAOD0qc95FScsCTvJIKexcseV2LANHG55Ez3FZlG0vksFQ5sji1AF0PoxEtnPLBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T16:59:19.267885Z"},"content_sha256":"7845aa750e24b47694a2ab975b3b64ba8c97e48e75748ae2cde0f5eaba6b7dc0","schema_version":"1.0","event_id":"sha256:7845aa750e24b47694a2ab975b3b64ba8c97e48e75748ae2cde0f5eaba6b7dc0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:DBD66Q2OZC3A7QFSZLQHASGJCX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andreas Wortmann, Bernhard Rumpe, Jan Oliver Ringert","submitted_at":"2014-09-01T12:55:56Z","abstract_excerpt":"Software development for robotics applications is a sophisticated endeavor as robots are inherently complex. Explicit modeling of the architecture and behavior of robotics application yields many advantages to cope with this complexity by identifying and separating logically and physically independent components and by hierarchically structuring the system under development. On top of component and connector models we propose modeling the requirements on the behavior of robotics software components using I/O! automata. This approach facilitates early simulation of requirements model, allows to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.0394","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":"8PIR8AcumHifdL/P5hu7971WJBG2LSpOWuyQNM03OQQFipFTcJM4CRAbk2BJ6k5lYNvDk93lFw5AU9xdBCYLBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T16:59:19.268252Z"},"content_sha256":"e2876a0d9ec9269bbd02eecd1ea961ea7d1f8c6aea6e8562c43f7ccad2fc30b2","schema_version":"1.0","event_id":"sha256:e2876a0d9ec9269bbd02eecd1ea961ea7d1f8c6aea6e8562c43f7ccad2fc30b2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DBD66Q2OZC3A7QFSZLQHASGJCX/bundle.json","state_url":"https://pith.science/pith/DBD66Q2OZC3A7QFSZLQHASGJCX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DBD66Q2OZC3A7QFSZLQHASGJCX/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-02T16:59:19Z","links":{"resolver":"https://pith.science/pith/DBD66Q2OZC3A7QFSZLQHASGJCX","bundle":"https://pith.science/pith/DBD66Q2OZC3A7QFSZLQHASGJCX/bundle.json","state":"https://pith.science/pith/DBD66Q2OZC3A7QFSZLQHASGJCX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DBD66Q2OZC3A7QFSZLQHASGJCX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:DBD66Q2OZC3A7QFSZLQHASGJCX","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":"3d7e54c452186a014191447dd672d1149109471cb548ef21996a0c780b1311da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-01T12:55:56Z","title_canon_sha256":"8ed437b07d1f1e83d14566e9a7ad520f93df048692ed39fb5e6f76c02e5af13e"},"schema_version":"1.0","source":{"id":"1409.0394","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.0394","created_at":"2026-05-18T02:43:52Z"},{"alias_kind":"arxiv_version","alias_value":"1409.0394v1","created_at":"2026-05-18T02:43:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.0394","created_at":"2026-05-18T02:43:52Z"},{"alias_kind":"pith_short_12","alias_value":"DBD66Q2OZC3A","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"DBD66Q2OZC3A7QFS","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"DBD66Q2O","created_at":"2026-05-18T12:28:25Z"}],"graph_snapshots":[{"event_id":"sha256:e2876a0d9ec9269bbd02eecd1ea961ea7d1f8c6aea6e8562c43f7ccad2fc30b2","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":"Software development for robotics applications is a sophisticated endeavor as robots are inherently complex. Explicit modeling of the architecture and behavior of robotics application yields many advantages to cope with this complexity by identifying and separating logically and physically independent components and by hierarchically structuring the system under development. On top of component and connector models we propose modeling the requirements on the behavior of robotics software components using I/O! automata. This approach facilitates early simulation of requirements model, allows to","authors_text":"Andreas Wortmann, Bernhard Rumpe, Jan Oliver Ringert","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-01T12:55:56Z","title":"A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.0394","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:7845aa750e24b47694a2ab975b3b64ba8c97e48e75748ae2cde0f5eaba6b7dc0","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":"3d7e54c452186a014191447dd672d1149109471cb548ef21996a0c780b1311da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-01T12:55:56Z","title_canon_sha256":"8ed437b07d1f1e83d14566e9a7ad520f93df048692ed39fb5e6f76c02e5af13e"},"schema_version":"1.0","source":{"id":"1409.0394","kind":"arxiv","version":1}},"canonical_sha256":"1847ef434ec8b60fc0b2cae07048c915dbe8cf913f9624b17231da8e988dc39a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1847ef434ec8b60fc0b2cae07048c915dbe8cf913f9624b17231da8e988dc39a","first_computed_at":"2026-05-18T02:43:52.844847Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:43:52.844847Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6ceQRhU1ihbqNPqXzw+loiLJqrtjp/GA22yPHjCXTT2t+AYNJYnH9dT8lg64MEnrjfZUesXalYiMbdF/5o9sDw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:43:52.845254Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.0394","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7845aa750e24b47694a2ab975b3b64ba8c97e48e75748ae2cde0f5eaba6b7dc0","sha256:e2876a0d9ec9269bbd02eecd1ea961ea7d1f8c6aea6e8562c43f7ccad2fc30b2"],"state_sha256":"ccf308087d508379048d12e6fbdd6f0a3736cdff9ebbd32069a6324543377f76"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bgchbLUFHneMdaGteHQk58IGv0++xi/v9pHksx7iqV9WaSy+Qhl5wbrT9+mVdxiMSMo8kYgSbaG8aJG1VNmmDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T16:59:19.270212Z","bundle_sha256":"204a59dbdfe09a038282e528f2aaa6a4d5f0199b310eee6d0ab3c49ffca6470e"}}