XML Editor
Sign up for a WebBoard account Sign Up Keyword Search Search More Options... Options
search
Chat Rooms Chat Help Help News News Log in to WebBoard Log in Not Logged in
Home » Boards » Stylus Studio Developer Network » XSLT Help and Discussion » Petri net to BPEL model transformation > How to find patterns?
Show tree view Topic
Topic Page 1 2 3 4 5 6 7 8 9 Go to previous topicPrev TopicGo to next topicNext Topic
Postnext
Sagi -Subject: Petri net to BPEL model transformation > How to find patterns?
Author: Sagi -
Date: 04 Sep 2006 01:58 AM
Hello

How can I find/describe patterns in a Petri net graph with XSLT?

For instance a sequence, a concurrency, AND-split, AND-join, OR-split,
OR-join or a while loop.

Below you see a Petri net model (source model) which I would like to
transform into a BPEL model (target model).

Can you tell me what the corresponding XSLT code would look like?

My problem is to find patterns in a graph representation (Petri net)
and to transform them into a tree representation (BPEL). I think I will need to find the patterns recursively. It might be that such a transformation is not possible with the Petri net example given below. Or perhaps the Petri net XML would need further information (for example an attribute attached to a transition saying "this is the start of an AND-split").

I am grateful for any hints. If you need any further information to
solve the problem, please let me know.


Regards
Sagi


--------------------
source model
--------------------
<?xml version="1.0"?>
<petrinet>


<!-- start of Petri net -->
<place id="1"></place>
<transition id="2"></transition>


<!-- upper flow of concurrency -->
<place id="10"></place>
<transition id="11"></transition>
<place id="12"></place>
<transition id="13"></transition>
<place id="14"></place>


<!-- lower flow of concurrency -->
<place id="20"></place>
<transition id="21"></transition>
<place id="22"></place>


<!-- end of Petri net -->
<transition id="3"></transition>
<place id="4"></place>


<!-- arcs connecting places and transitions -->
<arc>
<from>1</from>
<to>2</to>
</arc>
<!-- next 2 arcs define an AND-split -->
<arc>
<from>2</from>
<to>10</to>
</arc>
<arc>
<from>2</from>
<to>20</to>
</arc>
<!-- upper flow of concurrency -->
<arc>
<from>10</from>
<to>11</to>
</arc>
<arc>
<from>11</from>
<to>12</to>
</arc>
<arc>
<from>12</from>
<to>13</to>
</arc>
<arc>
<from>13</from>
<to>14</to>
</arc>
<!-- lower flow of concurrency -->
<arc>
<from>20</from>
<to>21</to>
</arc>
<arc>
<from>21</from>
<to>22</to>
</arc>


<!-- next 2 arcs define an AND-join -->
<arc>
<from>14</from>
<to>3</to>
</arc>
<arc>
<from>22</from>
<to>3</to>
</arc>
<arc>
<from>3</from>
<to>4</to>
</arc>
</petrinet>




--------------------
target model
--------------------
<?xml version="1.0"?>


<process>
<sequence>
<invoke name="2"/>
<flow>
<!-- upper flow of concurrency -->
<sequence>
<invoke name="11"/>
<invoke name="13"/>
</sequence>
<!-- lower flow of concurrency -->
<sequence>
<invoke name="21"/>
</sequence>
</flow>
<invoke name="3"/>
</sequence>
</process>
Postnext
Minollo I.Subject: Petri net to BPEL model transformation > How to find patterns?
Author: Minollo I.
Date: 04 Sep 2006 09:29 AM
Sagi,
are you using Stylus Studio? What version? (Help > About) Under which name/email can we retrieve your registration?

Thanks.
Posttop
Sagi -Subject: Petri net to BPEL model transformation > How to find patterns?
Author: Sagi -
Date: 13 Sep 2006 03:01 PM
I downloaded the trial version of Stylus Studio Release 3 Enterprise Edition 2006.
 
Topic Page 1 2 3 4 5 6 7 8 9 Go to previous topicPrev TopicGo to next topicNext Topic
Download A Free Trial of Stylus Studio 6 XML Professional Edition Today! Powered by Stylus Studio, the world's leading XML IDE for XML, XSLT, XQuery, XML Schema, DTD, XPath, WSDL, XHTML, SQL/XML, and XML Mapping!  
go

Log In Options

Site Map | Privacy Policy | Terms of Use | Trademarks
Stylus Scoop XML Newsletter:
W3C Member
Stylus Studio® and DataDirect XQuery ™are from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2016 All Rights Reserved.