CurryInfo: bpmn2bpel-3.1.0 / Main

 
This main module contains an example of the BPMN to BPEL transformation.

 Main

 main

 

module Main where

import Control.Search.AllValues ( getOneValue )

import Grappa
import BPMN2BPEL

--- Applies the parser `BPMNBPEL.processS` to the example hypergraph
--- `BPMNBPEL.ex` and pretty-prints the resulting BPEL representation in XML:
main :: IO ()
main = do
  mbv <- getOneValue (processS ex)
  case mbv of
    Nothing -> putStrLn "No solution"
    Just v  -> let bpel = getSemRep v
               in putStrLn (bpel2xml bpel)

 unsafe due to modules Control.Search.AllValues Control.Search.Unsafe