Model transformation method from Web service combination to colored Petri network

A web service and colored technology, applied in the direction of program control devices, etc., can solve the problems that affect the verification process, the deviation of the original web service model, and the transformation of the colored Petri model is not considered.

Active Publication Date: 2014-07-02
CHINA STANDARD SOFTWARE
View PDF2 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] A comprehensive analysis of the conversion models established by domestic and foreign researchers found that although these theories and tools have proved the feasibility of modeling service composition through the colored Petri net model, they did not take into account the transformation of parameters and expressions into the colored Petri model ; More importantly, the model generated by the existing theory is actually a colored Petri net model that cannot be simulated, which deviates from the original Web service model, so that the existing theory and tools of the colored Petri net cannot be used, which affects the verification process

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
  • Model transformation method from Web service combination to colored Petri network
  • Model transformation method from Web service combination to colored Petri network
  • Model transformation method from Web service combination to colored Petri network

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0074] The implementation of the present invention will be described in detail below with reference to the accompanying drawings and embodiments, so as to fully understand how the present invention applies technical means to solve technical problems and achieve the realization process of technical effects and implement them accordingly. It should be noted that, as long as there is no conflict, each embodiment of the present invention and each feature in each embodiment can be combined with each other, and the technical solutions formed are all within the protection scope of the present invention.

[0075] In addition, the steps shown in the flowcharts of the drawings can be executed in a computer system such as a set of computer-executable instructions, and although the logical sequence is shown in the flowcharts, in some cases, they can be different Perform the steps shown or described in the order here.

[0076] figure 1 It is a flowchart of a method for transforming a Web servic...

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 model transformation method from Web service combination to a colored Petri network. The model transformation method comprises the steps of carrying out formalized definition on obtained Web service combination and a colored Petri network described by the OWL-S language, carrying out modeling on the Web service combination after formalized definition based on the colored Petri network, and carrying out structure transformation and data flow transformation to on the Web service combination after modeling to obtain a corresponding colored Petri network model. The transformation method comprises the steps of transformation of control structure binding and parameter binding, and the parameter binding is mainly the transformation from parameter types based on a resource description framework mode to a color token in a CPN model. Compared with an original formalized transformation method, consistency of the colored Petri model and the original Web service combination is paid more attention to, the structural transformation mode is supported, and parameter type check and expression mapping functions are supported.

Description

Technical field [0001] The present invention relates to the fields of semantic web services and Petri Nets (Petri Net, PN), and in particular to a model conversion method for combining web services to colored Pepri Nets (Colored Petri Net, CPN). Background technique [0002] Service composition is an important part of the Semantic Web, and its function is to orchestrate simple, distributed single services into complex composite services. This process requires steps such as Web service discovery, Web service execution, Web service composition, and availability verification. [0003] At present, the service-based Ontology Web Language For Service (OWL-S) proposes the use of ontology to describe specific services, links the semantics of the services with the realization, and provides the semantics of composite Web services. The goal is to complete Functions such as automatic service discovery, automatic service combination, and automatic service invocation. [0004] However, the expre...

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): G06F9/44
Inventor 田媛媛李俊丽王峻青尹殷宋潇豫张永军
Owner CHINA STANDARD SOFTWARE
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