Method and system for verifying service orchestration process

A technology for service orchestration and verification methods, applied in the field of workflow middleware technology architecture, which can solve the problems of error-prone, complex orchestration process, and high cost of repairing errors

Inactive Publication Date: 2011-04-13
SHANDONG CVIC SOFTWARE ENG +1
View PDF0 Cites 13 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] After studying the existing web service orchestration modeling process, the inventor found that the current web service orchestration modeling process is not perfect, and its orchestration process is complex and error-prone
If the service process orchestration is found to be wrong after it is put into operation, the cost of fixing the error is high, and the efficiency of business integration is reduced

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 and system for verifying service orchestration process
  • Method and system for verifying service orchestration process
  • Method and system for verifying service orchestration process

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0051] In order to enable those skilled in the art to better understand the scheme of the present application. The following will clearly and completely describe the technical solutions in the embodiments of the application with reference to the drawings in the embodiments of the application. Apparently, the described embodiments are only some of the embodiments of the application, not all of them. Based on the embodiments in this application, all other embodiments obtained by persons of ordinary skill in the art without creative efforts shall fall within the scope of protection of this application.

[0052] First of all, in order to introduce this application more clearly, the Petri net and its related definitions are introduced as follows:

[0053] Petri net is a mathematical representation of discrete parallel systems, suitable for describing asynchronous and concurrent computer system models. Petri nets not only have strict mathematical expressions, but also have intuitiv...

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 method for verifying a service orchestration process. The method comprises the following steps of: modeling a Petri net for a web service-business process execution language (BPEL) service process subjected to service orchestration and converting the service process into a Petri net markup language (PNML) file; analyzing the PNML file and logically verifying the analyzed PNML file; performing simulation test on the logically verified PNML file; and when the test is passed, converting the PNML file into a BPEL service process. The embodiment of the invention provides the method and a system for verifying the service orchestration BPEL process. Before the service orchestration process is formally put into operation, simulation operation is performed on the service orchestration process to realize the verification process of the service orchestration process.

Description

technical field [0001] The present application relates to the technical framework field of workflow middleware, in particular to a method and system for verifying a service orchestration process. Background technique [0002] The current status of IT enterprises is that different types of operating systems, application software, system software, and application infrastructure are intertwined. With the development of Internet technology, the sharing and collaboration between Web services are becoming more and more frequent, but Internet heterogeneous applications bring great difficulties to the integration of Web services. [0003] Under the idea of ​​SOA (Service-Oriented Architecture), Web service orchestration has become the mainstream choice to solve this problem. It reorganizes existing Web services to form new Web services, so that existing Web services have new value-added space. . [0004] However, the inseparable development of Web service orchestration is insepara...

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): G06Q10/00
Inventor 崔新川马亮李敏静
Owner SHANDONG CVIC SOFTWARE ENG
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