cpee-transformation 1.0.0

data/lib/cpee/transformation/cpee.rb

@@ -0,0 +1,309 @@
+# encoding: UTF-8
+#
+# This file is part of CPEE-TRANSFORMATION.
+#
+# CPEE-TRANSFORMATION is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or (at your
+# option) any later version.
+#
+# CPEE-TRANSFORMATION is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+# FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License
+# for more details.
+#
+# You should have received a copy of the GNU Lesser General Public License
+# along with CPEE-TRANSFORMATION (file COPYING in the main directory). If not,
+# see <http://www.gnu.org/licenses/>.
+
+require_relative 'target'
+require 'xml/smart'
+
+module CPEE
+
+  module Transformation
+
+    module Source #{{{
+
+      class CPEE
+        attr_reader :tree, :start, :dataelements, :endpoints, :graph, :traces
+
+         def initialize(text)
+          @tree = Tree.new
+          @start = nil
+          @nids = []
+
+          @dataelements = {}
+          @endpoints = {}
+          @graph = Graph.new
+
+          extract_original(text)
+
+          if @start.nil?
+            @traces = Traces.new [[]]
+          else
+            @traces = Traces.new [[@start]]
+          end
+        end
+
+        def id_find(nid)
+          nid = 'g0' unless nid
+          while @nids.include?(nid)
+            nid.next!
+          end
+          @nids << nid
+          nid
+        end
+
+        def dive(node,n1=nil,condition=nil,otherwise=false)
+          if node.children.empty?
+            return n1
+          end
+          if n1.nil?
+            nid = id_find(node.attributes['id'] || node.attributes['eid'])
+            n1 = @start = Node.new(0,nid,:startEvent,'',0,1)
+          end
+          node.children.each do |ele|
+            case ele.qname.name
+              when 'loop'
+                if ele.attributes['mode'] == 'pre_test'
+                  nid = id_find(ele.attributes['eid'])
+                  nx = Node.new(0,nid,:exclusiveGateway,nil,2,2)
+                  @graph.add_node nx
+                  @graph.add_link Link.new(n1.id, nx.id, condition, otherwise)
+
+                  condition = nil
+                  bn = dive ele, nx, ele.attributes['condition']
+
+                  @graph.add_link Link.new(bn.id, nx.id)
+                  n1 = nx
+                else
+                  nid = id_find(ele.attributes['eid'])
+                  nx = Node.new(0,nid,:exclusiveGateway,nil,2,1)
+                  @graph.add_node nx
+                  @graph.add_link Link.new(n1.id, nx.id, condition, otherwise)
+                  condition = nil
+
+                  bn = dive ele, nx, ele.attributes['condition']
+
+                  no = Node.new(0,nid + 'e',:exclusiveGateway,nil,1,2)
+                  @graph.add_node no
+                  @graph.add_link Link.new(bn.id, no.id)
+                  @graph.add_link Link.new(no.id, nx.id, ele.attributes['condition'])
+                  n1 = no
+                end
+              when 'call'
+                nid = id_find(ele.attributes['id'])
+                no = Node.new(0,nid,:task,ele.find("string(d:parameters/d:label)"),1,1)
+                no.methods << ele.find("string(d:parameters/d:method)")
+                no.endpoints << ele.attributes['endpoint']
+                ele.find("d:parameters/d:arguments/d:*").each do |e|
+                  no.arguments[e.qname.name] = e.text
+                end
+                if (sc = ele.find("d:code/d:*")).any?
+                  no.script_type = 'application/x-ruby'
+                  no.script = sc.map{|e| [e.qname.name,e.text] }.to_h
+                end
+                @graph.add_link Link.new(n1.id, no.id, condition, otherwise)
+                condition = nil
+                @graph.add_node no
+                n1 = no
+              when 'manipulate'
+                nid = id_find(ele.attributes['id'])
+                no = Node.new(0,nid,:scriptTask,ele.attributes['label'].to_s,1,1)
+                no.script_type = 'application/x-ruby'
+                no.script = ele.find("string(d:code)")
+                @graph.add_link Link.new(n1.id, no.id, condition, otherwise)
+                condition = nil
+                @graph.add_node no
+                n1 = no
+              when 'parallel'
+                bra = ele.find('d:parallel_branch')
+                nid = id_find(ele.attributes['eid'])
+                ns = Node.new(0,nid,:parallelGateway,nil,1,bra.length)
+                ns.attributes[:wait] = ele.attributes['wait'] || -1
+                ns.attributes[:cancel] = ele.attributes['cancel'] || 'last'
+                @graph.add_link Link.new(n1.id, ns.id, condition, otherwise)
+                condition = nil
+                ne = Node.new(0,nid + 'e',:parallelGateway,nil,1,bra.length)
+                @graph.add_node ns
+                @graph.add_node ne
+                bra.each do |br|
+                  bn = dive br, ns
+                  @graph.add_link Link.new(bn.id, ne.id)
+                end
+                n1 = ne
+              when 'choose'
+                nid = id_find(ele.attributes['eid'])
+                bra = ele.find('d:alternative|d:otherwise')
+                ns = Node.new(0,nid,:exclusiveGateway,ele.attributes['label'],1,bra.length)
+                @graph.add_link Link.new(n1.id, ns.id, condition, otherwise)
+                condition = nil
+                ne = Node.new(0,nid + 'e',:exclusiveGateway,nil,1,bra.length)
+                @graph.add_node ns
+                @graph.add_node ne
+                bra.each do |br|
+                  bn = dive br, ns, br.attributes['condition'], br.qname.name == 'otherwise'
+                  if bn == ns
+                    @graph.add_link Link.new(bn.id, ne.id, br.attributes['condition'], br.qname.name == 'otherwise')
+                  else
+                    @graph.add_link Link.new(bn.id, ne.id)
+                  end
+                end
+                n1 = ne
+              when 'escape'
+                nid = id_find(ele.attributes['eid'])
+                no = Node.new(0,nid,:break,'',1,1)
+                @graph.add_link Link.new(n1.id, no.id, condition, otherwise)
+                @graph.add_node no
+                condition = nil
+                n1 = no
+            end
+          end
+          n1
+        end
+        private :dive
+
+        def extract_original(text)
+          doc = XML::Smart::string(text)
+          doc.register_namespace :d, 'http://cpee.org/ns/description/1.0'
+          bn = dive doc.root
+          ne = Node.new(0,Digest::MD5.hexdigest(Kernel::rand().to_s),:endEvent,'',1,0)
+          @graph.add_node ne
+          @graph.add_link Link.new(bn.id, ne.id)
+        end
+
+      end
+
+    end #}}}
+
+    module Target #{{{
+
+      class CPEE < Default
+
+        def generate
+          @nids = []
+          @eid = 0
+          res = XML::Smart.string("<description xmlns='http://cpee.org/ns/description/1.0' xmlns:a='http://cpee.org/ns/annotation/1.0'/>")
+          res.register_namespace 'd', 'http://cpee.org/ns/description/1.0'
+          res.register_namespace 'a', 'http://cpee.org/ns/annotation/1.0'
+          generate_in_list(@tree,res.root)
+          res.to_s
+        end
+
+        private
+          def print_Break(node,res)
+            res.add('escape', 'a:alt_id' => node.id)
+            res
+          end
+
+          def print_Loop(node,res)
+            eid = "e#{(@eid += 1)}"
+            if node.sub.length == 2 && node.sub[1].condition.empty? && ((node.sub[1].length == 1 && node.sub[1][0].class.name.gsub(/\w+:+/,'') == 'Break') ||  node.sub[1].length == 0)
+              s1 = res.add('loop', 'mode' => node.mode, 'condition' => node.sub[0].condition.empty? ? 'true' : node.sub[0].condition.join(' && '), 'a:alt_id' => node.id, 'eid' => eid)
+              s1.attributes['language'] = node.sub[0].condition_type unless node.sub[0].condition_type.nil?
+              node.sub[0].attributes.each do |k,v|
+                s1.attributes[k] = v
+              end
+              generate_in_list(node.sub[0],s1)
+            else
+              s1 = res.add('loop', 'mode' => node.mode, 'condition' => node.sub[0].condition.empty? ? 'true' : node.sub[0].condition.join(' && '), 'eid' => eid)
+              if node.sub.length == 1
+                generate_in_list(node.sub[0],s1)
+              else
+                print_Conditional(node,s1)
+              end
+            end
+            res
+          end
+
+          def print_Node(node,res)
+            ### make sure nids are not duplicate
+            nid = "a#{node.niceid}"
+            nic = node.niceid
+            while @nids.include?(nid)
+              nid = "a#{nic += 1}"
+            end
+            @nids << nid
+            ###
+            if node.endpoints.empty? && ((!node.script.nil? && node.script.strip != '') || node.type == :scriptTask)
+              n = res.add('d:manipulate', 'id' => nid, 'a:alt_id' => node.id)
+              n.attributes['label'] = node.label.gsub(/"/,"\\\"")
+              nc = n.add('d:code',node.script)
+              nc.attributes['output'] = node.script_var unless node.script_var.nil?
+              nc.attributes['language'] = node.script_type unless node.script_type.nil?
+            else
+              n   = res.add('d:call', 'id' => nid, 'endpoint' => node.endpoints.join(','), 'a:alt_id' => node.id)
+              p   = n.add('d:parameters')
+                    p.add('d:label',"#{node.label}")
+                    p.add('d:method',node.methods.join(',') || 'post')
+              par = p.add('d:arguments')
+              node.arguments.each do |k,v|
+                par.add(k,v)
+              end
+              if !node.script.nil? && ((node.script.is_a?(String) && node.script.strip != '') ||  node.script.is_a?(Hash))
+                y = n.add('d:code')
+                if node.script.is_a?(String)
+                  x = y.add('d:finalize',node.script)
+                  x.attributes['output'] = node.script_var unless node.script_var.nil?
+                  x.attributes['language'] = node.script_type unless node.script_type.nil?
+                else
+                  node.script.each do |k,v|
+                    x = y.add('d:' + k,v)
+                    x.attributes['output'] = node.script_var unless node.script_var.nil? || k == 'prepare'
+                    x.attributes['language'] = node.script_type unless node.script_type.nil?
+                  end
+                end
+              end
+              n
+            end
+            res
+          end
+
+          def print_Parallel(node,res)
+            eid = "e#{(@eid += 1)}"
+            s1 = res.add('parallel','wait' => node.wait, 'cancel' => node.cancel, 'a:alt_id' => node.id, 'eid' => eid)
+            node.sub.each do |branch|
+              bid = "e#{(@eid += 1)}"
+              s2 = s1.add('parallel_branch', 'eid' => bid)
+              generate_in_list(branch,s2)
+            end
+            res
+          end
+
+          def print_Conditional(node,res)
+            eid = "e#{(@eid += 1)}"
+            s1 = res.add('d:choose', 'label' => node.label, 'mode' => node.mode == :inclusive ? 'inclusive' : 'exclusive', 'a:alt_id' => node.id, 'eid' => eid)
+            otherwise = false
+            node.sub.each do |branch|
+              bid = "e#{(@eid += 1)}"
+              s2 = if branch.condition.any?
+                a = s1.add('d:alternative','condition' => branch.condition.join(' or '), 'eid' => bid)
+                a.attributes['language'] = branch.condition_type unless branch.condition_type.nil?
+                a
+              else
+                if branch.otherwise || !otherwise
+                  otherwise = true
+                  s1.add('d:otherwise', 'eid' => bid)
+                else
+                  s1.add('d:alternative', 'condition' => '', 'eid' => bid)
+                end
+              end
+              branch.attributes.each do |k,v|
+                s2.attributes[k] = v
+              end
+              generate_in_list(branch,s2)
+            end
+            if (x = s1.find('d:otherwise')).any?
+              s1.add x
+            end
+            res
+          end
+
+      end
+
+    end #}}}
+
+  end
+
+end

data/lib/cpee/transformation/dataflow.rb

@@ -0,0 +1,127 @@
+# encoding: UTF-8
+#
+# This file is part of cpee-transformation.
+#
+# cpee-transformation is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or (at your
+# option) any later version.
+#
+# cpee-transformation is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+# FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License
+# for more details.
+#
+# You should have received a copy of the GNU Lesser General Public License
+# along with cpee-transformation (file COPYING in the main directory).  If not,
+# see <http://www.gnu.org/licenses/>.
+
+require_relative 'target'
+require 'xml/smart'
+
+module CPEE
+
+  module Transformation
+
+    module Target #{{{
+
+      class DataFlow < Default
+
+        def generate
+          res = {
+            "tasks" => {},
+            "gateway_conditions" => {}
+          }
+          generate_in_list(@tree,res)
+          res
+        end
+
+        private
+
+          def print_Node(node,res) #{{{
+            if node.type == :scriptTask
+              res["tasks"][node.id] = {
+                "label" => node.label,
+                "url" => "script",
+                "script" => node.script
+              }
+            else
+
+              temp = {
+               "label" => node.label,
+               "url" => node.endpoints[0],
+              }
+
+              if !node.script.nil?
+                final = node.script['finalize']
+                temp["output"] = final.split(";").to_h { |pair| pair.split("=", 2) }
+              end
+
+              if node.arguments.length > 0
+                temp["input"] = node.arguments
+              end
+              res["tasks"][node.id] = temp
+            end
+            @last = node.id
+            res
+          end #}}}
+
+          def print_Loop(node,res) #{{{
+            gid = "#{node.id}s"
+            condition = node.sub[0].condition.empty? ? 'true' : node.sub[0].condition.join(' && ')
+            res["gateway_conditions"][gid] = {
+              "type" => "exclusive",
+              "source_task" => @last,
+              "label" => "Loop condition",
+              "branches" => {"Loop condition" => condition}
+            }
+            if node.sub.length >=2
+              node.sub.each do |branch|
+               cond = branch.condition.any? ? branch.condition[0] : nil
+               if  branch.length >= 1
+                 generate_in_list(branch,res)
+               end
+              end
+            end
+            res
+          end #}}}
+
+          def print_Conditional(node,res) #{{{
+            gid = "#{node.id}s"
+            temp = {
+              "type" => node.mode.to_s,
+              "source_task" => @last,
+              "label" => node.label,
+              "branches" => {}
+            }
+            @last = node.id
+            node.sub.each do |branch|
+              cond = branch.condition.any? ? branch.condition[0] : nil
+              cur_id = @last.next
+              @last = cur_id
+              temp["branches"][cur_id] = cond
+            end
+            res["gateway_conditions"][gid] = temp
+            res
+          end #}}}
+
+           def print_Inclusive(node,res) #{{{
+             print_Conditional(node,res)
+             res
+           end #}}}
+
+          def print_Parallel(node,res) #{{{
+            res
+          end #}}}
+
+          def print_Break(node,res) #{{{
+            res
+          end #}}}
+
+      end
+
+    end #}}}
+
+  end
+
+end

data/lib/cpee/transformation/graphviz.rb

@@ -0,0 +1,100 @@
+# encoding: UTF-8
+#
+# This file is part of CPEE-TRANSFORMATION.
+#
+# CPEE-TRANSFORMATION is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or (at your
+# option) any later version.
+#
+# CPEE-TRANSFORMATION is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+# FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License
+# for more details.
+#
+# You should have received a copy of the GNU Lesser General Public License
+# along with CPEE-TRANSFORMATION (file COPYING in the main directory).  If not,
+# see <http://www.gnu.org/licenses/>.
+
+require_relative 'structures'
+
+module CPEE
+
+  module Transformation
+
+    module Source
+
+      class Graphviz
+        attr_reader :tree, :start, :dataelements, :endpoints, :graph, :traces
+
+         def initialize(text) #{{{
+          Node.class_variable_set(:@@niceid,  {})
+
+          @tree = Tree.new
+          @start = nil
+
+          @dataelements = {}
+          @endpoints = {}
+          @graph = Graph.new
+
+          extract_nodelink(text)
+
+          @traces = Traces.new [[@start]]
+        end #}}}
+
+				def map_nodes(shape,label)
+					case [shape,label]
+            when ['rectangle',nil];    :task
+            when ['diamond','AND'];    :parallelGateway
+            when ['diamond','and'];    :parallelGateway
+            when ['diamond','X'];      :exclusiveGateway
+            when ['diamond','x'];      :exclusiveGateway
+            when ['diamond','*'];      :eventBasedGateway
+            when ['diamond','o'];      :inclusiveGateway
+            when ['circle',''];        :startEvent
+            when ['circle',nil];       :startEvent
+            when ['doublecircle',''];  :endEvent
+            when ['doublecircle',nil]; :endEvent
+						else
+							nil
+					end
+				end
+				private :map_nodes
+
+        def extract_nodelink(text) #{{{
+          text.each_line do |line|
+            if line =~ /^\s*"([^"]+)"\[shape=([a-z]+)(\slabel="([^"]*)")?\]\s*;?/
+              id = $1
+              type = map_nodes($2,$4)
+              label = id
+
+              label.sub(/^'/,'')
+              label.sub(/'$/,'')
+              label.sub(/^"/,'')
+              label.sub(/"$/,'')
+
+              n = Node.new(0,id,type,label,0,1)
+              @graph.add_node n
+
+							@start = n if n.type == :startEvent && @start == nil
+            end
+          end
+          text.each_line do |line|
+            if line =~ /^\s*"([^"]+)"\s+->\s+"([^"]+)"(\s*\[(label="([^"]*)")?\])?\s*;?/
+              lid = $1
+              rid = $2
+              cond = $5
+
+							@graph.add_link Link.new(lid, rid, cond.nil? ? nil : cond)
+            end
+          end
+        end #}}}
+
+      end
+
+    end
+
+
+  end
+
+end

data/lib/cpee/transformation/implementation.rb

@@ -0,0 +1,144 @@
+#!/usr/bin/ruby
+#
+# This file is part of CPEE-TRANSFORMATION.
+#
+# CPEE-TRANSFORMATION is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or (at your
+# option) any later version.
+#
+# CPEE-TRANSFORMATION is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+# FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License
+# for more details.
+#
+# You should have received a copy of the GNU Lesser General Public License
+# along with CPEE-TRANSFORMATION (file COPYING in the main directory). If not,
+# see <http://www.gnu.org/licenses/>.
+
+require 'riddl/server'
+require 'json'
+require 'timeout'
+require_relative 'bpmn2'
+require_relative 'mermaid'
+require_relative 'graphviz'
+require_relative 'transformer'
+require_relative 'cpee'
+
+module CPEE
+
+  module Transformation
+
+    module Service
+
+      SERVER = File.expand_path(File.join(__dir__,'implementation.xml'))
+
+      class ExtractDescription < Riddl::Implementation #{{{
+        def response
+          source = case @h['RIDDL_DECLARATION_PATH'].split('/')[-1]
+            when 'cpee'
+              CPEE::Transformation::Source::CPEE.new(@p[0].value.read)
+            when 'bpmn2'
+              CPEE::Transformation::Source::BPMN2.new(@p[0].value.read)
+            when 'mermaid'
+              CPEE::Transformation::Source::Mermaid.new(@p[0].value.read)
+            when 'graphviz'
+              CPEE::Transformation::Source::Graphviz.new(@p[0].value.read)
+            else
+              nil
+          end
+          mtype, target = case @h['RIDDL_DECLARATION_PATH'].split('/')[-2]
+            when 'cpee'
+              ['text/xml', CPEE::Transformation::Target::CPEE]
+            when 'mermaid'
+              ['text/plain', CPEE::Transformation::Target::Mermaid]
+            when 'text-bf'
+              ['text/plain', CPEE::Transformation::Target::Text_bf]
+            when 'text-df-PO-extended'
+              ['text/plain', CPEE::Transformation::Target::Text_df_PO_extended]
+            when 'text-df-PO-reduced'
+              ['text/plain', CPEE::Transformation::Target::Text_df_PO_reduced]
+            else
+              [nil,nil]
+          end
+          if source.nil? || target.nil?
+            @status = 500
+          else
+            trans = nil
+            begin
+              Timeout.timeout(15) do
+                trans = CPEE::Transformation::Transformer.new(source)
+                trans.build_traces
+                trans.build_tree(false)
+              end
+            rescue Timeout::Error => err
+              puts 'broken model'
+              puts err.message
+              puts err.backtrace
+            ensure
+              if trans
+                xml = trans.generate_model(target)
+                return Riddl::Parameter::Complex.new("description",mtype,xml.to_s)
+              end
+            end
+          end
+        end
+      end #}}}
+
+      class ExtractDataelements < Riddl::Implementation #{{{
+        def response
+          ret = []
+
+          if @h['RIDDL_DECLARATION_PATH'].split('/')[-1] == 'bpmn2'
+            bpmn2 = CPEE::Transformation::Source::BPMN2.new(@p[0].value.read)
+            bpmn2.dataelements.each do |k,v|
+              ret << Riddl::Parameter::Simple.new("name",k)
+              ret << Riddl::Parameter::Simple.new("value",v)
+            end
+          end
+
+          ret
+        end
+      end #}}}
+
+      class ExtractEndpoints < Riddl::Implementation #{{{
+        def response
+          ret = []
+
+          if @h['RIDDL_DECLARATION_PATH'].split('/')[-1] == 'bpmn2'
+            bpmn2 = CPEE::Transformation::Source::BPMN2.new(@p[0].value.read)
+            bpmn2.endpoints.each do |k,v|
+              ret << Riddl::Parameter::Simple.new("name",k)
+              ret << Riddl::Parameter::Simple.new("value",v)
+            end
+          end
+
+          ret
+        end
+      end #}}}
+
+      def self::implementation(opts)
+        Proc.new do
+          interface 'xml_cpee' do
+            run ExtractDescription if post 'xmldedesc'
+            run ExtractDataelements if post 'xmldadesc'
+            run ExtractEndpoints if post 'xmlendesc'
+          end
+          interface 'text_cpee' do
+            run ExtractDescription if post 'plaindedesc'
+            run ExtractDataelements if post 'plaindadesc'
+            run ExtractEndpoints if post 'plainendesc'
+          end
+          interface 'xml_text' do
+            run ExtractDescription if post 'xmldedesc'
+            run ExtractDataelements if post 'xmldadesc'
+            run ExtractEndpoints if post 'xmlendesc'
+          end
+        end
+      end
+
+    end
+
+  end
+
+end