A method of model transformation from web service composition to colored petri nets

A web service and non-ferrous technology, applied in the direction of program control devices, etc., can solve the problems of deviation of the original web service model, affecting the verification process, and not considering the conversion of non-ferrous Petri models.

Active Publication Date: 2017-05-17
CHINA STANDARD SOFTWARE
View PDF2 Cites 0 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
  • A method of model transformation from web service composition to colored petri nets
  • A method of model transformation from web service composition to colored petri nets
  • A method of model transformation from web service composition to colored petri nets

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

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

[0075] In addition, the steps shown in the flow diagrams of the figures may be performed in a computer system, such as a set of computer-executable instructions, and, although a logical order is shown in the flow diagrams, in some cases, the sequence may be different. The steps shown or described are performed in the order herein.

[0076] figure 1 It is a flowchart of a conversion method from a Web service...

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 invention relates to the fields of semantic web services and Petri Nets (Petri Net, PN), in particular to a model conversion method for combining Web services into Colored Petri 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 individual services into complex composite services. This process requires steps such as Web service discovery, Web service execution, Web service composition and availability verification. [0003] Currently, the service-based ontology description language (Ontology Web Language For Service, OWL-S) proposes the use of ontology to describe a specific service, links the semantics of the service with its implementation, and provides the semantics of composite Web services. The goal is to complete Functions such as automatic service discovery, automatic service composition, and automatic service invoc...

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): 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