Method for converting xUML4MC model into MSVL program, and computer program

A conversion method and model technology, applied in the direction of program code conversion, software design, etc., can solve the problems of unintuitive modeling methods, inaccurate UML syntax and semantics, and difficult to master the modeling language.

Active Publication Date: 2018-05-15
XIAN UNIV OF POSTS & TELECOMM
View PDF5 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0009] To sum up, the main problems existing in the existing technology are: using MSVL to model the system to be verified, the modeling language is difficult to master, the modeling method is not intuitive, and it cannot meet the modeling needs of complex systems; the software development in the industry is widely used The visual modeling language UML syntax and semantics are not precise enough for model checking

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
  • Method for converting xUML4MC model into MSVL program, and computer program
  • Method for converting xUML4MC model into MSVL program, and computer program
  • Method for converting xUML4MC model into MSVL program, and computer program

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0081] In order to make the object, technical solution and advantages of the present invention more clear, the present invention will be further described in detail below in conjunction with the examples. It should be understood that the specific embodiments described here are only used to explain the present invention, not to limit the present invention.

[0082] xUML4MC is a visual modeling language. By extending the UML activity diagram, it adds more detailed syntax and semantics to the activity diagram, and has complete symbols, data types, syntax and formal definitions, which can meet the requirements of model checking technology. System modeling requirements.

[0083] The system modeling process in the present invention needs to use the proprietary modeling tool based on xUML4MC language, and this tool operating environment is as follows:

[0084] System: Windows7 and above

[0085] Memory: 2GB

[0086] CPU: Inter Core i3 and above

[0087] Software: JVM, JRE support...

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 belongs to the technical field of computer software and discloses a method for converting an xUML4MC model into an MSVL program, and a computer program. The method for converting the xUML4MC model into the MSVL program comprises the steps of establishing a class diagram model and activity diagram model description system; converting a class diagram and an activity diagram into an object-oriented abstract grammar tree; preprocessing and converting the object-oriented abstract grammar tree into a process-oriented abstract grammar tree; and converting the process-oriented abstract grammar tree into the MSVL program. The method is suitable for model detection system modeling; a UML-based visual modeling mode is intuitive in modeling and easy to master, and is more convenient andaccurate compared with a text language-based modeling mode; and the MSVL program generated by conversion can be directly used for model detection. The unification of software design modeling and modeldetection system modeling is realized; and the popularization of a model detection technology in the industrial circles is facilitated.

Description

technical field [0001] The invention belongs to the technical field of computer software, and in particular relates to a conversion method and a computer program from an xUML4MC model to an MSVL language program. Background technique [0002] Model checking is an important formal verification technique, which exhaustively traverses the state space of the system to detect whether the system to be verified satisfies the desired properties. Since the model detection process can be automatically completed by the computer, and when the nature is not established, it can also provide a counterexample path to facilitate engineering and technical personnel to locate and troubleshoot errors, so it is highly respected in the industry and has been successfully applied to hardware, communication protocols, and traffic control. System verification in many fields. The sequential logic language MSVL is an executable subset of projected sequential logic. It is a sequential logic programming...

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): G06F8/20G06F8/40
CPCG06F8/24G06F8/40
Inventor 舒新峰王曙燕王梦楠
Owner XIAN UNIV OF POSTS & TELECOMM
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