ISO 20534:2018 Integración y sistemas de automatización industrial - Modelos semánticos formales para la configuración de redes de producción globales. normas y especificaciones

Alcance: Este documento especifica un enfoque de especialización de conceptos formal basado en la lógica para respaldar el desarrollo de modelos de referencia de fabricación que sustentan los modelos de conocimiento específicos del negocio necesarios para respaldar la configuración de las redes de producción globales. Este documento especifica lo siguiente: 　——el enfoque del modelo semático formal; 　——niveles jerárquicos de especialización inmobiliaria; 　——contextos para cada nivel; 　——propiedades clave en cada nivel; 　——relaciones de propiedad; 　——axiomas de propiedad; 　——reglas de aplicabilidad. Lo siguiente está dentro del alcance de este documento: 　——redes de producción para la fabricación de productos discretos; 　——semántica formal para la configuración de redes de producción globales; 　——semántica formal a nivel de sistema; 　——semántica formal del sistema diseñado; 　——semántica formal del sistema empresarial de fabricación; 　——semántica formal de la red de sistemas de producción global. Lo siguiente está fuera del alcance de este documento: 　——semántica formal en fábrica; 　——semántica formal para el funcionamiento de las redes de producción globales.

ISO 20534:2018 Historia

2018 ISO 20534:2018 Integración y sistemas de automatización industrial - Modelos semánticos formales para la configuración de redes de producción globales.