{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:OYIZSO3IDQ5JFWD76N5COJGCTC","short_pith_number":"pith:OYIZSO3I","schema_version":"1.0","canonical_sha256":"7611993b681c3a92d87ff37a2724c298b01aca559b31e51268917b413c665189","source":{"kind":"arxiv","id":"2506.06714","version":1},"attestation_state":"computed","paper":{"title":"Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alexander Fay, Felix Gehlhoff, Hamied Nabizada, Lasse Beers, Maximilian Weigand, Tom Jeleniewski","submitted_at":"2025-06-07T08:46:14Z","abstract_excerpt":"This paper presents a SysML profile that enables the direct integration of planning semantics based on the Planning Domain Definition Language (PDDL) into system models. Reusable stereotypes are defined for key PDDL concepts such as types, predicates, functions and actions, while formal OCL constraints ensure syntactic consistency. The profile was derived from the Backus-Naur Form (BNF) definition of PDDL 3.1 to align with SysML modeling practices. A case study from aircraft manufacturing demonstrates the application of the profile: a robotic system with interchangeable end effectors is modele"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2506.06714","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-06-07T08:46:14Z","cross_cats_sorted":[],"title_canon_sha256":"422db88a22cdd32b660ee0c147f0b21ed4c43238ac1f33957c4884b6eb0c8aca","abstract_canon_sha256":"bc494d46bc7314d6e91b8d9ceb5c4f6739a35ebf44cf7a84e10d513cc11346f0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:17:54.562717Z","signature_b64":"kEm2Wx3njZStOK9/+xWMmEFlLwGK7Y8Ugmc0ZWD5joaEff8srX31dSMOznAg8E248VodULzeGU7Dg1z/78fqCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7611993b681c3a92d87ff37a2724c298b01aca559b31e51268917b413c665189","last_reissued_at":"2026-07-05T11:17:54.562237Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:17:54.562237Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alexander Fay, Felix Gehlhoff, Hamied Nabizada, Lasse Beers, Maximilian Weigand, Tom Jeleniewski","submitted_at":"2025-06-07T08:46:14Z","abstract_excerpt":"This paper presents a SysML profile that enables the direct integration of planning semantics based on the Planning Domain Definition Language (PDDL) into system models. Reusable stereotypes are defined for key PDDL concepts such as types, predicates, functions and actions, while formal OCL constraints ensure syntactic consistency. The profile was derived from the Backus-Naur Form (BNF) definition of PDDL 3.1 to align with SysML modeling practices. A case study from aircraft manufacturing demonstrates the application of the profile: a robotic system with interchangeable end effectors is modele"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.06714","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.06714/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.06714","created_at":"2026-07-05T11:17:54.562294+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.06714v1","created_at":"2026-07-05T11:17:54.562294+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.06714","created_at":"2026-07-05T11:17:54.562294+00:00"},{"alias_kind":"pith_short_12","alias_value":"OYIZSO3IDQ5J","created_at":"2026-07-05T11:17:54.562294+00:00"},{"alias_kind":"pith_short_16","alias_value":"OYIZSO3IDQ5JFWD7","created_at":"2026-07-05T11:17:54.562294+00:00"},{"alias_kind":"pith_short_8","alias_value":"OYIZSO3I","created_at":"2026-07-05T11:17:54.562294+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OYIZSO3IDQ5JFWD76N5COJGCTC","json":"https://pith.science/pith/OYIZSO3IDQ5JFWD76N5COJGCTC.json","graph_json":"https://pith.science/api/pith-number/OYIZSO3IDQ5JFWD76N5COJGCTC/graph.json","events_json":"https://pith.science/api/pith-number/OYIZSO3IDQ5JFWD76N5COJGCTC/events.json","paper":"https://pith.science/paper/OYIZSO3I"},"agent_actions":{"view_html":"https://pith.science/pith/OYIZSO3IDQ5JFWD76N5COJGCTC","download_json":"https://pith.science/pith/OYIZSO3IDQ5JFWD76N5COJGCTC.json","view_paper":"https://pith.science/paper/OYIZSO3I","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.06714&json=true","fetch_graph":"https://pith.science/api/pith-number/OYIZSO3IDQ5JFWD76N5COJGCTC/graph.json","fetch_events":"https://pith.science/api/pith-number/OYIZSO3IDQ5JFWD76N5COJGCTC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OYIZSO3IDQ5JFWD76N5COJGCTC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OYIZSO3IDQ5JFWD76N5COJGCTC/action/storage_attestation","attest_author":"https://pith.science/pith/OYIZSO3IDQ5JFWD76N5COJGCTC/action/author_attestation","sign_citation":"https://pith.science/pith/OYIZSO3IDQ5JFWD76N5COJGCTC/action/citation_signature","submit_replication":"https://pith.science/pith/OYIZSO3IDQ5JFWD76N5COJGCTC/action/replication_record"}},"created_at":"2026-07-05T11:17:54.562294+00:00","updated_at":"2026-07-05T11:17:54.562294+00:00"}