Implementation method of formal semantic integration framework for model transformation of numerical control system

A technology of numerical control system and model conversion, which is applied in the fields of electrical digital data processing, special data processing applications, instruments, etc.

Inactive Publication Date: 2012-10-10
SOUTH CHINA UNIV OF TECH
View PDF1 Cites 10 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] In order to overcome problems such as ambiguity in system semantics and failure to guarantee correctness and safety caused by informal representation of models in the development of numerical control system, the present invention provides Realization Method of Formalized Semantic Integration Framework for Model Transformation of CNC System

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Implementation method of formal semantic integration framework for model transformation of numerical control system

Examples

Experimental program
Comparison scheme
Effect test

example

[0031] Example: Taking the construction of the semantic module composed of time automaton and time multi-task MOC of the numerical control system as an example, the implementation process of the formal semantic integration framework of the numerical control system is illustrated.

[0032] 1) Two MOCs, timed automata and timed multitasking, are used to describe the time-related state transition of the system and the execution behavior of real-time tasks. CNC system is a typical real-time multi-task system, so this semantic module is suitable for describing the task implementation behavior of CNC system, so as to pass the real-time verification and ensure the real-time performance of CNC system. Timed automata are used to represent time-constrained state transitions in real-time systems by using a finite number of truth-valued clock variables to represent time-constrained state transition graphs. Time multitasking describes the time multitasking semantic behavior of the CNC syst...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention provides an implementation method of a formal semantic integration framework for model transformation of a numerical control system. According to the method, the formal semantic integration framework of the numerical control system is built, a field application model obtained by instantiation of a field meta-model can be transformed into a formal application model automatically through the integration framework, then the formal application model can be imported into a third party simulation verification tool for formal verification through a tool interpreter, or the formal application model can generate executable codes for a specific target platform through a code automatic generation interpreter. The method provides a strictly-defined formal specification for numerical control system development in order to accurately describe corresponding operational semantics of the system, so that precision verification can be performed on a numerical control system model through a computer tool, and system performances, such as reliability, security, etc., are greatly improved.

Description

technical field [0001] The invention relates to the field of computer numerical control, in particular to a formalized semantic integration method for model transformation oriented to numerical control system development. Background technique [0002] Modern high-performance CNC systems are developing toward high-speed, high-precision, intelligent, multi-functional, multi-tasking and open architecture trends. Coupled with the inherent strong real-time characteristics of CNC systems, traditional design methods cannot meet the performance requirements of CNC systems. . Domain-oriented modeling is directly related to domain logic. Its model constitutes a thinking habit that conforms to domain logic, facilitates the communication between domain experts and software developers, and has the characteristics of intuition, domain specificity, and platform independence. The system development method based on the domain model can improve the development efficiency of the system and re...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/50
Inventor 李迪李方
Owner SOUTH CHINA UNIV OF TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap