A method for automatically generating petri nets for owl-s complex processes
An OWL-S, automatic generation technology, applied in the field of Web service modeling, can solve the problem that the Petri net model is not feasible, and achieve the effect of efficient model conversion
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
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 complex process of OWL-S are mapped to the place (Place) of the Petri net;
[0025] Rule 2: The atomic processes constituting the complex process of OWL-S are all mapped to Petri net transitions (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 , T 1 ) ...
PUM
Login to View More Abstract
Description
Claims
Application Information
Login to View More 