-
Exported names:
-
Imported modules:
Module BPMN2BPEL
This module defines a bi-directional BPMN to BPEL transformation
Summary of exported operations:
ex
:: [(BPMNComp,[Int])] 
An exampe BPMN graph. |
processS
:: [(BPMNComp,[Int])] -> ([BPELComp],[(BPMNComp,[Int])]) 
The main parsing operation. |
flowS
:: (Int,Int) -> [(BPMNComp,[Int])] -> ([BPELComp],[(BPMNComp,[Int])])
|
flElemS
:: (Int,Int) -> [(BPMNComp,[Int])] -> (BPELComp,[(BPMNComp,[Int])])
|
bpel2xml
:: [BPELComp] -> String
Shows a BPEL as a string in XML format. |
seq2xml
:: [BPELComp] -> String
|
bpelComp2xml
:: BPELComp -> String
|
indent
:: Int -> String -> String
|
Exported datatypes:
BPMNComp
The type of BPMN edges.
Constructors:
-
BPMNStart :: BPMNComp -
BPMNEnd :: BPMNComp -
BPMNPGW :: BPMNComp -
BPMNXGW :: String -> String -> BPMNComp -
BPMNActivity :: String -> BPMNComp -
BPMNInter :: BPMNInterKind -> String -> BPMNComp
BPMNInterKind
Constructors:
-
BPMNWait :: BPMNInterKind -
BPMNReceive :: BPMNInterKind
BPELComp
The type of activities of a BPEL process.
Constructors:
-
Invoke :: String -> BPELComp -
Wait :: String -> BPELComp -
Receive :: String -> BPELComp -
Flow :: BPEL -> BPEL -> BPELComp -
Switch :: String -> String -> BPEL -> BPEL -> BPELComp
BPEL
Sequences of activities of a BPEL process.
Type synonym: BPEL = [BPELComp]
Exported operations:
|
An exampe BPMN graph.
|
|
The main parsing operation.
The parser works on typed hypergraphs with edges of type |
|
|
|
|