| 摘要 |
Procedimiento para desarrollar e implementar un modelo (ASM) para la descripción formal de un sistema colaborativo (AS) compuesto por múltiples componentes distribuidos (HW1- HWN), en el cual, a través de procesos de simulación, se generan modelos analizables de los componentes (HW1-HWN), caracterizado porque el procedimiento comprende los siguientes pasos de procedimiento: - Generación de modelos (M1-MN) de unidades colaborativas (CAU1-CAUN), analizables a través de procedimientos de simulación, a modo de módulos básicos autónomos, en base a los modelos de los componentes, asimismo, un modelo (M1-MN) de una unidad colaborativa (CAU1-CAUN) también comprende, adicionalmente a sus componentes de hardware (HW1-HWN), sus componentes de software (ASE1-ASEN) así como su inteligencia (I1-IN) en forma de informaciones para su comportamiento autónomo en relación con la cooperación con otros modelos (M1-MN) de unidades colaborativas (CAU1-CAUN), - Facilitación de un catálogo (K) de modelos (M1-MN) de las unidades colaborativas (CAU1, CAUN), asimismo, el catálogo (K) de los modelos (M1-MNN) contiene resultados de una validación formal de las especificaciones estructurales y/o de comportamiento de las unidades colaborativas (CAU1-CAUN), - Asignación de un conjunto de reglas (R) al catálogo (K) para la especificación de interacciones entre los modelos autónomos (M1-MN) de las unidades colaborativas (CAU1-CAUN) así como para el desarrollo del modelo (ASM) del sistema complejo colaborativo (AS), - Ensamblado del modelo deseado (ASM) utilizando modelos seleccionados (M1-MN) de las unidades colaborativas como modelos básicos del catálogo (K) y teniendo en cuenta reglas seleccionadas (R), - Adaptación automática (ASM) a través de derivación de nuevas reglas (R) teniendo en cuenta parámetros de valoración para cada caso de aplicación en una sola operación. |
