PROCEDURE FOR DEVELOPING AND IMPLEMENTING A MODEL FOR THE FORMAL DESCRIPTION OF A COLLABORATIVE SYSTEM COMPOSED BY MULTIPLE COMPONENTS DISTRIBUTED, ESPECIALLY, FOR A PRODUCTION AUTOMATION SYSTEM AND / OR INTELLIGENT FLEXIBLE PROCESS.

摘要

Procedure to develop and implement a model (ASM) for the formal description of a collaborative system (AS) composed of multiple distributed components (HW1-HWN), in which, through simulation processes, analisable models of the components are generated (HW1-HWN), characterized in that the procedure comprises the following procedural steps: - Generation of models (M1-MN) of collaborative units (CAU1-CAUN), which can be analyzed through simulation procedures, by way of autonomous basic modules, based on the component models, a model (M1-MN) of a collaborative unit (CAU1-CAUN) also includes, in addition to its hardware components (HW1-HWN), its software components (ASE1-ASEN ) as well as its intelligence (I1-IN) in the form of information for its autonomous behavior in relation to cooperation with other models (M1-MN) of collaborative units (CAU1-CAUN), - Facilitation of a catalog (K) of models (M1-MN) of the collaborative units (CAU1, CAUN), likewise, the catalog (K) of the models (M1-MNN) contains results of a formal validation of the structural and / or behavioral specifications of the units collaborative (CAU1-CAUN), - Assignment of a set of rules (R) to the catalog (K) for the specification of interactions between autonomous models (M1-MN) of collaborative units (CAU1-CAUN) as well as for the development of the model (ASM) of the complex collaborative system (AS), - Assembly of the desired model (ASM) using selected models (M1-MN) of the collaborative units as basic models of the catalog (K) and taking into account selected rules (R) , - Automatic adaptation (ASM) through derivation of new rules (R) taking into account valuation parameters for each application case in a single operation.