{ "csm": { "nodes": { "0": { "typename": { "type": "string", "value": "StartIcon" }, "position": { "type": "list", "value": [ 559, 157 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "({position:getAttr(\"position\")})" }, "parser": { "type": "code", "value": "({position:getAttr(\"position\")})" }, "$contents": { "type": "map", "value": { "nodes": { "21": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 3, 2 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/Start/0.instance" }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/StartIcon" }, "1": { "typename": { "type": "string", "value": "CQRule3Icon" }, "position": { "type": "list", "value": [ 461, 212 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "({position:getAttr(\"position\")})" }, "parser": { "type": "code", "value": "({position:getAttr(\"position\")})" }, "$contents": { "type": "map", "value": { "nodes": { "1302": { "width": { "type": "double", "value": 200 }, "height": { "type": "double", "value": 50 }, "cornerRadius": { "type": "double", "value": 1 }, "style": { "type": "map", "value": { "fill": "#ffffff", "stroke": "#008000", "stroke-width": "5", "stroke-linecap": "butt", "stroke-linejoin": "miter", "stroke-miterlimit": "4", "stroke-opacity": "1", "fill-opacity": "0.5" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 11, 25 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1303": { "segments": { "type": "string", "value": "M 0.01697481,7.2449841 2.4082848,10.044684 11.016975,1.5335841" }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "round", "stroke-linejoin": "round", "stroke-miterlimit": "4", "stroke-opacity": "1", "stroke-dasharray": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 57, 78 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1304": { "textContent": { "type": "string", "value": ":" }, "style": { "type": "map", "value": { "font-size": "20px", "font-style": "normal", "font-variant": "normal", "font-weight": "bold", "font-stretch": "normal", "text-align": "left", "line-height": "125%", "writing-mode": "lr-tb", "text-anchor": "left", "fill": "#008000", "fill-opacity": "1", "stroke": "none", "font-family": "Arial" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 51, 39 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1305": { "segments": { "type": "string", "value": "M 12.49983,1.5069319 1.50001,12.506752" }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "round", "stroke-linejoin": "round", "stroke-miterlimit": "4", "stroke-opacity": "1", "stroke-dasharray": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 154, 78 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1306": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "font-size": "20px", "font-style": "normal", "font-variant": "normal", "font-weight": "bold", "font-stretch": "normal", "line-height": "125%", "text-anchor": "end", "fill": "#008000", "fill-opacity": "1", "stroke": "none", "font-family": "Arial" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('alias')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 50, 39 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1307": { "textContent": { "type": "string", "value": "FindTransition" }, "style": { "type": "map", "value": { "font-size": "20px", "font-style": "normal", "font-variant": "normal", "font-weight": "bold", "font-stretch": "normal", "text-align": "left", "line-height": "125%", "writing-mode": "lr-tb", "text-anchor": "left", "fill": "#008000", "fill-opacity": "1", "stroke": "none", "font-family": "Arial" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 58, 39 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1308": { "textContent": { "type": "string", "value": "???" }, "style": { "type": "map", "value": { "font-size": "20px", "font-style": "normal", "font-variant": "normal", "font-weight": "bold", "font-stretch": "normal", "text-align": "left", "line-height": "100%", "writing-mode": "lr-tb", "text-anchor": "left", "fill": "#008000", "fill-opacity": "1", "stroke": "none", "font-family": "Arial" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 192, 4 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1309": { "segments": { "type": "string", "value": "M 1,10.3685 7.03183,20.737 13.06367,10.3685 z" }, "style": { "type": "map", "value": { "fill": "#ffffff", "fill-opacity": "0.5", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "butt", "stroke-linejoin": "miter", "stroke-miterlimit": "4", "stroke-opacity": "1" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 105, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1310": { "segments": { "type": "string", "value": "M 1.5,1.5069319 12.49983,12.506752" }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "round", "stroke-linejoin": "round", "stroke-miterlimit": "4", "stroke-opacity": "1", "stroke-dasharray": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 154, 78 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1311": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 33, 38.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "1312": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 25.25, 38.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "1313": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 47.25, 38.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } } }, "edges": [ { "src": "1302", "dest": "1311" }, { "src": "1311", "dest": "1304" }, { "src": "1302", "dest": "1312" }, { "src": "1312", "dest": "1306" }, { "src": "1302", "dest": "1313" }, { "src": "1313", "dest": "1307" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/CQRule3/1.instance" }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CQRule3Icon" }, "2": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "initialLink" }, "position": { "type": "list", "value": [ 570.005999968, 199.14999920000002 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.99077989888724,3.9968038348875483%", "0;24.689529446604496,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "268": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10.985985651218016,3.9968038348875483%", "0;24.44972121651125,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "269": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;10.985985651218016,3.9968038348875483%", "0;24.44972121651125,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "270": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;10.985985651218016,3.9968038348875483%", "0;24.44972121651125,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;5.989980857608998,3.9968038348875483%", "0;24.649561408255607,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "272": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5.989980857608998,3.9968038348875483%", "0;24.649561408255607,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "273": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10.985985651218016,3.9968038348875483%", "0;24.44972121651125,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "274": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.99077989888724,3.9968038348875483%", "0;24.689529446604496,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "275": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8 l6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8.987583733774386,3.9968038348875483%", "0;24.529657293209,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "276": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10.985985651218016,3.9968038348875483%", "0;24.44972121651125,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "277": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5.989980857608998,3.9968038348875483%", "0;24.649561408255607,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "278": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8.987583733774386,3.9968038348875483%", "0;24.529657293209,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "279": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;5.989980857608998,3.9968038348875483%", "0;24.649561408255607,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "280": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10.985985651218016,3.9968038348875483%", "0;24.44972121651125,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "281": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4.99077989888724,3.9968038348875483%", "0;24.689529446604496,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "282": { "segments": { "type": "string", "value": "m0,0 l10,5 l-10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5.989980857608998,3.9968038348875483%", "0;24.649561408255607,99.92009587217893%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736125" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "283": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;3.990004825608935,0%", "0;-25.349839391744382,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "284": { "segments": { "type": "string", "value": "m0,0 l-10,5 l10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;3.990004825608935,0%", "0;-25.349839391744382,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "285": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;3.990004825608935,0%", "0;-25.349839391744382,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "286": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;8.986009619217953,0%", "0;-25.54967958348874,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;6.987607701774323,0%", "0;-25.46974350679099,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "288": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 l-3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;2.990803866887177,0%", "0;-25.309871353395494,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "289": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8.986009619217953,0%", "0;-25.54967958348874,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "290": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8.986009619217953,0%", "0;-25.54967958348874,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "291": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;3.990004825608935,0%", "0;-25.349839391744382,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "292": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;3.990004825608935,0%", "0;-25.349839391744382,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "293": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;8.986009619217953,0%", "0;-25.54967958348874,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;6.987607701774323,0%", "0;-25.46974350679099,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "295": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;2.990803866887177,0%", "0;-25.309871353395494,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "296": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8.986009619217953,0%", "0;-25.54967958348874,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "297": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;2.990803866887177,0%", "0;-25.309871353395494,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "298": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8.986009619217953,0%", "0;-25.54967958348874,0%" ] }, "orientation": { "type": "double", "value": "0;87.70938995736155" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/initial/2.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/StartIcon/0.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/initialLink/2.instance": "M569,174L570.005999968,199.14999920000002", "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/initialLink/2.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CQRule3Icon/1.instance": "M570.0029879960479,199.0746999011952L570.9999760320001,223.99940080000002" } }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/initialLink" }, "3": { "typename": { "type": "string", "value": "EndSuccessIcon" }, "position": { "type": "list", "value": [ 611, 546 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "({position:getAttr(\"position\")})" }, "parser": { "type": "code", "value": "({position:getAttr(\"position\")})" }, "$contents": { "type": "map", "value": { "nodes": { "23": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#008000", "stroke-dasharray": "", "fill": "white", "fill-opacity": 1, "font-size": "20px", "stroke-width": 2, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 2, 2 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "26": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#008000", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none", "": "" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 7, 7 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "27": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 7.492540538484263, 6.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } } }, "edges": [ { "src": "23", "dest": "27" }, { "src": "27", "dest": "26" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/EndSuccess/3.instance" }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/EndSuccessIcon" }, "4": { "typename": { "type": "string", "value": "EndFailIcon" }, "position": { "type": "list", "value": [ 694, 284 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "({position:getAttr(\"position\")})" }, "parser": { "type": "code", "value": "({position:getAttr(\"position\")})" }, "$contents": { "type": "map", "value": { "nodes": { "451": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#800000", "stroke-dasharray": "", "fill": "white", "fill-opacity": 1, "font-size": "20px", "stroke-width": 2, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 2, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "455": { "segments": { "type": "string", "value": "M 12.49983,1.5069319 1.50001,12.506752" }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#800000", "stroke-width": "3", "stroke-linecap": "round", "stroke-linejoin": "round", "stroke-miterlimit": "4", "stroke-opacity": "1", "stroke-dasharray": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 5, 4 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "456": { "segments": { "type": "string", "value": "M 1.5,1.5069319 12.49983,12.506752" }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#800000", "stroke-width": "3", "stroke-linecap": "round", "stroke-linejoin": "round", "stroke-miterlimit": "4", "stroke-opacity": "1", "stroke-dasharray": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 5, 4 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "457": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 7.363811097006419, 5.348023328271552 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "458": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 7.3638135362075445, 5.348023328271552 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } } }, "edges": [ { "src": "451", "dest": "457" }, { "src": "457", "dest": "455" }, { "src": "451", "dest": "458" }, { "src": "458", "dest": "456" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/EndFail/4.instance" }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/EndFailIcon" }, "7": { "typename": { "type": "string", "value": "CRuleIcon" }, "position": { "type": "list", "value": [ 470, 316 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "({position:getAttr(\"position\")})" }, "parser": { "type": "code", "value": "({position:getAttr(\"position\")})" }, "$contents": { "type": "map", "value": { "nodes": { "596": { "segments": { "type": "string", "value": "M 1.5,1.5069319 12.49983,12.506752" }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "round", "stroke-linejoin": "round", "stroke-miterlimit": "4", "stroke-opacity": "1", "stroke-dasharray": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 144, 86 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "597": { "segments": { "type": "string", "value": "M 1,10.3685 7.03183,20.737 13.06367,10.3685 z" }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "butt", "stroke-linejoin": "miter", "stroke-miterlimit": "4", "stroke-opacity": "1" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 95, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "598": { "segments": { "type": "string", "value": "M 12.49983,1.5069319 1.50001,12.506752" }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "round", "stroke-linejoin": "round", "stroke-miterlimit": "4", "stroke-opacity": "1", "stroke-dasharray": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 144, 86 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "600": { "segments": { "type": "string", "value": "M 0.01697481,7.2449841 2.4082848,10.044684 11.016975,1.5335841" }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "round", "stroke-linejoin": "round", "stroke-miterlimit": "4", "stroke-opacity": "1", "stroke-dasharray": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 47, 86 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "601": { "width": { "type": "double", "value": 210 }, "height": { "type": "double", "value": 60 }, "cornerRadius": { "type": "double", "value": 1 }, "style": { "type": "map", "value": { "fill": "#ffffff", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "butt", "stroke-linejoin": "miter", "stroke-miterlimit": "4", "stroke-opacity": "1", "fill-opacity": "0.5" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 1, 24 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "602": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "font-size": "20px", "font-style": "normal", "font-variant": "normal", "font-weight": "bold", "font-stretch": "normal", "line-height": "125%", "text-anchor": "end", "fill": "#008000", "fill-opacity": "1", "stroke": "none", "font-family": "Arial" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('alias')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 44, 43 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "603": { "textContent": { "type": "string", "value": "handleTokens" }, "style": { "type": "map", "value": { "font-size": "20px", "font-style": "normal", "font-variant": "normal", "font-weight": "bold", "font-stretch": "normal", "text-align": "left", "line-height": "125%", "writing-mode": "lr-tb", "text-anchor": "left", "fill": "#008000", "fill-opacity": "1", "stroke": "none", "font-family": "Arial" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 52, 43 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "604": { "width": { "type": "double", "value": 200 }, "height": { "type": "double", "value": 50 }, "cornerRadius": { "type": "double", "value": 1 }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "butt", "stroke-linejoin": "miter", "stroke-miterlimit": "4", "stroke-opacity": "1", "fill-opacity": "0.5" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 6, 29 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "605": { "textContent": { "type": "string", "value": ":" }, "style": { "type": "map", "value": { "font-size": "20px", "font-style": "normal", "font-variant": "normal", "font-weight": "bold", "font-stretch": "normal", "text-align": "left", "line-height": "125%", "writing-mode": "lr-tb", "text-anchor": "left", "fill": "#008000", "fill-opacity": "1", "stroke": "none", "font-family": "Arial" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 45, 43 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "606": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 27.380101318328116, 42.57653018725193 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "607": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 19.861485400667107, 42.60135036424299 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "608": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 41.75, 42.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "1235": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 33.386267245208956, 40.06338011405069 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } } }, "edges": [ { "src": "604", "dest": "606" }, { "src": "606", "dest": "605" }, { "src": "604", "dest": "607" }, { "src": "607", "dest": "602" }, { "src": "604", "dest": "608" }, { "src": "608", "dest": "603" }, { "src": "601", "dest": "1235" }, { "src": "1235", "dest": "602" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/CRule/7.instance" }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CRuleIcon" }, "8": { "link-style": { "type": "map", "value": { "stroke": "#800000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "failLink" }, "position": { "type": "list", "value": [ 660, 296.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.05513391709883,99.99035633345557%", "0;-3.4996200350169033,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "268": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.13845921404334,99.99035633345557%", "0;-9.499041415024237,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "269": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;36.13845921404334,99.99035633345557%", "0;-9.499041415024237,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "270": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;36.13845921404334,99.99035633345557%", "0;-9.499041415024237,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;36.06902146658956,99.99035633345557%", "0;-4.499523598351459,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "272": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.06902146658956,99.99035633345557%", "0;-4.499523598351459,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "273": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.13845921404334,99.99035633345557%", "0;-9.499041415024237,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "274": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.05513391709883,99.99035633345557%", "0;-3.4996200350169033,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "275": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8 l6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.11068411506187,99.99035633345557%", "0;-7.499234288355126,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "276": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.13845921404334,99.99035633345557%", "0;-9.499041415024237,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "277": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.06902146658956,99.99035633345557%", "0;-4.499523598351459,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "278": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.11068411506187,99.99035633345557%", "0;-7.499234288355126,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "279": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;36.06902146658956,99.99035633345557%", "0;-4.499523598351459,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "280": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.13845921404334,99.99035633345557%", "0;-9.499041415024237,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "281": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.05513391709883,99.99035633345557%", "0;-3.4996200350169033,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "282": { "segments": { "type": "string", "value": "m0,0 l10,5 l-10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;36.06902146658956,99.99035633345557%", "0;-4.499523598351459,1.3887549490757414%" ] }, "orientation": { "type": "double", "value": "0;0.7957235527392564" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "283": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-35.930562252546224,0%", "0;-5.499517816672778,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "284": { "segments": { "type": "string", "value": "m0,0 l-10,5 l10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-35.930562252546224,0%", "0;-5.499517816672778,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "285": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-35.930562252546224,0%", "0;-5.499517816672778,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "286": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-35.86112450509245,0%", "0;-10.499035633345557,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-35.88889960407391,0%", "0;-8.499228506676445,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "288": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 l-3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-35.94444980203696,0%", "0;-4.499614253338223,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "289": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-35.86112450509245,0%", "0;-10.499035633345557,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "290": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-35.86112450509245,0%", "0;-10.499035633345557,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "291": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-35.930562252546224,0%", "0;-5.499517816672778,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "292": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-35.930562252546224,0%", "0;-5.499517816672778,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "293": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-35.86112450509245,0%", "0;-10.499035633345557,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-35.88889960407391,0%", "0;-8.499228506676445,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "295": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-35.94444980203696,0%", "0;-4.499614253338223,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "296": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-35.86112450509245,0%", "0;-10.499035633345557,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "297": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-35.94444980203696,0%", "0;-4.499614253338223,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "298": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-35.86112450509245,0%", "0;-10.499035633345557,0%" ] }, "orientation": { "type": "double", "value": "0;0.795723552739274" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/fail/8.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CQRule3Icon/1.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink/8.instance": "M624,296L660,296.5", "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink/8.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/EndFailIcon/4.instance": "M660.074791618842,296.5010387724839L695.9995837191358,296.9999942183213" } }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink" }, "9": { "link-style": { "type": "map", "value": { "stroke": "#008080", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "successLink" }, "position": { "type": "list", "value": [ 545.6281812531931, 313.57909056048084 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;25.47178250427953,85.10360127996731%", "0;11.016478133624787,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "268": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;28.622426466559205,85.10360127996731%", "0;5.9102620568267525,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "269": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;28.622426466559205,85.10360127996731%", "0;5.9102620568267525,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "270": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;28.622426466559205,85.10360127996731%", "0;5.9102620568267525,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;25.996889831326143,85.10360127996731%", "0;10.165442120825105,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "272": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;25.996889831326143,85.10360127996731%", "0;10.165442120825105,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "273": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;28.622426466559205,85.10360127996731%", "0;5.9102620568267525,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "274": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;25.47178250427953,85.10360127996731%", "0;11.016478133624787,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "275": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8 l6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;27.57221181246598,85.10360127996731%", "0;7.6123340824260595,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "276": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;28.622426466559205,85.10360127996731%", "0;5.9102620568267525,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "277": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;25.996889831326143,85.10360127996731%", "0;10.165442120825105,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "278": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;27.57221181246598,85.10360127996731%", "0;7.6123340824260595,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "279": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;25.996889831326143,85.10360127996731%", "0;10.165442120825105,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "280": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;28.622426466559205,85.10360127996731%", "0;5.9102620568267525,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "281": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;25.47178250427953,85.10360127996731%", "0;11.016478133624787,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "282": { "segments": { "type": "string", "value": "m0,0 l10,5 l-10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;25.996889831326143,85.10360127996731%", "0;10.165442120825105,52.510732704660924%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "283": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-21.002644617960073,0%", "0;-18.83427062447919,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "284": { "segments": { "type": "string", "value": "m0,0 l-10,5 l10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-21.002644617960073,0%", "0;-18.83427062447919,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "285": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-21.002644617960073,0%", "0;-18.83427062447919,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "286": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-18.37710798272701,0%", "0;-23.089450688477598,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-19.427322636820236,0%", "0;-21.387378662878234,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "288": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 l-3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-21.527751945006685,0%", "0;-17.983234611679563,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "289": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-18.37710798272701,0%", "0;-23.089450688477598,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "290": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-18.37710798272701,0%", "0;-23.089450688477598,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "291": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-21.002644617960073,0%", "0;-18.83427062447919,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "292": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-21.002644617960073,0%", "0;-18.83427062447919,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "293": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-18.37710798272701,0%", "0;-23.089450688477598,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-19.427322636820236,0%", "0;-21.387378662878234,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "295": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-21.527751945006685,0%", "0;-17.983234611679563,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "296": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-18.37710798272701,0%", "0;-23.089450688477598,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "297": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-21.527751945006685,0%", "0;-17.983234611679563,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "298": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-18.37710798272701,0%", "0;-23.089450688477598,0%" ] }, "orientation": { "type": "double", "value": "0;31.675468738109156" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/success/9.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CQRule3Icon/1.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink/9.instance": "M522,299L545.6281812531931,313.57909056048084", "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink/9.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CRuleIcon/7.instance": "M545.5638577813837,313.53940160979L568.9995344492862,327.9997127453043" } }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink" }, "11": { "typename": { "type": "string", "value": "CQRule3Icon" }, "position": { "type": "list", "value": [ 462, 441 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "({position:getAttr(\"position\")})" }, "parser": { "type": "code", "value": "({position:getAttr(\"position\")})" }, "$contents": { "type": "map", "value": { "nodes": { "1302": { "width": { "type": "double", "value": 200 }, "height": { "type": "double", "value": 50 }, "cornerRadius": { "type": "double", "value": 1 }, "style": { "type": "map", "value": { "fill": "#ffffff", "stroke": "#008000", "stroke-width": "5", "stroke-linecap": "butt", "stroke-linejoin": "miter", "stroke-miterlimit": "4", "stroke-opacity": "1", "fill-opacity": "0.5" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 11, 25 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1303": { "segments": { "type": "string", "value": "M 0.01697481,7.2449841 2.4082848,10.044684 11.016975,1.5335841" }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "round", "stroke-linejoin": "round", "stroke-miterlimit": "4", "stroke-opacity": "1", "stroke-dasharray": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 57, 78 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1304": { "textContent": { "type": "string", "value": ":" }, "style": { "type": "map", "value": { "font-size": "20px", "font-style": "normal", "font-variant": "normal", "font-weight": "bold", "font-stretch": "normal", "text-align": "left", "line-height": "125%", "writing-mode": "lr-tb", "text-anchor": "left", "fill": "#008000", "fill-opacity": "1", "stroke": "none", "font-family": "Arial" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 51, 39 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1305": { "segments": { "type": "string", "value": "M 12.49983,1.5069319 1.50001,12.506752" }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "round", "stroke-linejoin": "round", "stroke-miterlimit": "4", "stroke-opacity": "1", "stroke-dasharray": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 154, 78 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1306": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "font-size": "20px", "font-style": "normal", "font-variant": "normal", "font-weight": "bold", "font-stretch": "normal", "line-height": "125%", "text-anchor": "end", "fill": "#008000", "fill-opacity": "1", "stroke": "none", "font-family": "Arial" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('alias')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 50, 39 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1307": { "textContent": { "type": "string", "value": "FindTransition" }, "style": { "type": "map", "value": { "font-size": "20px", "font-style": "normal", "font-variant": "normal", "font-weight": "bold", "font-stretch": "normal", "text-align": "left", "line-height": "125%", "writing-mode": "lr-tb", "text-anchor": "left", "fill": "#008000", "fill-opacity": "1", "stroke": "none", "font-family": "Arial" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 58, 39 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1308": { "textContent": { "type": "string", "value": "???" }, "style": { "type": "map", "value": { "font-size": "20px", "font-style": "normal", "font-variant": "normal", "font-weight": "bold", "font-stretch": "normal", "text-align": "left", "line-height": "100%", "writing-mode": "lr-tb", "text-anchor": "left", "fill": "#008000", "fill-opacity": "1", "stroke": "none", "font-family": "Arial" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 192, 4 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1309": { "segments": { "type": "string", "value": "M 1,10.3685 7.03183,20.737 13.06367,10.3685 z" }, "style": { "type": "map", "value": { "fill": "#ffffff", "fill-opacity": "0.5", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "butt", "stroke-linejoin": "miter", "stroke-miterlimit": "4", "stroke-opacity": "1" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 105, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1310": { "segments": { "type": "string", "value": "M 1.5,1.5069319 12.49983,12.506752" }, "style": { "type": "map", "value": { "fill": "none", "stroke": "#008000", "stroke-width": "3", "stroke-linecap": "round", "stroke-linejoin": "round", "stroke-miterlimit": "4", "stroke-opacity": "1", "stroke-dasharray": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 154, 78 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "1311": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 33, 38.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "1312": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 25.25, 38.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "1313": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 47.25, 38.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } } }, "edges": [ { "src": "1302", "dest": "1311" }, { "src": "1311", "dest": "1304" }, { "src": "1302", "dest": "1312" }, { "src": "1312", "dest": "1306" }, { "src": "1302", "dest": "1313" }, { "src": "1313", "dest": "1307" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/CQRule3/11.instance" }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CQRule3Icon" }, "12": { "link-style": { "type": "map", "value": { "stroke": "#008080", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "successLink" }, "position": { "type": "list", "value": [ 546.6195648825451, 432.5934779990807 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;29.843776752043823,78.78071663224367%", "0;18.25502264593763,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "268": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;33.53930855042904,78.78071663224367%", "0;13.528179648003004,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "269": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;33.53930855042904,78.78071663224367%", "0;13.528179648003004,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "270": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;33.53930855042904,78.78071663224367%", "0;13.528179648003004,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;30.45969871844136,78.78071663224367%", "0;17.46721547961522,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "272": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;30.45969871844136,78.78071663224367%", "0;17.46721547961522,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "273": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;33.53930855042904,78.78071663224367%", "0;13.528179648003004,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "274": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;29.843776752043823,78.78071663224367%", "0;18.25502264593763,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "275": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8 l6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;32.30746461763397,78.78071663224367%", "0;15.103793980647879,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "276": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;33.53930855042904,78.78071663224367%", "0;13.528179648003004,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "277": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;30.45969871844136,78.78071663224367%", "0;17.46721547961522,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "278": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;32.30746461763397,78.78071663224367%", "0;15.103793980647879,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "279": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;30.45969871844136,78.78071663224367%", "0;17.46721547961522,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "280": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;33.53930855042904,78.78071663224367%", "0;13.528179648003004,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "281": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;29.843776752043823,78.78071663224367%", "0;18.25502264593763,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "282": { "segments": { "type": "string", "value": "m0,0 l10,5 l-10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;30.45969871844136,78.78071663224367%", "0;17.46721547961522,61.592196639754015%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317015" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "283": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-24.53995505055741,0%", "0;-25.532513830692835,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "284": { "segments": { "type": "string", "value": "m0,0 l-10,5 l10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-24.53995505055741,0%", "0;-25.532513830692835,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "285": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-24.53995505055741,0%", "0;-25.532513830692835,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "286": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-21.460345218569728,0%", "0;-29.47154966230505,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-22.6921891513648,0%", "0;-27.895935329660176,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "288": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 l-3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-25.155877016954946,0%", "0;-24.744706664370426,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "289": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-21.460345218569728,0%", "0;-29.47154966230505,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "290": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-21.460345218569728,0%", "0;-29.47154966230505,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "291": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-24.53995505055741,0%", "0;-25.532513830692835,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "292": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-24.53995505055741,0%", "0;-25.532513830692835,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "293": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-21.460345218569728,0%", "0;-29.47154966230505,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-22.6921891513648,0%", "0;-27.895935329660176,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "295": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-25.155877016954946,0%", "0;-24.744706664370426,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "296": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-21.460345218569728,0%", "0;-29.47154966230505,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "297": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-25.155877016954946,0%", "0;-24.744706664370426,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "298": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-21.460345218569728,0%", "0;-29.47154966230505,0%" ] }, "orientation": { "type": "double", "value": "0;38.01894259317016" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/success/12.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CRuleIcon/7.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink/12.instance": "M519,411L546.6195648825451,432.5934779990807", "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink/12.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CQRule3Icon/11.instance": "M546.559609284279,432.5466036222545L573.9996537689988,453.99972931030806" } }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink" }, "13": { "link-style": { "type": "map", "value": { "stroke": "#800000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "failLink" }, "position": { "type": "list", "value": [ 596.3942626739683, 433.1081963336138 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-18.533167562250924,-69.89329478010026%", "0;24.68718110193919,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "268": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-14.24204434784474,-69.89329478010026%", "0;28.880778788745204,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "269": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-14.24204434784474,-69.89329478010026%", "0;28.880778788745204,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "270": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-14.24204434784474,-69.89329478010026%", "0;28.880778788745204,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-17.817980359849912,-69.89329478010026%", "0;25.38611404974023,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "272": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-17.817980359849912,-69.89329478010026%", "0;25.38611404974023,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "273": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-14.24204434784474,-69.89329478010026%", "0;28.880778788745204,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "274": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-18.533167562250924,-69.89329478010026%", "0;24.68718110193919,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "275": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8 l6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-15.672418752646763,-69.89329478010026%", "0;27.482912893143236,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "276": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-14.24204434784474,-69.89329478010026%", "0;28.880778788745204,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "277": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-17.817980359849912,-69.89329478010026%", "0;25.38611404974023,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "278": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-15.672418752646763,-69.89329478010026%", "0;27.482912893143236,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "279": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-17.817980359849912,-69.89329478010026%", "0;25.38611404974023,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "280": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-14.24204434784474,-69.89329478010026%", "0;28.880778788745204,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "281": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-18.533167562250924,-69.89329478010026%", "0;24.68718110193919,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "282": { "segments": { "type": "string", "value": "m0,0 l10,5 l-10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-17.817980359849912,-69.89329478010026%", "0;25.38611404974023,71.51872024010223%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243656" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "283": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;25.18167333803683,0%", "0;-18.613531594608844,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "284": { "segments": { "type": "string", "value": "m0,0 l-10,5 l10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;25.18167333803683,0%", "0;-18.613531594608844,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "285": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;25.18167333803683,0%", "0;-18.613531594608844,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "286": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;28.75760935004189,0%", "0;-15.118866855603812,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;27.327234945239866,0%", "0;-16.516732751205836,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "288": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 l-3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;24.466486135635705,0%", "0;-19.312464542409828,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "289": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;28.75760935004189,0%", "0;-15.118866855603812,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "290": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;28.75760935004189,0%", "0;-15.118866855603812,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "291": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;25.18167333803683,0%", "0;-18.613531594608844,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "292": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;25.18167333803683,0%", "0;-18.613531594608844,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "293": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;28.75760935004189,0%", "0;-15.118866855603812,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;27.327234945239866,0%", "0;-16.516732751205836,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "295": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;24.466486135635705,0%", "0;-19.312464542409828,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "296": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;28.75760935004189,0%", "0;-15.118866855603812,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "297": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;24.466486135635705,0%", "0;-19.312464542409828,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "298": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;28.75760935004189,0%", "0;-15.118866855603812,0%" ] }, "orientation": { "type": "double", "value": "0;134.34145682243638" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/fail/13.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CRuleIcon/7.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink/13.instance": "M618,411L596.3942626739683,433.1081963336138", "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink/13.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CQRule3Icon/11.instance": "M596.4473045349373,433.0539209409943L575.0003463021134,454.999645644349" } }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink" }, "14": { "link-style": { "type": "map", "value": { "stroke": "#800000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "failLink" }, "position": { "type": "list", "value": [ 623, 537 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "268": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "269": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;10,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "270": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;10,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;5,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "272": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "273": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "274": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "275": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8 l6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "276": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "277": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "278": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "279": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;5,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "280": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "281": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "282": { "segments": { "type": "string", "value": "m0,0 l10,5 l-10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5,6.123031769111886e-15%", "0;11,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "283": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "284": { "segments": { "type": "string", "value": "m0,0 l-10,5 l10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "285": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;5,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "286": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;10,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "288": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 l-3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "289": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "290": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "291": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;5,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "292": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;5,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "293": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;10,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;8,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "295": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "296": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "297": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "298": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;10,0%", "0;-11,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/fail/14.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CQRule3Icon/11.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink/14.instance": "M623,526L623,537", "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink/14.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/EndSuccessIcon/3.instance": "M623,537L623,548" } }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink" }, "15": { "link-style": { "type": "map", "value": { "stroke": "#008080", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "successLink" }, "position": { "type": "list", "value": [ 443.6186807076994, 406.5012198755229 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;125.41235929234972,99.99680015359182%", "0;-78.5010995534746,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "268": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;125.46035775642349,99.99680015359182%", "0;-84.50090756269009,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "269": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;125.46035775642349,99.99680015359182%", "0;-84.50090756269009,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "270": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;125.46035775642349,99.99680015359182%", "0;-84.50090756269009,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;125.42035903636202,99.99680015359182%", "0;-79.50106755501054,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "272": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;125.42035903636202,99.99680015359182%", "0;-79.50106755501054,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "273": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;125.46035775642349,99.99680015359182%", "0;-84.50090756269009,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "274": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;125.41235929234972,99.99680015359182%", "0;-78.5010995534746,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "275": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8 l6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;125.4443582683989,99.99680015359182%", "0;-82.50097155961828,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "276": { "segments": { "type": "string", "value": "m0,0 l20,10 l-20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;125.46035775642349,99.99680015359182%", "0;-84.50090756269009,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "277": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;125.42035903636202,99.99680015359182%", "0;-79.50106755501054,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "278": { "segments": { "type": "string", "value": "m0,0 l20,8 l-20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;125.4443582683989,99.99680015359182%", "0;-82.50097155961828,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -8 } } }, "279": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;125.42035903636202,99.99680015359182%", "0;-79.50106755501054,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "280": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;125.46035775642349,99.99680015359182%", "0;-84.50090756269009,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -10 } } }, "281": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;125.41235929234972,99.99680015359182%", "0;-78.5010995534746,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } }, "282": { "segments": { "type": "string", "value": "m0,0 l10,5 l-10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;125.42035903636202,99.99680015359182%", "0;-79.50106755501054,0.7999744012287178%" ] }, "orientation": { "type": "double", "value": "0;0.45835645800042185" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowTail", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } }, "283": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;77.44541658892592,0%", "0;126.49836926125278,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "284": { "segments": { "type": "string", "value": "m0,0 l-10,5 l10,5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;77.44541658892592,0%", "0;126.49836926125278,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "285": { "segments": { "type": "string", "value": "m0,0 l5,5 l-5,5 l-5,-5 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;77.44541658892592,0%", "0;126.49836926125278,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "286": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;77.50951388555126,0%", "0;131.49795839802846,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "287": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8 l-6,-8 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;77.48387496690111,0%", "0;129.49812274331816,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "288": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 l-3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;77.43259712960082,0%", "0;125.49845143389763,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "289": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;77.50951388555126,0%", "0;131.49795839802846,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "290": { "segments": { "type": "string", "value": "m0,0 l-20,10 l20,10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;77.50951388555126,0%", "0;131.49795839802846,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "291": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;77.44541658892592,0%", "0;126.49836926125278,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "292": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;77.44541658892592,0%", "0;126.49836926125278,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -5 } } }, "293": { "r": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;77.50951388555126,0%", "0;131.49795839802846,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "circle-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "294": { "segments": { "type": "string", "value": "m0,0 l-20,8 l20,8" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;77.48387496690111,0%", "0;129.49812274331816,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -8 } } }, "295": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "fill-opacity": 0, "stroke-width": 1, "opacity": 0 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;77.43259712960082,0%", "0;125.49845143389763,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "arrow-empty", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "296": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;77.50951388555126,0%", "0;131.49795839802846,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-black-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } }, "297": { "segments": { "type": "string", "value": "m0,0 l-10,4 l10,4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;77.43259712960082,0%", "0;125.49845143389763,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "triangle-black", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -4 } } }, "298": { "segments": { "type": "string", "value": "m0,0 l10,10 l-10,10 l-10,-10 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#ffffff", "opacity": 0, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;77.50951388555126,0%", "0;131.49795839802846,0%" ] }, "orientation": { "type": "double", "value": "0;179.26547896574522" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "arrow": "arrowHead", "arrowType": "diamond-white-large", "$linkDecoratorInfo": { "type": "map", "value": { "xratio": -1, "yoffset": -10 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/__Transformations__/Transformation/MoTif/success/15.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CQRule3Icon/11.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink/15.instance": "M521,528L443,529L443.6186807076994,406.5012198755229", "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink/15.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CRuleIcon/7.instance": "M443.6186807076994,406.5012198755229L444,331L568.999041024,331.999992328192" } }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink" } }, "edges": [], "metamodels": [ "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons" ] }, "asm": { "nodes": { "0": { "position": { "type": "list", "value": [ 559, 157 ] }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif/Start" }, "1": { "secondInnerQuery": { "type": "string", "value": "/Formalisms/PN_inhibitor/R_inhibitingPlace.model" }, "innerQuery": { "type": "string", "value": "/Formalisms/PN_inhibitor/R_nonFiringTransition.model" }, "query": { "type": "string", "value": "/Formalisms/PN_inhibitor/R_findTransition.model" }, "name": { "type": "string", "value": "FindTransition" }, "alias": { "type": "string", "value": "" }, "position": { "type": "list", "value": [ 461, 212 ] }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif/CQRule3" }, "2": { "$type": "/Formalisms/__Transformations__/Transformation/MoTif/initial" }, "3": { "position": { "type": "list", "value": [ 611, 546 ] }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif/EndSuccess" }, "4": { "position": { "type": "list", "value": [ 694, 284 ] }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif/EndFail" }, "7": { "ref": { "type": "string", "value": "/Formalisms/PN_inhibitor/T_handleTokens.model" }, "name": { "type": "string", "value": "handleTokens" }, "alias": { "type": "string", "value": "" }, "position": { "type": "list", "value": [ 470, 316 ] }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif/CRule" }, "8": { "$type": "/Formalisms/__Transformations__/Transformation/MoTif/fail" }, "9": { "$type": "/Formalisms/__Transformations__/Transformation/MoTif/success" }, "11": { "secondInnerQuery": { "type": "string", "value": "/Formalisms/PN_inhibitor/R_inhibitingPlace.model" }, "innerQuery": { "type": "string", "value": "/Formalisms/PN_inhibitor/R_nonFiringTransition.model" }, "query": { "type": "string", "value": "/Formalisms/PN_inhibitor/R_findTransition.model" }, "name": { "type": "string", "value": "FindTransition" }, "alias": { "type": "string", "value": "" }, "position": { "type": "list", "value": [ 462, 441 ] }, "$type": "/Formalisms/__Transformations__/Transformation/MoTif/CQRule3" }, "12": { "$type": "/Formalisms/__Transformations__/Transformation/MoTif/success" }, "13": { "$type": "/Formalisms/__Transformations__/Transformation/MoTif/fail" }, "14": { "$type": "/Formalisms/__Transformations__/Transformation/MoTif/fail" }, "15": { "$type": "/Formalisms/__Transformations__/Transformation/MoTif/success" } }, "edges": [ { "src": "0", "dest": "2" }, { "src": "2", "dest": "1" }, { "src": "1", "dest": "8" }, { "src": "8", "dest": "4" }, { "src": "1", "dest": "9" }, { "src": "9", "dest": "7" }, { "src": "7", "dest": "12" }, { "src": "12", "dest": "11" }, { "src": "7", "dest": "13" }, { "src": "13", "dest": "11" }, { "src": "11", "dest": "14" }, { "src": "14", "dest": "3" }, { "src": "11", "dest": "15" }, { "src": "15", "dest": "7" } ], "metamodels": [ "/Formalisms/__Transformations__/Transformation/MoTif" ] } }