Network service interbehavior formal modeling and deadlock locating method

A formal modeling and network service technology, applied in the field of formal modeling, can solve the problems of wasting time and money, loss, etc., achieve the effect of improving the success rate, accurate and convenient positioning, and saving time for re-mining related network services

Inactive Publication Date: 2013-07-24
NANJING UNIV OF POSTS & TELECOMM
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The main problem at present is the correct automatic modeling of network service interaction behavior, that is to say, two points are emphasized: one is automatic modeling, so as to reduce the waste of manpower in manual modeling, and reduce the erroneous construction caused by human judgment errors. The second is correct modeling, which is also very important. Wrong modeling not only wastes time and money, but may also cause serious losses

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
  • Network service interbehavior formal modeling and deadlock locating method
  • Network service interbehavior formal modeling and deadlock locating method
  • Network service interbehavior formal modeling and deadlock locating method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0052] The steps included in the implementation method of the HXML tool are:

[0053] Step 1) Read the file input by the user in the format of the xml file, and display it in the format of the original text.

[0054] Step 2) Establish a parser factory, and obtain a specific parser object through this factory, the implementation method is as follows:

[0055] DocumentBuilderFactoryfactory = DocumentBuilderFactory. newInstance();

[0056] Step 3) Use the static method newDocumentBuilder of the factory object obtained in the previous step to obtain a DocumentBuilder object, that is, a specific DOM parser. The implementation method is as follows:

[0057] DocumentBuilderBuilder = factory. newDocumentBuilder();

[0058] Step 4) Use this parser to parse the XML document.

[0059] Step 5) Read the start flag of the whole process , to start modeling the BPEL file. Carry out modeling according to the conversion rules from the corresponding formal modeling language to π-calculus u...

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 a network service interbehavior formal modeling and deadlock locating method which is used for classifying the existing rules, expanding various classifications and building non-existing rules so as to enable a transformational rule database to be adaptable to a quickly developed formal description language. The existing modeling tool needs manual participation and cannot automatically model, a whole modeling process is invisible to users, and the users cannot determine abnormal locations if the process has error. The method comprises steps of utilizing the expanded or built transformational rule database to automatically model the network service interbehavior which is described by the formal description language; selecting typical cases to verify the build model; and proving the model accuracy and the transformational rule accuracy. A forward searching method is adopted to reproduce and locate abnormal links, so that full-automatic modeling, verifying and locating are realized.

Description

technical field [0001] The present invention relates to a formal modeling method, which belongs to the field of data mining and network service analysis, in particular to a modeling and deadlocking method based on π calculus in the process of network service interaction, which mainly solves the problem of network service interaction behavior Formulate the problem. Background technique [0002] A web service is a software system identified by a URL, its interface and binding can be defined and described by XML, and the web service can be discovered. A single web service achieves direct interaction with other web services or other software applications by supporting web-based protocols and using XML-based messages. [0003] Since the 1970s and 1980s, researchers have been studying how to correctly model the system to obtain a good system design. I have done a lot of research on the modeling methods of network service interaction behavior at home and abroad, and found that mo...

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/30G06F9/44
Inventor 张卫丰韩鲁峰王慕妮张迎周周国强周国富许碧欢陆柳敏
Owner NANJING 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