Unlock instant, AI-driven research and patent intelligence for your innovation.

Automatic Petri network generation method for OWL-S complex progress

An OWL-S, automatic generation technology, applied in the field of Web service modeling, can solve the problem of infeasibility of Petri net model, and achieve the effect of efficient model conversion

Active Publication Date: 2014-04-30
HANGZHOU DIANZI UNIV
View PDF0 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Although, when the internal behavior of the OWL-S complex process is relatively simple, the manual method can establish its Petri net model more accurately; however, when the internal behavior of the OWL-S complex process is very complicated, the manual way to establish the OWL-S complex process Petri net model is not feasible

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
  • Automatic Petri network generation method for OWL-S complex progress
  • Automatic Petri network generation method for OWL-S complex progress
  • Automatic Petri network generation method for OWL-S complex progress

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0023] The present invention realizes the transformation from the OWL-S complex process to the Petri net model based on the transformation rule set; the transformation rule set contains 9 transformation rules, and the rules 1 to 3 in the rule set complete the transformation between the OWL-S complex process elements and the Petri net corresponding elements Mapping, rules 4-1 to 4-6 describe the mapping rules of the OWL-S control structure, the specific rules are as follows:

[0024] Rule 1: The input and output of the atomic process that constitutes the OWL-S complex process are mapped to the place (Place) of the Petri net;

[0025] Rule 2: The atomic processes that constitute the complex process of OWL-S are all mapped to the transition of the Petri net (Transaction);

[0026] Rule 3: The input-output ordered relationship of the atomic process that constitutes the OWL-S complex process is mapped to the arc (Acre) of the Petri net;

[0027] Rule 4-1 (Sequence(T 0 ...

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 an automatic Petri network generation method for an OWL-S complex progress. According to the method, the strategy that data flows with input and output as a core serve as a center is adopted, so that input and output relations of all atom progresses are obtained, the data flow relations are converted into place / transition relations in a Petri network, and all internal behaviors in the complex progress are finally obtained. Model conversion can be finished more accurately and efficiently by the adoption of the method, and a mature Petri network analyzing technology can be adopted for analyzing the internal behaviors in the OWL-S complex progress.

Description

technical field [0001] The invention belongs to the field of Web service modeling, and in particular relates to a method for automatically generating Petri nets of OWL-S complex processes. Background technique [0002] Service-Oriented Computing (SOC) has become one of the hottest research topics in the software field. The core concept of SOC is to build a loosely coupled collaborative software system between interactive software components. SOC uses Web service as the basic component, and adopts a series of standardized protocols to interact. When Web service technology was just emerging, it achieved good results by quickly building information systems with relatively simple business processes through the flexible combination of atomic services; however, with the increasing number of complex business processes, more and more feature-rich, Large-grained services with complex internal logic began to appear in Web service composition; large-grained services not only include ...

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 HANGZHOU DIANZI UNIV