Resumen: Este documento presenta un perfil SYSML que permite la integración directa de la semántica de planificación basada en el lenguaje de definición de dominio de planificación (PDDL) en los modelos de sistemas. Los estereotipos reutilizables se definen para conceptos clave de PDDL como tipos, predicados, funciones y acciones, mientras que las limitaciones formales de OCL aseguran la consistencia sintáctica. El perfil se derivó de la definición de formulario Backus-Naur (BNF) de PDDL 3.1 para alinearse con las prácticas de modelado SYSML. Un estudio de caso de la fabricación de aviones demuestra la aplicación del perfil: un sistema robótico con efectores finales intercambiables se modela y enriquece para generar descripciones de dominio y problemas en formato PDDL. Estos se utilizan como entrada a un solucionador PDDL para obtener planes de ejecución optimizados. El enfoque admite la generación automatizada y basada en modelos de descripciones de planificación y proporciona un puente reutilizable entre el modelado de sistemas y la planificación de IA en diseño de ingeniería.
Publicado Originalme en rss.arxiv.org El 9 de junio de 2025.
Ver Fuente Original
