org.processmining.converting.wfnet2bpel
Class BPELTranslator

java.lang.Object
  extended by org.processmining.converting.wfnet2bpel.BPELTranslator

public class BPELTranslator
extends java.lang.Object

Title: BPELTranslator

Description: Translates a component into a BPELActivity

Copyright: Copyright (c) 2006

Company: University of Aarhus

Version:
1.0
Author:
Kristian Bisgaard Lassen (mailto:K.B.Lassen@daimi.au.dk)

Field Summary
protected static int fragmentCount
          A counter to insure unique names for created fragment transitions
 
Constructor Summary
BPELTranslator()
           
 
Method Summary
static BPELActivity translate(Component match, java.util.Map<java.lang.String,BPELActivity> annotations)
          Translate a match into an activity.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

fragmentCount

protected static int fragmentCount
A counter to insure unique names for created fragment transitions

Constructor Detail

BPELTranslator

public BPELTranslator()
Method Detail

translate

public static BPELActivity translate(Component match,
                                     java.util.Map<java.lang.String,BPELActivity> annotations)
Translate a match into an activity.

Parameters:
match - - describes a WF-net and what kind of component it is
annotation - - transition annotations
Returns:
An activity that corresponds to the WF-net of the match