CN111796828A - An AML language verification method - Google Patents

Abstract

The present invention provides an AML language verification method, including consistency verification and robustness verification; the consistency verification includes the following steps: Step 1: Generation of AutomationMLEditor, language analysis; Step 2: generation of language, loading of AutomationMLEditor ; Step 3: language generation, language parsing; the robustness check includes the following steps: Step A: parsing according to the data of the wrong sample to verify its robustness; Step B: XML utilizes DTD and XSD to Check robustness.

Description

An AML language verification method

technical field

The invention relates to the technical field of AML language, in particular to an AML language verification method.

Background technique

Automation Markup Language (hereinafter referred to as AML) is an XML-based factory engineering data exchange format that complies with GB/T XXX series standards. The data exchange format (Automation Markup Language, AML) defined in GB/T XXX series standards is A data format based on the Extensible Language (XML) schema that is used to support data exchange between heterogeneous engineering tools.

AML aims to establish linkages between engineering tools in different fields, such as mechanical equipment engineering, electrical design, process engineering, process control engineering, human-machine interface development, PLC programming, and robotics programming.

AML follows an object-oriented approach to storing engineering information and allows the physical and logical components of a factory to be modeled with data objects that encapsulate different aspects. An object can contain other sub-objects, and can also be part of a larger group or aggregate. A typical object in a factory automation project contains topology information, geometric information, motion information, and logic information, and logic information covers sequence, behavior, and control. Therefore, object-oriented data structures, geometric information, motion information and logic information have become an important focus of data exchange in the engineering field.

AML integrates existing industrial data formats used to store and exchange different aspects of engineering information. These data formats are implemented independently in accordance with their respective specifications and are not branches of AML.

The core of AML is the top-level data format CAEX that links various data formats. Therefore, AML has its inherent distributed document structure.

AML integrates existing industrial data formats used to store and exchange engineering signals in different fields, so it has a very wide range of applications under the framework of intelligent manufacturing systems. AML stores engineering information in an object-oriented paradigm and allows modeling of the actual components of a factory, turning them into data objects that encapsulate different aspects.

The AML work is mainly responsible for the WG9: AML (Engineering Data Interaction Format) working group under the IEC/TC65 Industrial Process Measurement, Measurement and Automation Standardization Technical Committee Subcommittee SC65E Equipment and Integration in Enterprise Systems. The data engineering design between tools specifies the engineering data interaction format. At present, SC65E has released a series of standards for AML in IEC 62714, and it is clear that this series of standards will consist of several parts for different aspects of AML:

- Part 1: Architecture and general requirements (IEC 62714-1:2014);

- Part 2: Character library (IEC 62714-2:2015);

- Part 3: Geometric and kinematic information (IEC 62714-3 Ed.1.0);

- Part 4: Logical information.

In the process of industrial automation processing, various parameters in industrial production are used as control purposes to realize various process control of equipment. AML is the information describing engineering elements such as topology, geometry, motion, behavior, and sequence information of equipment. And the carrier of the relationship, through the description language, to determine how the equipment cooperates in the production process, receives and feedback information to achieve the expected processing goals.

Initiated by the German car manufacturer Daimler, it has united industrial companies such as ABB, KUKA, Rockwell Automation, Siemens, as well as some software and service providers to set up the AutomationML (Automation MarkupLanguage) organization, in order to jointly define a digital factory. Format - Automated Markup Language AML, and standardized. The AML standard is a free and open standard primarily used for manufacturing automation, including but not limited to robotics and logistics. The main innovation lies in the integration and application of standards accepted by many important engineering aspects under a single root format (XML format).

In the process of industrial automation processing, various parameters in industrial production are used as control purposes to realize various process control of equipment. AML is the information describing engineering elements such as topology, geometry, motion, behavior, and sequence information of equipment. And the carrier of the relationship, through the description language, to determine how the equipment cooperates in the production process, receives and feedback information to achieve the expected processing goals.

SUMMARY OF THE INVENTION

The invention proposes an AML language performance verification method, which uses language to verify the generation efficiency and parsing efficiency, and compares the differences by increasing the amount of data to understand whether the performance of the AML language itself will bottleneck due to the amount of data.

In the AML language performance verification method proposed by the present invention, three stages of data assembly, transmission and analysis are inevitably involved in the data transmission process. Since the transmission is subject to the control of the protocol and the network, the amount of data in the AML format does not It is not large, so the transmission link can be basically ignored, and the efficiency of generation and analysis is mainly considered.

The AML language performance verification method proposed by the present invention includes the following steps:

Step 1: Verify generation efficiency and parsing efficiency through language;

Step 2: Compare the differences by increasing the amount of data to determine whether the AML language performance is bottlenecked by the amount of data.

Wherein, the verification generation efficiency includes the following steps:

Step A: Enter the size of the AML file you want to generate;

Step B: Read the AML format file;

Step C: Insert node data, construct the data of the input AML file, and record the generation start time;

Step D: Generate standard size AML data, and record the end time of generation;

Step E: Calculate the generation time by the time calculator.

Wherein, the verification parsing efficiency includes the following steps:

Step 1: read described AML file, record reading time simultaneously;

Step II: Parse the content of the AML file, and record the end time at the same time;

Step III: Calculate the parsing time by the time calculator.

In the present invention, the method of increasing the amount of data is as follows: verifying sample data of different sizes, dividing into a plurality of data samples of different sizes for expansion, and verifying in a way of increasing the size of the same difference.

In the present invention, the AML language includes: JAVA, C, and Visual Basic. It is verified by programs written in 3 languages such as JAVA, C, and Visual Basic.

In the present invention, AutomationMLEditor is used to parse AML files of 1 to 10M, which is convenient for viewing the AML files generated by the program intuitively.

In the present invention, the AML language performance verification method uses programs written in three languages to automatically generate files of corresponding sizes according to the rules of the AML format, thereby realizing the automatic generation of AML files of corresponding data sizes according to the AML engineering data format standard. The verification program can automatically calculate the generation and parsing times, and store the results of the parsing times. The performance technical effect of generating and parsing AML files by simulating multiple heterogeneous devices in three languages is realized.

The present invention also proposes an AML language performance verification system, specifically an AML language performance verification system in an industrial simulation environment, the flowchart of which is shown in Figure 1, including:

Engineering information storage center;

The man-machine interface, through the man-machine interface, obtains the status information of all online devices under the network topology, checks the running state of the equipment, and realizes the simulation of the collection of factory equipment information; The historical operation information of the engineering information storage center, so as to track the operation status of a single device;

The control switchboard, the control switchboard controls the scene, is responsible for the terminal to report the data, and sends it to the designated multiple terminals, which can realize the engineering data exchange under the network environment and realize the simulation of the information communication between the factory equipment;

The device, through which the device sends out wrong AML data, the control switchboard can identify the wrong data and feed it back to the man-machine interface.

In the present invention, the device list is coded by C language; the control switchboard is written by JAVA language; the man-machine interface is formed by a PC browser; and the engineering information storage center is formed by a database server.

In the present invention, both the device and the control switchboard are capable of generating and parsing AML data.

In the present invention, the control switchboard is composed of the following modules: a communication module with the man-machine interface, an instruction issuing module, an instruction processing module, an information receiving module, and a communication module with the information storage center.

In the present invention, the information of the client workbench is displayed through a man-machine interface.

At present, in the whole verification system, the client is displayed through the terminal console. If the information of the client's workbench can be displayed through the man-machine interface, the verification effect will be more intuitive.

The AML language performance verification system proposed by the present invention can display and record and collect equipment status information, motion information and fault information in real time. In case of failure or abnormality, the control center can issue an alarm and initiate other control measures. In order to carry out real-time detection, evaluation and comparative analysis of the system operating status; the equipment has realized the communication connection, and the production information and machine status are collected by the information storage center of the production line control core. The establishment of a web monitoring network can easily realize the expansion of external access to convey production control information; the equipment running sequence can be configured on the PC side to realize the scheduled production of the equipment. The dynamic adjustment of the parameters of the production assembly can optimize the production process. The verification device is configurable, and the verification of various processes can be realized through parameter configuration; it has a good performance in production management and process control, and realizes the simulation of the production control process with the minimum cost.

The equipment simulated by C language and the switchboard simulated by JAVA language exchange data through a lower-level tcp method to ensure the stability, reliability and efficiency of data. The system architecture is a DCS distributed control system. The external equipment transmits the equipment status information to the control switchboard and displays it on the man-machine interface through the "heartbeat" method, so that the historical data can be viewed in near real time. The reported data is stored in the engineering data storage center in a heterogeneous manner, and the engineering data storage center can be dynamically expanded according to actual needs.

The present invention also provides an AML language verification method, including consistency verification and robustness verification;

The flow chart of the consistency check is shown in Figure 14, including the following steps:

Step 1: AutomationMLEditor generation, language analysis;

Step 2: Language generation, AutomationMLEditor loading;

Step 3: Language generation, language analysis.

The first step is to manually edit through the AutomationMLEditor tool, generate a standard AML format, and save it as a .aml format file; after reading the .aml format file, parse and construct the response object and relationship information according to the process, so as to achieve something similar to AutomationMLEditor The display effect of the tool is compared with the data structure.

In the second step, refer to the AutomationMLEditor tool to construct an object and relational structure, thereby generating an .aml file and loading it through the AutomationMLEditor tool; if it can be loaded normally, it means that the generated data is available and complete.

In the third step, refer to the AutomationMLEditor tool to build an object and a relational structure, thereby generating an .aml file, and parsed by the Visual Basic program to compare the data structure differences.

The robustness check, the flowchart of which is shown in Figure 15, includes the following steps:

Step A: Analyze the data according to the wrong sample to verify its robustness;

Step B: XML uses DTD and XSD to verify robustness.

The step A includes:

Step A1: Prepare incomplete AML data;

Step A2: tool/parser verification;

Step A3: Throwing an error message.

The step A1 includes:

Step A11: Modify the grammar or label information in the original correct AML data;

Step A12: Delete necessary structures to form incomplete AML data.

The step A11 includes:

a) delete the necessary closing information;

b) The start and end tags are inconsistent;

c) Modify the relationship between equipment and equipment;

d) Make the wrong label and attribute correspondence.

In the step B, the DTD is used to verify whether the document conforms to the specification and whether the use of elements and tags is correct by comparing the XML document and the DTD file.

In the step B, the verification by using XSD includes:

Validate an XML document with a specified XML Schema to check whether the XML document complies with its requirements;

Specify the allowed structure and content of an XML document through XML Schema, and check whether the XML document is valid according to this;

Parse with a generic XML parser.

In the present invention, the AML file generated by the AML language verification method through the AutomationMLEditor tool and the AML file generated and parsed in three languages keep the same structure and logical content. Heterogeneous systems simulated by three languages generate consistent indicators of AML files according to the rules, and also realize the consistency indicators of AML files generated by heterogeneous systems. Realize the correctness specification of generating AML files through DTD, and the effect that generated files that do not follow AML rules cannot be parsed by programs and tools.

In the present invention, the consistency index, generation efficiency and parsing efficiency of the AML file are very important for the AML language.

At present, there is no engineering practice for AML verification in the industry that breaks through the accuracy of AML file parsing between heterogeneous languages, the accuracy of transmission and the security of storage, and breaks through the limitation of a single environment for AML file verification. The present invention uses C language to simulate heterogeneous equipment, and the performance verification of the adaptability of the language through the industrial production control process in the industrial simulation environment.

The beneficial effect of the present invention is that the AML language performance verification method and device proposed by the present invention can improve productivity, quality, precision and efficiency, save energy consumption, raw materials and procedures, and simplify processing, operation, control and use. , the treatment or radical treatment of environmental pollution, and the emergence of useful performance, etc. are reflected (technical indicators).

Information transmission ensures the consistency of information transmitted between devices in the form of tokens. The disaster tolerance of the system is improved by redundant terminals. Simulate a variety of industrial production control scenarios by dynamically configuring external devices, and improve system operation efficiency by executing the scheme in parallel. The parser ensures undistorted file transmission through powerful document pre-parsing control.

Description of drawings

FIG. 1 is a flow chart of the AML language performance verification system of the present invention.

FIG. 2 is the general idea of the verification method according to the present invention.

FIG. 3 is a schematic diagram of a scene design in Embodiment 1. FIG.

FIG. 4 is a schematic diagram of memory storage in Embodiment 1. FIG.

5, 6, 7, 8, 9, 10, 11, 12, and 13 are schematic diagrams of each step in Example 1.

FIG. 14 is a flow chart of the AML language consistency verification according to the present invention.

FIG. 15 is a flow chart of the AML language robustness verification of the present invention.

Figure 16 is a schematic diagram of AutomationMLEditor tool verification.

Figure 17 is a schematic diagram of Visual Basic parser verification.

Figures 18, 19, and 20 are flowcharts of a method for verifying AML language performance.

Figure 21 is a schematic diagram of the topology.

22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, and 33 are schematic diagrams of each step in Example 4.

34 , 35 , 36 , 37 , 38 , 39 , 40 , 41 , 42 , and 43 are schematic diagrams of each step in Example 5. FIG.

Detailed ways

The present invention will be further described in detail with reference to the following specific embodiments and accompanying drawings. Except for the content specifically mentioned below, the process, conditions, experimental methods, etc. for implementing the present invention are all common knowledge and common knowledge in the field, and the present invention is not particularly limited.

The overall steps of the verification method of the present invention are shown in Figure 2:

The canonical AML file is used as a unified data source to generate canonical and standard AML files through the AutomationMLEditor tool, and parse through JAVA, C, Visual Basic and other languages. In the same way, the canonical AML file generated by the language can also be parsed by the AutomationMLEditor tool and other languages.

Bidirectional generation and parsing are performed through the AutomationMLEditor tool and languages such as JAVA, C, Visual Basic, etc., so as to eliminate language influence and test the performance of AML language.

1. Through the AutomationMLEditor tool, generate data in AML format and parse it in JAVA, C, Visual Basic and other languages;

2. Through JAVA, C, Visual Basic language, the data in AML format is generated and analyzed by AutomationMLEditor tools.

Consistency and integrity of information must be maintained when receiving and feeding back information.

As shown in FIG. 3 , the verification process of this embodiment is a scenario design. The designed scenario is a process in which a user generates a standard AML file and parses an AML data source through a generator and a parser. The process is a cyclic and closed-loop process, and AML data can be generated and parsed by any generator to ensure that data is not lost.

1. Standard AML data source: It is a series of data collections, including entity attributes, relationships, etc., which are not converted into standard AML format and stored in memory, as shown in Figure 4.

After the relationship between objects is logically defined, it is converted into a specific AML format through a specific language and generator.

2. Read the data source: After the generator obtains the logical definitions of objects and relationships, it uses language development and artificial drawing to complete the information correspondence between data sources and physical results.

3. Constructing AML data: The read data source is constructed through the generation rules of AML, and the data source is analyzed and combined to form data in AML format and stored in the memory.

4. Generate an AML file: output the constructed AML data to generate a file in .aml format of the entity.

5. Read the AML file: The parser reads and recognizes the .aml file, and judges whether the file is legal or not.

6. Parse the AML file: After reading the AML file, the data stream is read into the memory through the file reading function, and the sorting and combination of the memory is controlled by language, and the data is extracted according to the rules of AML and combined into a new data structure.

7. Constructing data: After the data is parsed, it will be constructed into a special data structure and stored in memory according to the characteristics of the language, and a standard AML data source will be formed for regenerating data in AML format.

The consistency verification method in this embodiment is as follows:

1. AutomationMLEditor generation, language analysis

Based on the above scenario, this embodiment verifies that the automationMLEditor tool and three languages, JAVA, C, and VisualBasic are used to simulate the scenario in which the control process of the automobile assembly line equipment is controlled by the AML language. These three languages are used in the instruction transmission and control of small devices There are mature applications. First, perform manual editing through the AutomationMLEditor tool to generate a standard AML format and save it as a file in .aml format, as shown in Figure 5.

The generated data is in text format, which can be opened and viewed with a text editor, as shown in Figure 6.

Taking the Visual Basic program as an example, after reading the .aml file, the file can be parsed according to the process and the corresponding object and relationship information can be constructed to achieve a display effect similar to the AutomationMLEditor tool, as shown in Figure 7.

Figure 8 is a comparison effect diagram, the data structure can basically be completely restored.

2. Language generation, AutomationMLEditor loading

Taking the Visual Basic program as an example, refer to the AutomationMLEditor tool to build the object and relational structure, thereby generating the .aml file and loading it through the AutomationMLEditor tool. As shown in Figure 9.

The .aml file generated according to the data format, as shown in Figure 10:

Load the generated AML data in the AutomationMLEditor tool. If it can be loaded normally, the generated data is available and complete. As shown in Figure 11.

3. Language generation, language analysis

Take the Visual Basic program as an example, refer to the AutomationMLEditor tool to build the object and relational structure to generate the .aml file, and analyze the difference through the Visual Basic program. Figure 9.

The .aml file generated according to the data format is shown in Figure 10.

The result after self-generating and parsing using Visual Basic is shown in Figure 12.

As shown in Figure 13, it can be seen from the comparison.

Through the above verification, we can know that whether the AML language is generated and parsed by the AutomationMLEditor tool or the JAVA, C, Visual Basic language, through the above three methods of generation and parsing, we can know that the .aml file generated in accordance with the AML language can be is parsed without language restrictions, ensuring consistency between generation and parsing.

The robustness check in this embodiment, the robustness is also called fault tolerance, is used to test whether the system can automatically recover or continue to operate regardless of the fault when a fault occurs.

AML is an extension based on XML. The grammar rules of XML require comparison of structure. Strict grammar and structure are a mechanism to ensure robustness. An XML interpreter is an application that parses and detects errors in XML documents.

Since AML is a descriptive language and cannot be executed by itself, the robustness test for AML mainly uses AML error sample parsing to verify its robustness.

The robustness verification for AML inherits the robustness of XML, so it can be processed by using the general verification method of XML. The parsing of XML in the existing languages has very strict verification, such as JAVA, C, Visual Basic, etc. all provide corresponding parsers.

For the verification in this embodiment, three languages are selected for verification, namely JAVA, C, and Visual Basic, and the verification mode of XML itself is also adopted.

The robustness check verification method in this embodiment:

1. AutomationMLEditor tool and JAVA, C, Visual Basic three languages, through the provided XML parsing tool, parse according to the data of the wrong sample to verify its robustness.

1: Modify the syntax or label information in the original correct AML data.

e) Delete the necessary closing information.

f) The start and end tags are inconsistent.

g) Modify the device-to-device relationship, such as subordinate or parent-child relationship inversion.

h) Formulate the corresponding relationship between wrong labels and attributes, such as adding the attribute information of the action execution in the description of the device.

2: Remove necessary structures to form incomplete AML data

For example, in the generated .aml script, replace the InstanceHierarchy tag with InstanceHierarchy_TMP, and the effect of parsing through tools and languages is as follows:

1. AutomationMLEditor tool verification

The AutomationMLEditor tool fails to load data that has been modified into incorrect labels, as shown in Figure 16.

2. Visual Basic parser verification

The Visual Basic parser could not load the data that was modified into the wrong label, as shown in Figure 17.

Second, XML uses DTD and XSD to verify its robustness.

1: The validation mode of the XML file ensures the correctness of the XML file, and there are two commonly used validation modes: DTD and XSD.

a) Use DTD for verification

DTD (Document Type Definition) is a document type definition, which is an XML constraint schema language, a verification mechanism for XML files, and a part of XML files. DTD is an effective method to ensure the correct format of XML documents. You can compare the XML documents and DTD files to see whether the documents conform to the specification and whether the elements and tags are used correctly.

b) Use XSD for verification

XML Schema language is XSD (XML Schemas Definition). XML Schema describes the structure of an XML document. An XML document can be validated against a specified XML Schema to check whether the XML document conforms to its requirements. Document designers can specify the allowed structure and content of an XML document through XML Schema, and can check whether an XML document is valid according to this. XML Schema itself is an XML document, which conforms to the XML syntax structure. It can be parsed with a generic XML parser.

In the AML specification, you can see that the imported XSD is CAEX_ClassModel_V2.15.xsd, and the validity and integrity of the document can be verified through CAEX_ClassModel_V2.15.xsd.

The data transmission process inevitably involves three stages of data assembly, transmission, and analysis. Since the transmission is subject to the control of the protocol and the network, and the amount of data in the AML format is not large, the transmission link can basically be ignored. Consider the efficiency of generation and parsing.

Use the language to verify the efficiency of generation and parsing, and compare the differences by increasing the amount of data to understand whether the performance of the AML language itself will bottleneck due to the amount of data.

The flow chart of the AML language performance verification method is shown in Figure 18-20.

(1) Generation time span: the time consumption from the start of generation to the formation of the .aml file;

(2) Parsing time span: the time consumption from reading the .aml file to displaying the data.

Table 1: Tools, Development Language and Scenario Selection

serial number language or tool name development content Remark 1 AutomationMLEditor Generate and parse large files See how long it takes to load. 2 JAVA Generating and parsing programs Record generation and parsing time consumption. 3 C Generating and parsing programs Record generation and parsing time consumption. 4 Visual Basic Generating and parsing programs Record generation and parsing time consumption.

The sample data in this embodiment needs to provide different sizes for verification, and is divided into 10 different sizes for expansion. The initial value is 1M, the second time is 10M, and 10M is added each time for verification.

The AML language performance verification scheme and effect in this embodiment are as follows:

Table 2: C Language

Table 3: VB language

Table 4: JAVA language

This embodiment proposes a method for verifying an engineering data exchange format for industrial automation system engineering, and performs communication simulation of AML data according to the actual application scenario of an automobile assembly production line.

In the process of automatic factory equipment operation, various equipments need to cooperate with each other through the enterprise's communication network. In this process, data generation, transmission, processing, storage, display, etc. will be involved.

This embodiment simulates building a device structure according to a common network topology structure of factory automation equipment, and simulates an actual usage scenario in industrial automation production through data transmission between devices.

The central control system consists of equipment list coded in C language, control switchboard written in JAVA language, PC browser constitutes man-machine interface, database server constitutes engineering information storage center and so on. The equipment and the control switchboard are all capable of generating and parsing AML data. The topology is shown in Figure 21.

The AML language performance verification system in the industrial simulation environment in this embodiment includes: an engineering information storage center; a human-machine interface; a control switchboard; and equipment. The verification steps of the verification device are as follows:

The following scenarios are tested under the device network structure:

(1) The device reads all device status information and displays it to the terminal page

Through the PC terminal man-machine interface, we can obtain the status information of all online devices under the network topology, and check the running status of the devices. So as to realize the simulation of factory equipment information collection.

After starting the server, enter: http://127.0.0.1:8080/aml/home in the browser to enter the man-machine interface, as shown in Figure 22.

Start each client, as shown in Figure 23. After the terminal is started, the man-machine control interface is displayed, as shown in Figure 24.

(2) Two-way communication between the device and the switchboard

The console simulates the switchboard control scenario, and is responsible for the terminal reporting data and sending it to multiple designated terminals. It can realize the exchange of engineering data under the network environment and realize the simulation of information communication between factory equipment.

Select the terminal and click "Send file to device" to send data to the terminal, as shown in Figure 25.

After the terminal receives the request, it starts the parser parsing and displays the parsing result, as shown in Figure 26.

The C parser parses the file, as shown in Figure 27.

(3) The historical action information of all devices can be viewed through the man-machine interface

Through the human-machine interface, you can view the historical operation information of all equipment stored in the server, so as to track the operation status of a single equipment.

The terminal reports the correct aml, as shown in Figure 28.

The terminal reports the wrong aml file, as shown in Figure 29.

View the data reported by the terminal on the console, as shown in Figure 30.

(4) The device generates wrong AML data, and the host can identify it and issue an error warning on the man-machine interface. Through the device 1 sending wrong AML data, the host can identify the wrong data and feed it back to the man-machine interface.

check:

× indicates that the wrong aml file is uploaded, and √ indicates that the correct aml file can be parsed normally, as shown in Figure 31.

Click View to let the java parser parse the wrong file, indicating that the parsing failed, as shown in Figure 32.

Check the correct aml and parse the interface, as shown in Figure 33.

Validation of Production Control Process of Automobile Assembly Line

In the process of industrial automation production, various parameters in industrial production are used as control purposes to realize various process control of equipment. AML is the information describing engineering elements such as topology, geometry, motion, behavior and sequence information of equipment. And the carrier of the relationship, through the description language, to determine how the equipment cooperates in the production process, receives and feedback information to achieve the expected processing goals.

JAVA, C two languages have mature applications in the command transmission and control of the device. This embodiment verifies the control scenario in which the AML language is used to simulate the control process of the automobile assembly line equipment.

Modeling according to the production process control process is shown in Figure 21. Among them: equipment 1 represents the conveyor belt, equipment 2 represents the steering equipment, and equipment 3 represents the assembly equipment.

The simulation verification steps are as follows:

(1) Send the AML file to the device 1 through the man-machine interface and the control switchboard to start the device 1 to work, simulating the start-up transmission of the conveyor belt.

Through the man-machine interface, select the terminal equipment (steering equipment, assembly equipment), then select the production equipment, simulate the conveyor belt, and click "send production request to equipment" to send, as shown in Figure 34.

(2) After device 1 receives the console command, it triggers the conveyor belt to work, and after a period of time, sends the AML file to device 2, and device 2 performs language parsing after receiving the information to simulate the steering of the car body. Further, the AML file is issued to the device 3 .

The terminal whose IP is: 192.168.8.78 (device 1) simulates a conveyor belt, and after receiving the request, triggers production, and sends a request to the "steering device" of 192.168.8.59 (device 2) after completion, as shown in Figure 35.

(3) The device 3 receives and parses the AML file to simulate the assembly process of the car wheel, and pushes the assembled AML data to the console after the assembly is completed.

(Equipment 2) After receiving the request, start the assembly. After assembly, send a request to the assembly device at 192.168.8.77 (Equipment 3), as shown in Figure 36.

(4) After receiving the data synthesized by the terminal of the device 3, the console can display the assembled AML information on the man-machine interface to display the generated product information.

(Device 3) After receiving the request, execute the synthesized data, and send it to the console after the synthesis is completed, as shown in Figure 37.

(5) The above process can be carried out step by step by setting the number of wheels assembled in a single assembly process on the man-machine interface to verify the adaptability of the system and the AML language.

View the results, as shown in Figures 38 and 39.

The aml file used in this test has only one node in the InternalElement device list before delivery, as shown in Figure 40; after the assembly is completed, there are 4 more nodes, as expected, as shown in Figure 41.

Assembly and synthesis: Combine the data reported by the terminal into a file, and then send it to the java parser for parsing, as shown in Figure 42.

can be parsed correctly, as shown in Figure 43.

The above steps can be used to simulate the synthesis and transmission of AML data in the process of transportation, steering, and assembly in automobile assembly production control. Its design idea can be extended to other occasions of industrial field control.

Embodiments 4 and 5 of the present invention all adopt computer control, network and information processing technologies, and have certain representation in the process of industrial production control. Through JAVA language and C language simulation to form terminal equipment to test the performance of AML language in the simulated industrial production environment, such as data generation, storage, transmission, composite display and other performance.

The scheme involves the collection and processing of equipment status information, process information, and action information, and determines how equipment cooperates with information in the production process to achieve the expected processing goals. Therefore, AML is used as an information carrier to realize the production information in the process of industrial production control. The transfer experiment of AML can simulate the real production process to a higher degree, and the verification scheme of the present invention has practical significance, and can preliminarily verify the performance of AML in actual industrial production.

Table 5: Analysis of Results

The protection content of the present invention is not limited to the above embodiments. Variations and advantages that can occur to those skilled in the art without departing from the spirit and scope of the inventive concept are included in the present invention, and the appended claims are the scope of protection.

Claims (9)

1. An AML language checking method is characterized by comprising consistency checking and robustness checking;

the consistency check comprises the following steps:

the method comprises the following steps: generating AutomationMLeditor and analyzing language;

step two: language generation, namely, loading an AutomationMLeditor;

step three: generating a language and analyzing the language;

the robustness check comprises the following steps:

step A: parsing under data in error samples to verify robustness;

and B: XML utilizes DTD and XSD to check robustness.

2. The AML language verification method of claim 1, wherein said first step comprises manual editing by an automaton mleditor tool to generate standard AML format and saving as a. AML format file; after the aml format file is read, analyzing according to the flow and constructing the object and relationship information of the response, and realizing the comparison of the data structure by the display effect similar to the AutomationMLeditor tool.

3. The AML language verification method as defined in claim 1, wherein in said second step, objects and relationship structures are constructed by referring to an automaton mleditor tool, thereby generating a. AML file, and loaded by the automaton mleditor tool; if the loading can be normally carried out, the generated data is available and complete.

4. The AML language verification method of claim 1, wherein in step three, objects and relational structures are constructed by reference to an automaton mleditor tool to generate a. AML file, which is then parsed by Visual Basic program against data structure differences.

5. The AML language verification method of claim 1, wherein said step a comprises:

step A1: preparing incomplete AML data;

step A2: tool/parser verification;

step A3: and throwing out error information.

6. The AML language verification method of claim 2, wherein said step a1 comprises:

step A11: modifying grammar or tag information in the original correct AML data;

step A12: the necessary structures are deleted to form incomplete AML data.

7. The AML language verification method of claim 3, wherein said step a11 comprises:

a) deleting necessary closing information;

b) the start and end tags are not consistent;

c) modifying the relationship of the device to the device;

d) and formulating the corresponding relation between the wrong label and the attribute.

8. The AML language checking method as defined in claim 1, wherein said checking using DTD in step B is performed to see if the document is in compliance with the specification, element and tag usage are correct by comparing the XML document with the DTD file.

9. The AML language checking method of claim 1, wherein said checking in step B using XSD comprises:

validating the XML document with a specified XML Schema to check whether the XML document meets its requirements;

appointing a structure and content allowed by the XML document through the XML Schema, and checking whether the XML document is valid according to the structure and content;

and resolving by using a general XML parser.

Images