Extension UML-based Web application formalization modeling and verification method

A formal modeling and verification method technology, applied in the field of formalization of software requirements analysis, can solve the problems of lack of web application-related protocols, lack of modeling and proposed system framework, complex protocol conversion process, etc., to ensure consistency , rapid model refinement, and efficient defect detection

Inactive Publication Date: 2018-11-16
TIANJIN UNIV
View PDF2 Cites 15 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] However, the present invention aims at the above-mentioned status quo, finds through research and analysis that although combining UML and formalized methods can reduce modeling difficulty and provide formalized semantics and verification for the system, there are still many deficiencies in the existing methods: 1 ) lacks the characteristics of web application-related protocol

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
  • Extension UML-based Web application formalization modeling and verification method
  • Extension UML-based Web application formalization modeling and verification method
  • Extension UML-based Web application formalization modeling and verification method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0027] The specific implementation manners of the present invention will be further described in detail below in conjunction with the accompanying drawings.

[0028] Such as figure 2 As shown, the Web application formal modeling and verification method based on extended UML of the present invention comprises the following processes:

[0029] Step 1. Extract the functional requirements of the software system to be designed, conduct requirements analysis,

[0030] Step 2, UML modeling, describe the requirements through natural language (such as natural language such as requirements specification) to achieve modeling; or, extract the unique features of the Web application to realize the modeling of the software system, wherein: the example diagram Modeling represents the corresponding behavior of the key roles in the software system, while the modeling of the class diagram represents each major function in the software system and the relationship between classes in the system; ...

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 discloses an extension UML-based Web application formalization modeling and verification method, which comprises the following steps: step (1), extracting functional demands of a software system to be designed, and performing demand analysis, step (2), performing UML modeling; step (3), using XML to represent the aforementioned UML2.3 model; step (4), generating formalization description; step (5), performing security attribute verification. The invention provides a feasible method for automatic conversion from the UML2.3 model to the formalization language to expand class diagram, sequence diagram and state diagram in the UML2.3 to implement protocol verification in Web application and implement automatic conversion from the UML model to pi calculation formalization language, and greatly reduces the difficulty of carrying out formalization modelling on the protocol directly; the formalization modeling verification tool is used, and the formalization verification model isrefined; the loophole of the formalization model is detected through display of the verification result and analysis of the attack path, which facilitates quick refining of the model and efficient defect detection.

Description

technical field [0001] This patent relates to the technical field of formalized software requirements analysis, in particular to a formalized modeling and verification method for Web applications combined with the field of formalized analysis and verification of security attributes. Background technique [0002] As the scale of software engineering continues to expand, the complexity of software continues to increase, and software systems are more prone to errors and omissions. In addition, the further the delay in fixing system vulnerabilities throughout the software lifecycle, the more expensive it will be. Therefore, in the early design and modeling stages of software systems, it is of great significance to improve software quality by combining software development methods and formal methods for vulnerability analysis and defect detection to ensure system reliability. [0003] At present, the modeling of formal methods is mainly realized through the analysis of software ...

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
IPC IPC(8): G06F21/57
CPCG06F21/577G06F2221/033
Inventor 杨星星李晓红侯庆志
Owner TIANJIN UNIV
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