Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Validity Judgment Method of Service Composition Instance Migration Based on Dynamic Dependency Graph

A technology of dynamic dependency graph and service composition, applied in data processing applications, computing, resources, etc., can solve the problem of not considering data irrelevance

Active Publication Date: 2016-08-17
NANJING UNIV OF SCI & TECH
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Although this method has made some relaxations to the original "trajectory reconstruction" technique, it does not consider the data irrelevance between activities, so the method is still relatively conservative

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
  • Validity Judgment Method of Service Composition Instance Migration Based on Dynamic Dependency Graph
  • Validity Judgment Method of Service Composition Instance Migration Based on Dynamic Dependency Graph
  • Validity Judgment Method of Service Composition Instance Migration Based on Dynamic Dependency Graph

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0050] Such as figure 1 , figure 2 As shown, according to a preferred embodiment of the present invention, the service composition instance migration validity judgment method based on the dynamic dependency graph takes the service composition before and after evolution, and the executed path (i.e., the executed activity sequence) of the instance to be migrated as input , taking the migration validity judgment result of the instance to be migrated as the output, such as figure 2 As shown, its specific implementation includes the following steps:

[0051] Step 1. Analyze the dependencies between activities in the executed path of the instance to be migrated, automatically generate the dynamic dependency graph of the executed path, that is, the dynamic dependency graph of the instance to be migrated, and obtain all reachable A collection of reaching definitions of variables;

[0052] Step 2. Reduce the dynamic dependency graph: through the method of backward dynamic slicing,...

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 present invention provides a method for judging the validity of service composition instance migration based on the dynamic dependency graph of the executed path, which takes the service composition before and after evolution and the executed path of the instance to be migrated as input, and takes the migration validity judging result as output. Including: analyzing the dependencies between activities in the executed path of the instance to be migrated, generating the dynamic dependency graph of the executed path, and obtaining the set of all reachable variable definitions at the end of the executed path; through the backward dynamic slicing method, approximately Simplify the dynamic dependency graph; obtain the control flow graph of the evolved service composition; based on the control flow graph of the evolved service composition and the reduced dynamic dependency graph, determine whether there is a topological sort that is an activity sequence of the evolved service composition, if If it exists, the validity of migration is satisfied, otherwise it is not satisfied. The method of the invention can avoid false negatives that may be produced by traditional methods, and better support dynamic evolution of service combinations.

Description

technical field [0001] The present invention relates to the technical field of service computing, in particular to the determination of the validity of service composition instance migration, in particular to a method for determining the validity of service composition instance migration based on the dynamic dependency graph of the executed path, which is suitable for determining the service composition before evolution Whether the instances generated under the composition process definition and not finished can be safely and effectively migrated to the specific state definition of the evolved service composition process to continue execution. Background technique [0002] With the development of distributed object technology and XML technology, Web service technology appears and becomes mature. Web service is an effective mechanism for data and information integration on the Web. By adopting XML-based standards and protocols such as WSDL, UDDI, and SOAP, problems such as co...

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 Patents(China)
IPC IPC(8): G06Q10/06
Inventor 宋巍陈先博张功萱
Owner NANJING UNIV OF SCI & TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products