weel 1.0.3

data/test/basic/tc_search.rb

@@ -0,0 +1,37 @@
+require 'test/unit'
+require File.expand_path(::File.dirname(__FILE__) + '/../TestWorkflow')
+
+class TestSearch < Test::Unit::TestCase
+  include TestMixin
+
+  def test_search_impact_single
+    @wf.description do
+      activity :a1_1, :call, :endpoint1
+      activity :a1_2, :call, :endpoint1
+      activity :a1_3, :call, :endpoint1
+    end
+    @wf.search WEEL::Position.new(:a1_2, :at)
+    @wf.start.join
+    wf_sassert("|running|Ca1_2Da1_2Ca1_3Da1_3|finished|")
+  end
+  def test_search_impact_dual
+    @wf.description do
+      activity :a1, :call, :endpoint1
+      parallel do
+        parallel_branch do
+          activity :a2_1, :call, :endpoint1
+        end
+        parallel_branch do
+          activity :a2_2, :call, :endpoint1
+        end
+      end
+      activity :a3, :call, :endpoint1
+    end
+    @wf.search [WEEL::Position.new(:a2_1, :at), WEEL::Position.new(:a2_2, :at)]
+    @wf.start.join
+    wf_assert("DONE a1",false)
+    wf_assert("DONE a2_1",true)
+    wf_assert("DONE a2_2",true)
+    wf_assert("DONE a3",true)
+  end
+end

data/test/basic/tc_state.rb

@@ -0,0 +1,17 @@
+require 'test/unit'
+require File.expand_path(::File.dirname(__FILE__) + '/../TestWorkflow')
+
+class TestState < Test::Unit::TestCase
+  include TestMixin
+
+  def test_check_state
+    s = @wf.state
+    assert(s.is_a?(Symbol), "state is not a symbol")
+    assert(s == :ready, "state is not set to :ready, it is #{s}")
+  end
+  def test_check_stop_state
+    @wf.start
+    @wf.stop.join
+    assert(@wf.state == :stopped || @wf.state == :finished, "state is not set to :stopped after workflow being stopped, it is #{@wf.state}")
+  end
+end

data/test/basic/tc_wf_control.rb

@@ -0,0 +1,68 @@
+require 'test/unit'
+require File.expand_path(::File.dirname(__FILE__) + '/../TestWorkflow')
+
+class TestWorkflowControl < Test::Unit::TestCase
+  include TestMixin
+
+  def test_runthrough
+    @wf.start.join
+    wf_assert("DONE a1_1")
+    wf_assert("CALL a2_1_1:")
+    wf_assert("CALL a2_2_1:")
+    wf_assert("DONE a2_1_1")
+    wf_assert("DONE a2_2_1")
+    wf_assert("DONE a3")
+    wf_assert("DONE a4a")
+    assert(@wf.state == :finished, "Stopped workflow has wrong state, #{@wf.state} instead of :stopped")
+    assert(@wf.positions.is_a?(Array) && @wf.positions.empty?, "@wf.positions has wrong type, should be an empty array, it is: #{@wf.positions.inspect}")
+    assert(@wf.data[:x] == "begin_Handler_Dummy_Result_end", "Ending environment not correct, see result=#{@wf.data[:x].inspect}")
+  end
+
+  def test_stop
+    @wf.description do
+      activity :a_test_1_1, :call, :endpoint1
+      activity :a_test_1_2, :call, :endpoint1, :call =>  Proc.new{ sleep 0.5 }
+      activity :a_test_1_3, :call, :endpoint1
+    end
+    @wf.search WEEL::Position.new(:a_test_1_1, :at)
+    wf = @wf.start
+    sleep(0.2)
+    @wf.stop.join
+    wf.join
+    wf_assert("DONE a_test_1_1")
+    wf_assert("STOPPED a_test_1_2")
+    wf_assert("DONE a_test_1_2",false)
+    wf_assert("CALL a_test_1_2:")
+    assert(@wf.state == :stopped, "Stopped workflow has wrong state, #{@wf.state} instead of :stopped")
+    assert(@wf.positions.is_a?(Array), "@wf.positions has wrong type, should be an array, it is: #{@wf.positions.inspect}")
+    assert(@wf.positions[0].position == :a_test_1_2, "Stop-position has wrong value: #{@wf.positions[0].position} instead of :a_test_2_1")
+    assert(@wf.positions[0].detail == :at, "Stop-Position is not :at")
+  end
+  def test_continue
+    @wf.description do
+      activity :a_test_1_1, :call, :endpoint1
+      activity :a_test_1_2, :call, :endpoint1, :call =>  Proc.new{ sleep 0.5 }
+      activity :a_test_1_3, :call, :endpoint1
+    end
+    @wf.start
+    sleep(0.2)
+    @wf.stop.join
+
+    @wf.search @wf.positions
+
+    @wf.start.join
+    wf_sassert('|running|Ca_test_1_1Da_test_1_1Ca_test_1_2|stopping|Sa_test_1_2|stopped||running|Ca_test_1_2Da_test_1_2Ca_test_1_3Da_test_1_3|finished|')
+  end
+  
+  def test_continue_after
+    @wf.description do
+      activity :c_test_1_1, :call, :endpoint1
+      activity :c_test_1_2, :call, :endpoint1
+      activity :c_test_1_3, :call, :endpoint1
+    end
+    @wf.search [WEEL::Position.new(:c_test_1_1, :after)]
+    @wf.start.join
+
+    wf_sassert('|running|Cc_test_1_2Dc_test_1_2Cc_test_1_3Dc_test_1_3|finished|')
+  end
+end

data/test/complex/tc_generalsynchonizingmerge_loopsearch.rb

@@ -0,0 +1,113 @@
+require 'test/unit'
+require File.expand_path(::File.dirname(__FILE__) + '/../TestWorkflow')
+
+class TestGeneralsynchonizingmergeLoopsearch < Test::Unit::TestCase
+  include TestMixin
+
+  def test_coopis
+    @wf.data[:hotels]  = []
+    @wf.data[:airline] = ''
+    @wf.data[:costs]   = 0
+    @wf.data[:persons] = 3
+    @wf.description do
+      activity :a1, :call, :endpoint1 do
+        data.airline = 'Aeroflot'
+        data.costs  += 101
+        status.update 1, 'Hotel'
+      end
+      parallel do
+        loop pre_test{data.persons > 0} do
+          parallel_branch data.persons do |p|
+            activity :a2, :call, :endpoint1 do
+              data.hotels << 'Rathaus'
+              data.costs += 200
+            end
+          end
+          activity :a3, :manipulate do
+            data.persons -= 1
+          end
+        end
+      end
+      choose do
+        alternative data.costs > 400 do
+          activity :a4, :call, :endpoint1
+        end
+      end
+    end
+    @wf.start.join
+
+    wf_rsassert('\|running\|Ca1Ma1Da1Ma3Da3Ma3Da3Ma3Da3Ca2.*?Ca2.*?Ca2.*Da2Ca4Da4\|finished\|')
+  end
+
+  def test_coopis_searchmode1
+    @wf.data[:hotels]  = ['Marriott']
+    @wf.data[:airline] = 'Ana'
+    @wf.data[:costs]   = 802
+    @wf.data[:persons] = 2
+    @wf.description do
+      activity :a1, :call, :endpoint1 do
+        data.airline = 'Aeroflot'
+        data.costs  += 101
+        status.update 1, 'Hotel'
+      end
+      parallel do
+        loop pre_test{data.persons > 0} do
+          parallel_branch data.persons do |p|
+            activity :a2, :call, :endpoint1 do
+              data.hotels << 'Rathaus'
+              data.costs += 200
+            end
+          end
+          activity :a3, :manipulate do
+            data.persons -= 1
+          end
+        end
+      end
+      choose do
+        alternative data.costs > 700 do
+          activity :a4, :call, :endpoint1
+        end
+      end
+    end
+    @wf.search [WEEL::Position.new(:a3, :at)]
+    @wf.start.join
+    
+    wf_rsassert('\|running\|Ma3Da3Ma3Da3Ca2.*?Ca2.*Da2Ca4Da4\|finished\|')
+  end
+
+  def test_coopis_searchmode2
+    @wf.data[:hotels]  = ['Marriott']
+    @wf.data[:airline] = 'Ana'
+    @wf.data[:costs]   = 802
+    @wf.data[:persons] = 2
+    @wf.description do
+      activity :a1, :call, :endpoint1 do
+        data.airline = 'Aeroflot'
+        data.costs  += 101
+        status.update 1, 'Hotel'
+      end
+      parallel do
+        loop pre_test{data.persons > 0} do
+          parallel_branch data.persons do |p|
+            activity :a2, :call, :endpoint1 do
+              data.hotels << 'Rathaus'
+              data.costs += 200
+            end
+          end
+          activity :a3, :manipulate do
+            data.persons -= 1
+          end
+        end
+      end
+      choose do
+        alternative data.costs > 700 do
+          activity :a4, :call, :endpoint1
+        end
+      end
+    end
+    @wf.search [WEEL::Position.new(:a2, :at)]
+    @wf.start.join
+    
+    wf_rsassert('\|running\|Ca2Ma2Da2Ca4Da4\|finished\|')
+  end
+end

data/test/complex/tc_parallel_stop.rb

@@ -0,0 +1,32 @@
+require 'test/unit'
+require File.expand_path(::File.dirname(__FILE__) + '/../TestWorkflow')
+
+class TestParallelStop < Test::Unit::TestCase
+  include TestMixin
+
+  def test_coopis
+    @wf.data[:hotels]  = []
+    @wf.data[:costs]   = 0
+    @wf.description do
+      parallel do
+        parallel_branch do
+          activity :a1, :call, :endpoint1 do
+            data.hotels << 'Rathaus'
+            data.costs += 200
+          end
+          activity :a3, :call, :stop
+        end
+        parallel_branch do
+          activity :a2, :call, :endpoint2 do
+            data.hotels << 'Graf Stadion'
+            data.costs += 200
+          end
+          activity :a4, :call, :stop
+        end
+      end
+    end
+    @wf.start.join
+
+    wf_rsassert('\|stopped\|')
+  end
+end

data/test/wfp_adv_branching/tc_generalizedjoin.rb

@@ -0,0 +1,11 @@
+require 'test/unit'
+require File.expand_path(::File.dirname(__FILE__) + '/../TestWorkflow')
+
+# unknown/not implemented
+class TestWFPGeneralizedJoin < Test::Unit::TestCase
+  include TestMixin
+
+  def test_generalized_join
+    # unknown
+  end
+end

data/test/wfp_adv_branching/tc_generalsynchronizingmerge.rb

@@ -0,0 +1,45 @@
+require 'test/unit'
+require File.expand_path(::File.dirname(__FILE__) + '/../TestWorkflow')
+
+class TestWFPLocalSynchronizingMerge < Test::Unit::TestCase
+  include TestMixin
+
+  def test_localsyncmerge
+    @wf.data[:cont] = true
+    @wf.description do
+      parallel do
+        parallel_branch do
+          activity :a1_1, :call, :endpoint1, :call => Proc.new{sleep 0.2}
+        end
+        parallel_branch do
+          activity :a1_2, :call, :endpoint1, :call => Proc.new{sleep 0.4}
+        end
+        choose do
+          alternative(true) do
+            loop post_test{puts data.break; data.break} do
+              parallel_branch do
+                activity :a2_1, :call, :endpoint1
+              end  
+              activity(:a2_decide, :call, :endpoint1, :result => false) do |e|
+                data.break = e
+              end
+            end  
+          end
+          otherwise do
+            activity :a2_2, :call, :endpoint1, :call => Proc.new{sleep 0.1}
+          end
+        end
+      end
+      activity :a3, :call, :endpoint1
+    end
+    @wf.start.join
+    wf_sassert('|running|Ca2_decideDa2_decide')
+    wf_assert('CALL a1_1:')
+    wf_assert('CALL a1_2:')
+    wf_assert('CALL a2_1:')
+    wf_assert('DONE a1_1')
+    wf_assert('DONE a1_2')
+    wf_assert('DONE a2_1')
+    wf_sassert('Ca3Da3|finished|')
+  end
+end

data/test/wfp_adv_branching/tc_localsynchronizingmerge.rb

@@ -0,0 +1,37 @@
+require 'test/unit'
+require File.expand_path(::File.dirname(__FILE__) + '/../TestWorkflow')
+
+class TestWFPLocalSynchronizingMerge < Test::Unit::TestCase
+  include TestMixin
+
+  def test_localsyncmerge
+    @wf.description do
+      parallel do
+        parallel_branch do
+          activity :a1_1, :call, :endpoint1, :call => Proc.new{sleep 0.2}
+        end
+        parallel_branch do
+          activity :a1_2, :call, :endpoint1, :call => Proc.new{sleep 0.4}
+        end
+        choose do
+          alternative(false) do
+            parallel_branch do
+              activity :a2_1, :call, :endpoint1
+            end  
+          end
+          otherwise do
+            activity :a2_2, :call, :endpoint1, :call => Proc.new{sleep 0.1}
+          end
+        end
+      end
+      activity :a3, :call, :endpoint1
+    end
+    @wf.start.join
+    wf_sassert('|running|Ca2_2Da2_2')
+    wf_assert('CALL a1_1:')
+    wf_assert('CALL a1_2:')
+    wf_assert('DONE a1_1')
+    wf_assert('DONE a1_2')
+    wf_sassert('Ca3Da3|finished|')
+  end
+end

data/test/wfp_adv_branching/tc_multichoice_structuredsynchronizingmerge.rb

@@ -0,0 +1,47 @@
+require 'test/unit'
+require File.expand_path(::File.dirname(__FILE__) + '/../TestWorkflow')
+
+class TestWFPMultiChoice < Test::Unit::TestCase
+  include TestMixin
+
+  def test_multichoice_chained
+    @wf.data :x => 1
+    @wf.description do
+      choose do
+        alternative(data.x == 1) do
+          activity :a1_1, :call, :endpoint1
+        end
+        alternative(data.x > 0) do
+          activity :a1_2, :call, :endpoint1
+        end
+      end
+      activity :a2, :call, :endpoint1
+    end
+    @wf.start.join
+    wf_sassert('|running|Ca1_1Da1_1Ca1_2Da1_2Ca2Da2|finished|')
+  end
+  def test_multichoice_parallel
+    @wf.data :x => 1
+    @wf.description do
+      choose do
+        parallel do
+          parallel_branch do
+            alternative(data.x == 1) do
+              activity :a1_1, :call, :endpoint1
+            end
+          end
+          parallel_branch do
+            alternative(data.x > 0) do
+              activity :a1_2, :call, :endpoint1, :call => Proc.new{sleep 0.1}
+            end
+          end
+        end
+      end
+      activity :a2, :call, :endpoint1
+    end
+    @wf.start.join
+    wf_assert('CALL a1_1')
+    wf_assert('CALL a1_2')
+    wf_sassert('Da1_1Da1_2Ca2Da2|finished|')
+  end
+end

data/test/wfp_adv_branching/tc_multimerge.rb

@@ -0,0 +1,11 @@
+require 'test/unit'
+require File.expand_path(::File.dirname(__FILE__) + '/../TestWorkflow')
+
+# unknown/not implemented
+class TestWFPMultiMerge < Test::Unit::TestCase
+  include TestMixin
+
+  def test_multimerge
+    # unknown
+  end
+end

data/test/wfp_adv_branching/tc_structured_discriminator.rb

@@ -0,0 +1,28 @@
+require 'test/unit'
+require File.expand_path(::File.dirname(__FILE__) + '/../TestWorkflow')
+
+# only variant Cancelling Discriminator is implemented, but that's the coolest one 8)
+class TestWFPStructuredDiscriminator < Test::Unit::TestCase
+  include TestMixin
+
+  def test_cancelling_discriminator
+    @wf.description do
+      parallel :wait => 1 do
+        parallel_branch do
+          activity :a_1_1, :call, :endpoint1
+        end
+        parallel_branch do
+          activity :a_1_2, :call, :endpoint1, :call => Proc.new{sleep 0.2}
+        end
+      end
+      activity :a_2, :call, :endpoint1
+    end
+    t = @wf.start.join
+    wf_assert("CALL a_1_1:")
+    wf_assert("CALL a_1_2:")
+    wf_assert("CALL a_2:")
+    wf_assert("NO_LONGER_NECCESARY a_1_2")
+    wf_assert("DONE a_1_1")
+    wf_assert("DONE a_2")
+  end
+end