pione 0.4.2 → 0.5.0.alpha.1

data/test/pnml/spec_output-reduction.rb

@@ -8,6 +8,7 @@ TestHelper.scope do |this|
 
   describe Pione::PNML::OutputReduction do
     it "should reduce nodes by `output reduction` in simple case" do
+      env = Lang::Environment.new
       net = PNML::Reader.read(this::SIMPLE)
 
       # save elements
@@ -17,7 +18,7 @@ TestHelper.scope do |this|
       arc_i1_A = net.find_arc(place_i1.id, transition_A.id)
 
       # apply output reduction
-      PNML::NetRewriter.new{|rules| rules << PNML::OutputReduction}.rewrite(net)
+      PNML::NetRewriter.new{|rules| rules << PNML::OutputReduction}.rewrite(net, env)
 
       # test transitions
       net.transitions.size.should == 1
@@ -35,6 +36,7 @@ TestHelper.scope do |this|
     end
 
     it "should reduce nodes by `output reduction` in complex case" do
+      env = Lang::Environment.new
       net = PNML::Reader.read(this::COMPLEX)
 
       # save net elements
@@ -46,7 +48,7 @@ TestHelper.scope do |this|
       arc_i1_A = net.find_arc(place_i1.id, transition_A.id)
 
       # apply output reduction
-      PNML::NetRewriter.new{|rules| rules << PNML::OutputReduction}.rewrite(net)
+      PNML::NetRewriter.new{|rules| rules << PNML::OutputReduction}.rewrite(net, env)
 
       # test transitions
       net.transitions.size.should == 1
@@ -68,6 +70,7 @@ TestHelper.scope do |this|
     end
 
     it "should reduce nodes by `output reduction` in long case" do
+      env = Lang::Environment.new
       net = PNML::Reader.read(this::LONG)
 
       # save elements
@@ -77,7 +80,7 @@ TestHelper.scope do |this|
       arc_i1_A = net.find_arc(place_i1.id, transition_A.id)
 
       # apply output reduction
-      PNML::NetRewriter.new{|rules| rules << PNML::OutputReduction}.rewrite(net)
+      PNML::NetRewriter.new{|rules| rules << PNML::OutputReduction}.rewrite(net, env)
 
       # test transitions
       net.transitions.size.should == 1
@@ -95,6 +98,7 @@ TestHelper.scope do |this|
     end
 
     it "should not reduce any nodes if there aren't output reducible nodes" do
+      env = Lang::Environment.new
       net = PNML::Reader.read(this::DIR + "InputReductionSimple.pnml")
 
       # save net elements
@@ -103,7 +107,7 @@ TestHelper.scope do |this|
       arcs = net.arcs.clone
 
       # apply output reduction
-      PNML::NetRewriter.new{|rules| rules << PNML::OutputReduction}.rewrite(net)
+      PNML::NetRewriter.new{|rules| rules << PNML::OutputReduction}.rewrite(net, env)
 
       # test
       net.places.should == places

data/test/pnml/spec_output-synchronization-complement.rb

@@ -7,6 +7,7 @@ TestHelper.scope do |this|
 
   describe Pione::PNML::OutputSynchronizationComplement do
     it "should name source place in simple case" do
+      env = Lang::Environment.new
       net = PNML::Reader.read(this::SIMPLE)
 
       # elements
@@ -18,7 +19,7 @@ TestHelper.scope do |this|
       place_RC = net.find_all_places_by_source_id(transition_C.id).first
 
       # apply "output synchronization complement" rule
-      PNML::NetRewriter.new{|rules| rules << PNML::OutputSynchronizationComplement}.rewrite(net)
+      PNML::NetRewriter.new{|rules| rules << PNML::OutputSynchronizationComplement}.rewrite(net, env)
 
       # test
       place_RA.name.should == "'*.p1'"
@@ -27,6 +28,7 @@ TestHelper.scope do |this|
     end
 
     it "should name source place in complex case" do
+      env = Lang::Environment.new
       net = PNML::Reader.read(this::COMPLEX)
 
       # elements
@@ -48,7 +50,7 @@ TestHelper.scope do |this|
       place_RC_p2 = places_RC.find {|place| net.find_arc(place.id, transition_Lp2.id)}
 
       # apply "output synchronization complement" rule
-      PNML::NetRewriter.new{|rules| rules << PNML::OutputSynchronizationComplement}.rewrite(net)
+      PNML::NetRewriter.new{|rules| rules << PNML::OutputSynchronizationComplement}.rewrite(net, env)
 
       # test
       place_RA_p1.name.should == "'*.p1'"

data/test/pnml/spec_pione-element.rb

@@ -1,5 +1,54 @@
 require 'pione/test-helper'
 
+describe Pione::PNML::Perspective do
+  def test(name, args, expected)
+    env = Lang::Environment.new
+    PNML::Perspective.send(name, env, *args).should == expected
+  end
+
+  def test_place(name, label, expected)
+    test(name, [PNML::Place.new(name: label)], expected)
+  end
+
+  def test_transition(name, label, expected)
+    test(name, [PNML::Transition.new(name: label)], expected)
+  end
+
+  it "should be empty places" do
+    test_place(:empty?, "", true)
+    test_place(:empty?, "   ", true)
+    test_place(:empty?, ">", true)
+    test_place(:empty?, " > ", true)
+    test_place(:empty?, "# abc", true)
+    test_place(:empty?, " # a # b # c", true)
+  end
+
+  it "should be empty transitions" do
+    test_transition(:empty?, "", true)
+    test_transition(:empty?, "   ", true)
+    test_transition(:empty?, "# abc", true)
+    test_transition(:empty?, " # a # b # c", true)
+  end
+
+  it "should be data places" do
+    test_place(:data_place?, "'*.a'", true)
+    test_place(:data_place?, "'*.a' # abc", true)
+    test_place(:data_place?, "<'*.a'", true)
+    test_place(:data_place?, "<'*.a' # abc", true)
+    test_place(:data_place?, ">'*.a'", true)
+    test_place(:data_place?, ">'*.a' # abc", true)
+  end
+
+  it "should be net input data places" do
+    test_place(:net_input_data_place?, "'*.a'", false)
+    test_place(:net_input_data_place?, "'*.a' # abc", false)
+    test_place(:net_input_data_place?, "<'*.a'", true)
+    test_place(:net_input_data_place?, "<'*.a' # abc", true)
+    test_place(:net_input_data_place?, ">'*.a'", false)
+    test_place(:net_input_data_place?, ">'*.a' # abc", false)
+  end
+end
+
 describe Pione::PNML::ConstituentRule do
   it "should get declaration string" do
     PNML::ConstituentRule.new(:action, "R").tap do |rule|
@@ -15,93 +64,123 @@ describe Pione::PNML::ConstituentRule do
     end
 
     PNML::ConstituentRule.new(:action, "R").tap do |rule|
-      rule.params << PNML::Param.new("x", "1")
-      rule.as_declaration.should == "rule R {x: $x}"
+      rule.params << PNML::Param.set_of(PNML::Place.new(name: "{X: 1}"))
+      rule.as_declaration.should == "rule R {X: 1}"
     end
 
     PNML::ConstituentRule.new(:action, "R").tap do |rule|
-      rule.params << PNML::Param.new("x", "1")
-      rule.params << PNML::Param.new("y", '"abc"')
-      rule.as_declaration.should == 'rule R {x: $x, y: $y}'
+      rule.params << PNML::Param.set_of(PNML::Place.new(name: "{X: 1}"))
+      rule.params << PNML::Param.set_of(PNML::Place.new(name: '{Y: "abc"}'))
+      rule.as_declaration.should == 'rule R {X: 1, Y: "abc"}'
     end
   end
 end
 
-describe Pione::PNML::DataCondition do
+describe Pione::PNML::Data do
   it "should get input declaration string" do
-    PNML::DataCondition.new("'a.txt'").tap do |cond|
-      cond.as_input_declaration.should == "input 'a.txt'"
+    PNML::InputData.new(PNML::Place.new(name: "'a.txt'")).tap do |cond|
+      cond.as_declaration.should == "input 'a.txt'"
     end
 
-    PNML::DataCondition.new("'a.txt' | 'b.txt' | 'c.txt'").tap do |cond|
-      cond.as_input_declaration.should == "input 'a.txt' | 'b.txt' | 'c.txt'"
+    PNML::InputData.new(PNML::Place.new(name: "'a.txt' | 'b.txt' | 'c.txt'")).tap do |cond|
+      cond.as_declaration.should == "input 'a.txt' | 'b.txt' | 'c.txt'"
     end
 
-    PNML::DataCondition.new("'a.txt'").tap do |cond|
+    PNML::InputData.new(PNML::Place.new(name: "'a.txt'")).tap do |cond|
       cond.input_nonexistable = true
-      cond.as_input_declaration.should == "input 'a.txt' or null"
+      cond.as_declaration.should == "input 'a.txt' or null"
     end
 
-    PNML::DataCondition.new("'*.txt'").tap do |cond|
-      cond.as_input_declaration.should == "input '*.txt'"
+    PNML::InputData.new(PNML::Place.new(name: "'*.txt'")).tap do |cond|
+      cond.as_declaration.should == "input '*.txt'"
     end
 
-    PNML::DataCondition.new("'a.txt'").tap do |cond|
+    PNML::InputData.new(PNML::Place.new(name: "'a.txt'")).tap do |cond|
       cond.input_distribution = :all
-      cond.as_input_declaration.should == "input ('a.txt').all"
+      cond.as_declaration.should == "input ('a.txt').all"
     end
 
-    PNML::DataCondition.new("'a.txt'").tap do |cond|
-      cond.input_priority = 100
-      cond.as_input_declaration.should == "input 'a.txt'"
+    PNML::InputData.new(PNML::Place.new(name: "'a.txt' #100")).tap do |cond|
+      cond.priority.should == 100
+      cond.as_declaration.should == "input 'a.txt'"
     end
   end
 
   it "should get output declaration string" do
-    PNML::DataCondition.new("'a.txt'").tap do |cond|
-      cond.as_output_declaration.should == "output 'a.txt'"
+    PNML::OutputData.new(PNML::Place.new(name: "'a.txt'")).tap do |cond|
+      cond.as_declaration.should == "output 'a.txt'"
     end
 
-    PNML::DataCondition.new("'*.txt'").tap do |cond|
-      cond.as_output_declaration.should == "output '*.txt'"
+    PNML::OutputData.new(PNML::Place.new(name: "'*.txt'")).tap do |cond|
+      cond.as_declaration.should == "output '*.txt'"
     end
 
-    PNML::DataCondition.new("'a.txt' | 'b.txt' | 'c.txt'").tap do |cond|
-      cond.as_output_declaration.should == "output 'a.txt' | 'b.txt' | 'c.txt'"
+    PNML::OutputData.new(PNML::Place.new(name: "'a.txt' | 'b.txt' | 'c.txt'")).tap do |cond|
+      cond.as_declaration.should == "output 'a.txt' | 'b.txt' | 'c.txt'"
     end
 
-    PNML::DataCondition.new("'a.txt'").tap do |cond|
+    PNML::OutputData.new(PNML::Place.new(name: "'a.txt'")).tap do |cond|
       cond.output_nonexistable = true
-      cond.as_output_declaration.should == "output 'a.txt' or null"
+      cond.as_declaration.should == "output 'a.txt' or null"
     end
 
-    PNML::DataCondition.new("'a.txt'").tap do |cond|
+    PNML::OutputData.new(PNML::Place.new(name: "'a.txt'")).tap do |cond|
       cond.output_distribution = :all
-      cond.as_output_declaration.should == "output ('a.txt').all"
+      cond.as_declaration.should == "output ('a.txt').all"
     end
 
-    PNML::DataCondition.new("'a.txt'").tap do |cond|
-      cond.output_priority = 100
-      cond.as_output_declaration.should == "output 'a.txt'"
+    PNML::OutputData.new(PNML::Place.new(name: "'a.txt' #100")).tap do |cond|
+      cond.priority.should == 100
+      cond.as_declaration.should == "output 'a.txt'"
     end
   end
 end
 
 describe Pione::PNML::Param do
-  it "should get declaration string" do
-    PNML::Param.new("x", "1").tap do |param|
-      param.as_declaration.should == "param $x := 1"
+  it "should create parameter from param sentence node" do
+    PNML::Param.sentence_of(PNML::Place.new(name: "param $X := 1")).tap do |param|
+      param.data.should == {"X" => "1"}
+    end
+  end
+
+  it "should create parameter from param set node" do
+    PNML::Param.set_of(PNML::Place.new(name: "{X: 1}")).tap do |param|
+      param.data.should == {"X" => "1"}
+    end
+
+    PNML::Param.set_of(PNML::Place.new(name: "{X: 1, Y: 2, Z: 3}")).tap do |param|
+      param.data.should == {"X" => "1", "Y" => "2", "Z" => "3"}
+    end
+  end
+
+  it "should get expression strings" do
+    PNML::Param.set_of(PNML::Place.new(name: "{X: 1}")).tap do |param|
+      param.as_expr.should == "{X: 1}"
+    end
+
+    PNML::Param.set_of(PNML::Place.new(name: "{X: 1, Y: 2, Z: 3}")).tap do |param|
+      param.as_expr.should == "{X: 1, Y: 2, Z: 3}"
+    end
+  end
+
+  it "should get declaration strings" do
+    PNML::Param.sentence_of(PNML::Place.new(name: "param $X := 1")).tap do |param|
+      param.as_declarations.should == ["param $X := 1"]
+    end
+
+    PNML::Param.set_of(PNML::Place.new(name: "{X: 1, Y: 2, Z: 3}")).tap do |param|
+      param.as_declarations.should == ["param $X := 1", "param $Y := 2", "param $Z := 3"]
     end
   end
 end
 
 describe Pione::PNML::ConditionalBranch do
   it "should get declaration string" do
-    PNML::ConditionalBranch.new(:case, "$x").tap do |cb|
+    PNML::ConditionalBranch.new(:case, "$X").tap do |cb|
       cb.table["true"] << PNML::ConstituentRule.new(:action, "R1")
       cb.table["false"] << PNML::ConstituentRule.new(:action, "R2")
       cb.as_declaration.should == Util::Indentation.cut(<<-PIONE)
-        case $x
+        case $X
         when true
           rule R1
         when false

data/test/pnml/spec_pnml-element.rb

@@ -309,19 +309,43 @@ end
 
 describe Pione::PNML::Place do
   it "should distinguish empty names" do
-    PNML::Place.new(PNML::Net.new, Util::UUID.generate, "a").should.not.empty_name
-    PNML::Place.new(PNML::Net.new, Util::UUID.generate, "").should.empty_name
-    PNML::Place.new(PNML::Net.new, Util::UUID.generate, " ").should.empty_name
-    PNML::Place.new(PNML::Net.new, Util::UUID.generate, "  #abc").should.empty_name
+    PNML::Perspective.empty_place?(
+      Lang::Environment.new,
+      PNML::Place.new(PNML::Net.new, Util::UUID.generate, "a")
+    ).should.not.be.true
+    PNML::Perspective.empty_place?(
+      Lang::Environment.new,
+      PNML::Place.new(PNML::Net.new, Util::UUID.generate, "")
+    ).should.be.true
+    PNML::Perspective.empty_place?(
+      Lang::Environment.new,
+      PNML::Place.new(PNML::Net.new, Util::UUID.generate, " ")
+    ).should.be.true
+    PNML::Perspective.empty_place?(
+      Lang::Environment.new,
+      PNML::Place.new(PNML::Net.new, Util::UUID.generate, "  #abc")
+    ).should.be.true
   end
 end
 
 describe Pione::PNML::Transition do
   it "should distinguish empty names" do
-    PNML::Transition.new(PNML::Net.new, Util::UUID.generate, "a").should.not.empty_name
-    PNML::Transition.new(PNML::Net.new, Util::UUID.generate, "").should.empty_name
-    PNML::Transition.new(PNML::Net.new, Util::UUID.generate, " ").should.empty_name
-    PNML::Transition.new(PNML::Net.new, Util::UUID.generate, "  #abc").should.empty_name
+    PNML::Perspective.empty_transition?(
+      Lang::Environment.new,
+      PNML::Transition.new(PNML::Net.new, Util::UUID.generate, "a")
+    ).should.not.be.true
+    PNML::Perspective.empty_transition?(
+      Lang::Environment.new,
+      PNML::Transition.new(PNML::Net.new, Util::UUID.generate, "")
+    ).should.be.true
+    PNML::Perspective.empty_transition?(
+      Lang::Environment.new,
+      PNML::Transition.new(PNML::Net.new, Util::UUID.generate, " ")
+    ).should.be.true
+    PNML::Perspective.empty_transition?(
+      Lang::Environment.new,
+      PNML::Transition.new(PNML::Net.new, Util::UUID.generate, "  #abc")
+    ).should.be.true
   end
 end
 

data/test/rule-engine/spec_action-handler.rb

@@ -66,31 +66,23 @@ TestHelper.scope do |this|
       end
 
       it 'should have working directory' do
-        @handler_sh1.working_directory.should.exist
-        @handler_sh2.working_directory.should.exist
-        @handler_ruby.working_directory.should.exist
+        @handler_sh1.working_directory.location.should.exist
+        @handler_sh2.working_directory.location.should.exist
+        @handler_ruby.working_directory.location.should.exist
       end
 
       it 'should make different working directories' do
-        @handler_sh1.working_directory.should != @handler_sh2.working_directory
-        @handler_sh2.working_directory.should != @handler_ruby.working_directory
-        @handler_ruby.working_directory.should != @handler_sh1.working_directory
+        @handler_sh1.working_directory.location.should != @handler_sh2.working_directory.location
+        @handler_sh2.working_directory.location.should != @handler_ruby.working_directory.location
+        @handler_ruby.working_directory.location.should != @handler_sh1.working_directory.location
       end
 
       it 'should write a shell script' do
-        @handler_sh1.write_shell_script do |path|
-          File.should.exist(path)
-          File.should.executable(path)
-          File.read(path).should == "VAL1=`cat 1.a`;\nVAL2=`cat 1.b`;\nexpr $VAL1 + $VAL2 > 1.c\n"
-        end
-      end
-
-      it 'should call shell script' do
-        @handler_sh1.setup_working_directory
-        @handler_sh1.write_shell_script do |path|
-          @handler_sh1.call_shell_script(path)
-          (@handler_sh1.working_directory + "1.b").should.exist
-        end
+        @handler_sh1.shell_script.write
+        location = @handler_sh1.shell_script.location
+        location.should.exist
+        location.path.should.executable
+        location.read.should == "VAL1=`cat 1.a`;\nVAL2=`cat 1.b`;\nexpr $VAL1 + $VAL2 > 1.c\n"
       end
 
       [:sh1, :sh2, :ruby].each do |sym|
@@ -132,7 +124,7 @@ TestHelper.scope do |this|
         tuple_a = TupleSpace::DataTuple.new(name: '1.a', location: location_a, time: Time.now)
         inputs = [tuple_a]
 
-        sh = (@ts.base_location + "package" + "bin" + "test.sh")
+        sh = @ts.base_location + "package" + "bin" + "test.sh"
         sh.write("echo abc > 1.b")
         sh.path.chmod(0700)
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: pione
 version: !ruby/object:Gem::Version
-  version: 0.4.2
+  version: 0.5.0.alpha.1
 platform: ruby
 authors:
 - Keita Yamaguchi
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2014-08-31 00:00:00.000000000 Z
+date: 2015-01-04 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parslet
@@ -473,13 +473,25 @@ files:
 - doc/man/pione-compiler.md
 - doc/man/pione-list-param.md
 - doc/man/pione-update-package-info.md
+- example/ActionError/ActionError.action.md
 - example/ActionError/ActionError.pione
+- example/ActionError/ActionError.pnml
+- example/ActionError/Package.pione
 - example/ActionError/pione-package.json
+- example/CTFCorrection/CTFCorrection.action.md
 - example/CTFCorrection/CTFCorrection.pione
-- example/CTFCorrection/package.yml
+- example/CTFCorrection/CTFCorrection.pnml
+- example/CTFCorrection/Package.pione
+- example/CTFCorrection/Params.pione
+- example/CTFCorrection/pione-package.json
+- example/ChildPackage/ChildPackage.pione
+- example/ChildPackage/pione-package.json
 - example/CountChar/CountChar.action.md
+- example/CountChar/CountChar.pione
+- example/CountChar/CountChar.pnml
 - example/CountChar/Main.pione
 - example/CountChar/Main.pnml
+- example/CountChar/Package.pione
 - example/CountChar/flow.png
 - example/CountChar/misc/CountChar.rb
 - example/CountChar/pione-package.json
@@ -493,21 +505,39 @@ files:
 - example/CountChar/text/saikachibuchi.txt
 - example/CountChar/text/saikonihonno_josei.txt
 - example/CountChar/text/taishojugonenno_bundan.txt
+- example/DeferredChoice/DeferredChoice.action.md
 - example/DeferredChoice/DeferredChoice.pione
-- example/DeferredChoice/bin/ui.xml
+- example/DeferredChoice/DeferredChoice.pnml
+- example/DeferredChoice/Package.pione
 - example/DeferredChoice/pione-package.json
+- example/DeferredChoiceWithPage/DeferredChoiceWithPage.action.md
 - example/DeferredChoiceWithPage/DeferredChoiceWithPage.pione
+- example/DeferredChoiceWithPage/DefferredChoiceWithPage.pnml
+- example/DeferredChoiceWithPage/Package.pione
 - example/DeferredChoiceWithPage/etc/index.html
 - example/DeferredChoiceWithPage/pione-package.json
+- example/FeatureExample/FeatureExample.action.md
 - example/FeatureExample/FeatureExample.pione
+- example/FeatureExample/FeatureExample.pnml
+- example/FeatureExample/Package.pione
 - example/FeatureExample/pione-package.json
+- example/Fib/Fib.action.md
 - example/Fib/Fib.pione
+- example/Fib/Fib.pnml
+- example/Fib/FibN.pnml
+- example/Fib/Package.pione
+- example/HelloWorld/HelloWorld.action.md
 - example/HelloWorld/HelloWorld.pione
+- example/HelloWorld/HelloWorld.pnml
+- example/HelloWorld/Package.pione
 - example/HelloWorld/pione-package.json
 - example/HelloWorld/scenario/Scenario.pione
 - example/HelloWorld/scenario/output/message.txt
 - example/HelloWorld/scenario/pione-scenario.json
+- example/Interaction/Interaction.action.md
 - example/Interaction/Interaction.pione
+- example/Interaction/Interaction.pnml
+- example/Interaction/Package.pione
 - example/Interaction/bin/show-environment.cgi
 - example/Interaction/etc/.hidden-file.txt
 - example/Interaction/etc/cgi.html
@@ -518,14 +548,25 @@ files:
 - example/Interaction/etc/list-files.html
 - example/Interaction/pione-package.json
 - example/LoopByTouch/LoopByTouch.pione
+- example/LoopByTouch/LoopByTouch.pnml
+- example/LoopByTouch/Package.pione
 - example/LoopByTouch/PairLoop.pione
+- example/LoopByTouch/PairLoop.pnml
 - example/LoopByTouch/SingleLoop.pione
+- example/LoopByTouch/SingleLoop.pnml
 - example/LoopByTouch/TripletLoop.pione
+- example/LoopByTouch/TripletLoop.pnml
 - example/LoopByTouch/package.yml
 - example/LoopByTouch/pione-package.json
+- example/LucasNumber/LucasNumber.action.md
 - example/LucasNumber/LucasNumber.pione
+- example/LucasNumber/LucasNumber.pnml
+- example/LucasNumber/LucasNumberN.pnml
+- example/LucasNumber/Package.pione
 - example/LucasNumber/pione-package.json
 - example/MakePair/MakePair.pione
+- example/MakePair/MakePair.pnml
+- example/MakePair/Package.pione
 - example/MakePair/pione-package.json
 - example/MakePair/scenario/case1/Scenario.pione
 - example/MakePair/scenario/case1/input/1.i
@@ -622,6 +663,8 @@ files:
 - example/MakePair/scenario/case3/output/perm-9-7.pair
 - example/MakePair/scenario/case3/pione-scenario.json
 - example/OddSelector/OddSelector.pione
+- example/OddSelector/OddSelector.pnml
+- example/OddSelector/Package.pione
 - example/OddSelector/pione-package.json
 - example/OddSelector/scenario/Scenario.pione
 - example/OddSelector/scenario/input/1.i
@@ -640,13 +683,27 @@ files:
 - example/OddSelector/scenario/output/7.res
 - example/OddSelector/scenario/output/9.res
 - example/OddSelector/scenario/pione-scenario.json
-- example/PegasusWMS/Merge/Merge.pione
+- example/ParentPackage/ParentPackage.pione
+- example/ParentPackage/pione-package.json
+- example/PegasusWMS/Merge/Package.pione
+- example/PegasusWMS/Merge/PegasusWMSMerge.action.md
+- example/PegasusWMS/Merge/PegasusWMSMerge.pione
+- example/PegasusWMS/Merge/PegasusWMSMerge.pnml
 - example/PegasusWMS/Merge/pione-package.json
-- example/PegasusWMS/Pipeline/Pipeline.pione
+- example/PegasusWMS/Pipeline/Package.pione
+- example/PegasusWMS/Pipeline/PegasusWMSPipeline.action.md
+- example/PegasusWMS/Pipeline/PegasusWMSPipeline.pione
+- example/PegasusWMS/Pipeline/PegasusWMSPipeline.pnml
 - example/PegasusWMS/Pipeline/pione-package.json
-- example/PegasusWMS/Split/Split.pione
+- example/PegasusWMS/Split/Package.pione
+- example/PegasusWMS/Split/PegasusWMSSplit.action.md
+- example/PegasusWMS/Split/PegasusWMSSplit.pione
+- example/PegasusWMS/Split/PegasusWMSSplit.pnml
 - example/PegasusWMS/Split/pione-package.json
+- example/ScoreAggregation/Package.pione
+- example/ScoreAggregation/ScoreAggregation.action.md
 - example/ScoreAggregation/ScoreAggregation.pione
+- example/ScoreAggregation/ScoreAggregation.pnml
 - example/ScoreAggregation/bin/apply-template.rb
 - example/ScoreAggregation/bin/histgram-graph.sh
 - example/ScoreAggregation/bin/mean-summary.rb
@@ -685,7 +742,10 @@ files:
 - example/ScoreAggregation/scenario/case1/input/Z.score
 - example/ScoreAggregation/scenario/case1/input/stat-template.erb
 - example/ScoreAggregation/scenario/case1/pione-scenario.json
+- example/SelectRuleByParam/Package.pione
+- example/SelectRuleByParam/SelectRuleByParam.action.md
 - example/SelectRuleByParam/SelectRuleByParam.pione
+- example/SelectRuleByParam/SelectRuleByParam.pnml
 - example/SelectRuleByParam/pione-package.json
 - example/SelectRuleByParam/scenario/a/Scenario.pione
 - example/SelectRuleByParam/scenario/a/output/message.txt
@@ -696,17 +756,30 @@ files:
 - example/SelectRuleByParam/scenario/c/Scenario.pione
 - example/SelectRuleByParam/scenario/c/output/message.txt
 - example/SelectRuleByParam/scenario/c/pione-scenario.json
+- example/SequentialParameter/Package.pione
 - example/SequentialParameter/SequentialParameter.pione
+- example/SequentialParameter/SequentialParameter.pnml
+- example/SequentialParameter/pione-package.json
+- example/SerialProcessing/A.pione
+- example/SerialProcessing/A.pnml
+- example/SerialProcessing/B.pione
+- example/SerialProcessing/B.pnml
+- example/SerialProcessing/Package.pione
 - example/SerialProcessing/SerialProcessing.pione
+- example/SerialProcessing/SerialProcessing.pnml
 - example/SerialProcessing/pione-package.json
 - example/SerialProcessing/scenario/Scenario.pione
 - example/SerialProcessing/scenario/pione-scenario.json
+- example/SieveOfEratosthenes/CreateUndeterminedNumbers.pnml
+- example/SieveOfEratosthenes/Package.pione
+- example/SieveOfEratosthenes/Sieve.pnml
 - example/SieveOfEratosthenes/SieveOfEratosthenes.pione
-- example/SingleParticlesWithRef/Makefile
-- example/SingleParticlesWithRef/SingleParticlesWithRef.Display2.pione
-- example/SingleParticlesWithRef/SingleParticlesWithRef.Makefile
+- example/SieveOfEratosthenes/SieveOfEratosthenes.pnml
+- example/SingleParticlesWithRef/Create3dinfo.pnml
+- example/SingleParticlesWithRef/Package.pione
+- example/SingleParticlesWithRef/SingleParticlesWithRef.action.md
 - example/SingleParticlesWithRef/SingleParticlesWithRef.pione
-- example/SingleParticlesWithRef/SingleParticlesWithRefFull.pione
+- example/SingleParticlesWithRef/SingleParticlesWithRef.pnml
 - example/SingleParticlesWithRef/data/121p-shift-0-0-0.roi
 - example/SingleParticlesWithRef/data/121p-shift-0-120-0.roi
 - example/SingleParticlesWithRef/data/121p-shift-0-180-0.roi
@@ -782,31 +855,93 @@ files:
 - example/SingleParticlesWithRef/data/121p-shift.pdb
 - example/SingleParticlesWithRef/data/all.ref2d
 - example/SingleParticlesWithRef/data/all.ref3d
+- example/SingleParticlesWithRef/misc/Makefile
+- example/SingleParticlesWithRef/misc/SingleParticlesWithRef.Display2.pione
+- example/SingleParticlesWithRef/misc/SingleParticlesWithRef.Makefile
+- example/SingleParticlesWithRef/misc/SingleParticlesWithRefFull.pione
+- example/Sum/CalcEachLine.pione
+- example/Sum/CalcEachLine.pnml
+- example/Sum/Package.pione
+- example/Sum/Sum.action.md
 - example/Sum/Sum.pione
+- example/Sum/Sum.pnml
 - example/Sum/pione-package.json
 - example/Sum/scenario/Scenario.pione
 - example/Sum/scenario/input/list.txt
 - example/Sum/scenario/output/sum.txt
 - example/Sum/scenario/pione-scenario.json
+- example/Touch/Package.pione
 - example/Touch/Touch.pione
+- example/Touch/Touch.pnml
 - example/Touch/pione-package.json
+- example/WorkflowPatterns/01_Sequence/Package.pione
 - example/WorkflowPatterns/01_Sequence/Sequence.pione
+- example/WorkflowPatterns/01_Sequence/Sequence.pnml
+- example/WorkflowPatterns/01_Sequence/pione-package.json
+- example/WorkflowPatterns/02_PrallelSplit/Package.pione
 - example/WorkflowPatterns/02_PrallelSplit/ParallelSplit.pione
+- example/WorkflowPatterns/02_PrallelSplit/ParallelSplit.pnml
+- example/WorkflowPatterns/02_PrallelSplit/pione-package.json
+- example/WorkflowPatterns/03_Synchronization/Package.pione
 - example/WorkflowPatterns/03_Synchronization/Synchronization.pione
+- example/WorkflowPatterns/03_Synchronization/Synchronization.pnml
+- example/WorkflowPatterns/03_Synchronization/pione-package.json
 - example/WorkflowPatterns/04_ExclusiveChoice/ExclusiveChoice.pione
+- example/WorkflowPatterns/04_ExclusiveChoice/ExclusiveChoice.pnml
+- example/WorkflowPatterns/04_ExclusiveChoice/Package.pione
+- example/WorkflowPatterns/04_ExclusiveChoice/pione-package.json
+- example/WorkflowPatterns/05_SimpleMerge/Package.pione
 - example/WorkflowPatterns/05_SimpleMerge/SimpleMerge.pione
+- example/WorkflowPatterns/05_SimpleMerge/SimpleMerge.pnml
+- example/WorkflowPatterns/05_SimpleMerge/pione-package.json
 - example/WorkflowPatterns/06_MultiChoice/MultiChoice.pione
+- example/WorkflowPatterns/06_MultiChoice/MultiChoice.pnml
+- example/WorkflowPatterns/06_MultiChoice/Package.pione
+- example/WorkflowPatterns/06_MultiChoice/pione-package.json
+- example/WorkflowPatterns/07_StructuredSynchronizingMerge/Package.pione
 - example/WorkflowPatterns/07_StructuredSynchronizingMerge/StructuredSynchronizingMerge.pione
+- example/WorkflowPatterns/07_StructuredSynchronizingMerge/StructuredSynchronizingMerge.pnml
 - example/WorkflowPatterns/08_MultiMerge/MultiMerge.pione
+- example/WorkflowPatterns/08_MultiMerge/MultiMerge.pnml
+- example/WorkflowPatterns/08_MultiMerge/Package.pione
+- example/WorkflowPatterns/08_MultiMerge/pione-package.json
 - example/WorkflowPatterns/11_ImplicitTermination/ImplicitTermination.pione
+- example/WorkflowPatterns/11_ImplicitTermination/ImplicitTermination.pnml
+- example/WorkflowPatterns/11_ImplicitTermination/Package.pione
+- example/WorkflowPatterns/11_ImplicitTermination/pione-package.json
 - example/WorkflowPatterns/12_MultipleInstancesWithoutSynchronization/MultipleInstancesWithoutSynchronization.pione
+- example/WorkflowPatterns/12_MultipleInstancesWithoutSynchronization/MultipleInstancesWithoutSynchronization.pnml
+- example/WorkflowPatterns/12_MultipleInstancesWithoutSynchronization/Package.pione
+- example/WorkflowPatterns/12_MultipleInstancesWithoutSynchronization/pione-package.json
 - example/WorkflowPatterns/13_MultipleInstancesWithDesignTimeKnowledge/MultipleInstancesWithDesignTimeKnowledge.pione
+- example/WorkflowPatterns/13_MultipleInstancesWithDesignTimeKnowledge/MultipleInstancesWithDesignTimeKnowledge.pnml
+- example/WorkflowPatterns/13_MultipleInstancesWithDesignTimeKnowledge/Package.pione
+- example/WorkflowPatterns/13_MultipleInstancesWithDesignTimeKnowledge/pione-package.json
 - example/WorkflowPatterns/14_MultipleInstancesWithRunTimeKnowledge/MultipleInstancesWithRunTimeKnowledge.pione
+- example/WorkflowPatterns/14_MultipleInstancesWithRunTimeKnowledge/MultipleInstancesWithRunTimeKnowledge.pnml
+- example/WorkflowPatterns/14_MultipleInstancesWithRunTimeKnowledge/Package.pione
+- example/WorkflowPatterns/14_MultipleInstancesWithRunTimeKnowledge/pione-package.json
 - example/WorkflowPatterns/33_GeneralizedANDJoin/GeneralizedANDJoin.pione
+- example/WorkflowPatterns/33_GeneralizedANDJoin/GeneralizedANDJoin.pnml
+- example/WorkflowPatterns/33_GeneralizedANDJoin/Package.pione
+- example/WorkflowPatterns/33_GeneralizedANDJoin/pione-package.json
+- example/WorkflowPatterns/37_LocalSynchronizingMerge/A.pione
+- example/WorkflowPatterns/37_LocalSynchronizingMerge/A.pnml
 - example/WorkflowPatterns/37_LocalSynchronizingMerge/LocalSynchronizingMerge.pione
+- example/WorkflowPatterns/37_LocalSynchronizingMerge/LocalSynchronizingMerge.pnml
+- example/WorkflowPatterns/37_LocalSynchronizingMerge/Package.pione
+- example/WorkflowPatterns/37_LocalSynchronizingMerge/pione-package.json
 - example/WorkflowPatterns/38_GeneralSynchronizingMerge/GeneralSynchronizingMerge.pione
+- example/WorkflowPatterns/38_GeneralSynchronizingMerge/GeneralSynchronizingMerge.pnml
+- example/WorkflowPatterns/38_GeneralSynchronizingMerge/Package.pione
+- example/WorkflowPatterns/41_ThreadMerge/A.pnml
+- example/WorkflowPatterns/41_ThreadMerge/A1.pnml
+- example/WorkflowPatterns/41_ThreadMerge/Package.pione
 - example/WorkflowPatterns/41_ThreadMerge/ThreadMerge.pione
+- example/WorkflowPatterns/41_ThreadMerge/ThreadMerge.pnml
+- example/WorkflowPatterns/42_ThreadSplit/Package.pione
 - example/WorkflowPatterns/42_ThreadSplit/ThreadSplit.pione
+- example/WorkflowPatterns/42_ThreadSplit/ThreadSplit.pnml
 - lib/pione.rb
 - lib/pione/agent.rb
 - lib/pione/agent/agent-exception.rb
@@ -852,6 +987,7 @@ files:
 - lib/pione/command/pione-notification-listener.rb
 - lib/pione/command/pione-package-add.rb
 - lib/pione/command/pione-package-build.rb
+- lib/pione/command/pione-package-remove.rb
 - lib/pione/command/pione-package-show.rb
 - lib/pione/command/pione-package-update.rb
 - lib/pione/command/pione-package.rb
@@ -934,7 +1070,7 @@ files:
 - lib/pione/literate-action.rb
 - lib/pione/literate-action/document.rb
 - lib/pione/literate-action/handler.rb
-- lib/pione/literate-action/parser.rb
+- lib/pione/literate-action/markdown-parser.rb
 - lib/pione/location.rb
 - lib/pione/location/basic-location.rb
 - lib/pione/location/broadcast-scheme.rb
@@ -997,20 +1133,24 @@ files:
 - lib/pione/pnml.rb
 - lib/pione/pnml/annotation-extractor.rb
 - lib/pione/pnml/compiler.rb
+- lib/pione/pnml/declaration-extractor.rb
 - lib/pione/pnml/input-merge-complement.rb
 - lib/pione/pnml/input-parallelization-complement.rb
 - lib/pione/pnml/input-reduction.rb
 - lib/pione/pnml/invalid-arc-elimination.rb
 - lib/pione/pnml/io-expansion.rb
 - lib/pione/pnml/isolated-element-elimination.rb
+- lib/pione/pnml/label-extractor.rb
 - lib/pione/pnml/net-rewriter.rb
 - lib/pione/pnml/output-decomposition-complement.rb
 - lib/pione/pnml/output-reduction.rb
 - lib/pione/pnml/output-synchronization-complement.rb
+- lib/pione/pnml/parser.rb
 - lib/pione/pnml/pione-model.rb
 - lib/pione/pnml/pnml-exception.rb
 - lib/pione/pnml/pnml-model.rb
 - lib/pione/pnml/reader.rb
+- lib/pione/pnml/ticket-instantiation.rb
 - lib/pione/relay.rb
 - lib/pione/relay/receiver-socket.rb
 - lib/pione/relay/relay-account-db.rb
@@ -1092,6 +1232,7 @@ files:
 - lib/rootage/command.rb
 - lib/rootage/core.rb
 - lib/rootage/exception.rb
+- lib/rootage/help.md.erb
 - lib/rootage/help.rb
 - lib/rootage/help.txt.erb
 - lib/rootage/log.rb
@@ -1228,7 +1369,7 @@ files:
 - test/literate-action/data/HelloWorld.md
 - test/literate-action/spec_document.rb
 - test/literate-action/spec_handler.rb
-- test/literate-action/spec_parser.rb
+- test/literate-action/spec_markdown-parser.rb
 - test/location/data/myftp-scheme.yml
 - test/location/http-behavior.rb
 - test/location/location-behavior.rb
@@ -1377,6 +1518,7 @@ files:
 - test/pnml/spec_invalid-arc-elimination.rb
 - test/pnml/spec_io-expansion.rb
 - test/pnml/spec_isolated-element-elimination.rb
+- test/pnml/spec_label-extractor.rb
 - test/pnml/spec_output-decomposition-complement.rb
 - test/pnml/spec_output-reduction.rb
 - test/pnml/spec_output-synchronization-complement.rb
@@ -1448,9 +1590,9 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: 1.9.3
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ! '>='
+  - - ! '>'
     - !ruby/object:Gem::Version
-      version: '0'
+      version: 1.3.1
 requirements: []
 rubyforge_project: 
 rubygems_version: 2.1.11
@@ -1579,7 +1721,7 @@ test_files:
 - test/literate-action/data/HelloWorld.md
 - test/literate-action/spec_document.rb
 - test/literate-action/spec_handler.rb
-- test/literate-action/spec_parser.rb
+- test/literate-action/spec_markdown-parser.rb
 - test/location/data/myftp-scheme.yml
 - test/location/http-behavior.rb
 - test/location/location-behavior.rb
@@ -1728,6 +1870,7 @@ test_files:
 - test/pnml/spec_invalid-arc-elimination.rb
 - test/pnml/spec_io-expansion.rb
 - test/pnml/spec_isolated-element-elimination.rb
+- test/pnml/spec_label-extractor.rb
 - test/pnml/spec_output-decomposition-complement.rb
 - test/pnml/spec_output-reduction.rb
 - test/pnml/spec_output-synchronization-complement.rb