JAVA code generation tool based on EPF

A code generation and tool technology, applied in the field of software development, can solve the problems of lack of formal semantics of models, inability to meet the needs of software design and development, and inability to verify models, achieve concise and easy-to-understand modeling tools, facilitate formal verification, reduce The effect of workload

Pending Publication Date: 2022-07-22
DALIAN UNIV OF TECH
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

With the increasing scale of software and the increasing complexity of models, this semi-formal model can no longer meet the needs of software design and development.
This is because although UML can be directly used for software development, the model lacks strict formal semantics and cannot be directly verified by the model.

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
  • JAVA code generation tool based on EPF
  • JAVA code generation tool based on EPF
  • JAVA code generation tool based on EPF

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0059] The specific embodiments of the present invention are further described below in conjunction with the technical solutions.

[0060] EPF is a formal modeling tool, the front end is a table or XML file, and the back end has a strict formal definition. In EPF, rows represent states that exist in the software; columns represent events that will occur in the software. The row-column cross unit represents the processing that the software needs to perform when a certain event occurs in a certain state. The processing consists of two parts: one is the normal transaction processing; the other is the transfer of the software state.

[0061] The formal definition of EPF can be defined in the form of a quadruple. The definition is as in Definition 1.

[0062] EPF=(State,Event,Cell,ConcurrentFlag)(1)

[0063] in:

[0064] 1. State=(SubStateList, ActiveAction, inActiveAction, PreAction, PostAction) is a collection of system states. Among them, SubStateList represent...

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 field of software development, and discloses a JAVA code generation tool based on EPF. The JAVA code generation tool is based on an event processing table, supports concurrent modeling, supports generation of concurrent codes, and comprises a formalized modeling tool EPF and an algorithm for automatically generating JAVA codes; according to the method, a simple and understandable modeling tool is provided while the formalized semantics of the software are reserved; concurrent modeling is supported, and a multi-thread JAVA code is generated; software design defects can be explicitly represented; formalized verification can be conveniently carried out; a plurality of logic judgment units are included so as to adapt to complex design requirements; code quality can be improved by automatically generating codes, and workload of workers is reduced; and the model and the code are decoupled, so that the cost of software iteration is reduced.

Description

technical field [0001] The invention belongs to the field of software development, and relates to a JAVA code generation tool based on an event processing form (Event Processing Form, EPF). Background technique [0002] Traditional software development work usually uses a document-driven development model, which relies on the Unified Modeling Language (UML) model and its extended models. With the increasing scale of software and the increasing complexity of models, this semi-formal model has been unable to meet the needs of software design and development. This is because although UML can be used directly for software development, the model lacks strict formal semantics and cannot be directly validated for the model. [0003] Model-driven software development mode is an effective means to solve large-scale software development problems. Model-driven patterns are usually modeled using formal models such as Automata, Petri Nets, etc. They have strict mathematical specificat...

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/30G06F8/35
CPCG06F8/315G06F8/35
Inventor 周宽久王梓仲李一聪徐琳
Owner DALIAN 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