org.processmining.converting
Class BPELToTPN

java.lang.Object
  extended by org.processmining.converting.BPELToTPN
All Implemented Interfaces:
ConvertingPlugin, Plugin

public class BPELToTPN
extends java.lang.Object
implements ConvertingPlugin

Title: BPEL To TPN conversion plug-in

Description: Converts a BPEL process into a Petri net, using the BPEL2PNML/WofBPEL toolset.

Copyright: Copyright (c) 2004

Company:

Version:
1.0
Author:
Eric Verbeek

Constructor Summary
BPELToTPN()
           
 
Method Summary
 boolean accepts(ProvidedObject object)
          This function tells the interface which results are accepted by this Plugin
 PetriNetResult convert(ProvidedObject object)
          Execute this conversion algorithm on the given log file.
 java.lang.String getHtmlDescription()
          Gets a description of this plugin in HTML.
 java.lang.String getName()
          Gets the name of this plugin.
 PetriNetResult result(BPEL source)
           
 void setBPEL(java.lang.String version)
           
 void setReduce(boolean reduce)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BPELToTPN

public BPELToTPN()
Method Detail

getName

public java.lang.String getName()
Description copied from interface: Plugin
Gets the name of this plugin. Implementing classes should use this method to return their own name.

Specified by:
getName in interface Plugin
Returns:
the name of this plugin

getHtmlDescription

public java.lang.String getHtmlDescription()
Description copied from interface: Plugin
Gets a description of this plugin in HTML. The string returned by this method should only contain the contents of the body of the html page, so the html, head and body tags should not be used. This HTML page is displayed in the help system or as context sensitive help. The HTML body can be stored in an external file in the /lib/documentation/ sub folder and in this case it can be obtained by calling PluginDocumentationLoader.load(this)

Specified by:
getHtmlDescription in interface Plugin
Returns:
a description of this plugin in HTML

convert

public PetriNetResult convert(ProvidedObject object)
Description copied from interface: ConvertingPlugin
Execute this conversion algorithm on the given log file.

Specified by:
convert in interface ConvertingPlugin
Parameters:
object - ProvidedObject Should contain at least one BPEL object.
Returns:
PetriNetResult The BPEL object converted into a PetriNetResult.

accepts

public boolean accepts(ProvidedObject object)
Description copied from interface: ConvertingPlugin
This function tells the interface which results are accepted by this Plugin

Specified by:
accepts in interface ConvertingPlugin
Parameters:
object - ProvidedObject
Returns:
boolean whether object contains a BPEL object.

result

public PetriNetResult result(BPEL source)
Parameters:
source - BPEL The BPEL object.
Returns:
PetriNetResult The BPEL object converted into a PetriNetResult.

setBPEL

public void setBPEL(java.lang.String version)
Parameters:
version - String Which version of BPEL is to be expected. Should be either "1.1"or "2.0".

setReduce

public void setReduce(boolean reduce)
Parameters:
reduce - boolean Whether to use Murata-based reduction rules on the resulting Petri net.