{ "id": "FM_Model_Transformation", "name": "FM_Model_Transformation", "features": { "Abstract": { "name": "Abstract", "optional": true, "type": "FEATURE", "note": "" }, "All_rules": { "name": "All_rules", "optional": true, "type": "FEATURE", "note": "" }, "Automatic": { "name": "Automatic", "optional": true, "type": "XOR", "note": "" }, "Bidirectional": { "name": "Bidirectional", "optional": true, "type": "XOR", "note": "" }, "Bidirectional_rules": { "name": "Bidirectional_rules", "optional": true, "type": "FEATURE", "note": "" }, "Bidirectionality": { "name": "Bidirectionality", "optional": true, "type": "FEATURE", "note": "" }, "Complementary_pairs": { "name": "Complementary_pairs", "optional": true, "type": "FEATURE", "note": "" }, "Concrete": { "name": "Concrete", "optional": true, "type": "OR", "note": "" }, "Concurrent": { "name": "Concurrent", "optional": true, "type": "FEATURE", "note": "" }, "Conflict_resolution": { "name": "Conflict_resolution", "optional": true, "type": "FEATURE", "note": "" }, "Control": { "name": "Control", "optional": false, "type": "XOR", "note": "" }, "Declarative": { "name": "Declarative", "optional": true, "type": "FEATURE", "note": "" }, "Dedicated_support": { "name": "Dedicated_support", "optional": true, "type": "FEATURE", "note": "" }, "Destructive": { "name": "Destructive", "optional": true, "type": "FEATURE", "note": "" }, "Deterministic": { "name": "Deterministic", "optional": true, "type": "FEATURE", "note": "" }, "Directionality": { "name": "Directionality", "optional": false, "type": "OR", "note": "" }, "Executable": { "name": "Executable", "optional": true, "type": "OR", "note": "" }, "Existing_target": { "name": "Existing_target", "optional": true, "type": "FEATURE", "note": "" }, "Explicit": { "name": "Explicit", "optional": true, "type": "XOR", "note": "" }, "Explicit_condition": { "name": "Explicit_condition", "optional": true, "type": "FEATURE", "note": "" }, "Extension_only": { "name": "Extension_only", "optional": true, "type": "FEATURE", "note": "" }, "External": { "name": "External", "optional": true, "type": "FEATURE", "note": "" }, "Fixpoint_Iteration": { "name": "Fixpoint_Iteration", "optional": true, "type": "FEATURE", "note": "" }, "Form": { "name": "Form", "optional": false, "type": "XOR", "note": "" }, "Graphical": { "name": "Graphical", "optional": true, "type": "FEATURE", "note": "" }, "Graphs": { "name": "Graphs", "optional": true, "type": "FEATURE", "note": "" }, "Imperative": { "name": "Imperative", "optional": true, "type": "FEATURE", "note": "" }, "Implicit": { "name": "Implicit", "optional": true, "type": "FEATURE", "note": "" }, "In-place": { "name": "In-place", "optional": true, "type": "FEATURE", "note": "" }, "Independent": { "name": "Independent", "optional": true, "type": "FEATURE", "note": "" }, "Inheritance": { "name": "Inheritance", "optional": true, "type": "FEATURE", "note": "" }, "Interactive": { "name": "Interactive", "optional": true, "type": "FEATURE", "note": "" }, "Intermediate_structures": { "name": "Intermediate_structures", "optional": true, "type": "FEATURE", "note": "" }, "Internal": { "name": "Internal", "optional": true, "type": "FEATURE", "note": "" }, "LHS/RHS": { "name": "LHS/RHS", "optional": false, "type": "OR", "note": "" }, "LHS/RHS_Syntactic_Separation": { "name": "LHS/RHS_Syntactic_Separation", "optional": true, "type": "FEATURE", "note": "" }, "Logic": { "name": "Logic", "optional": true, "type": "OR", "note": "" }, "Logical_composition": { "name": "Logical_composition", "optional": true, "type": "FEATURE", "note": "" }, "Looping": { "name": "Looping", "optional": true, "type": "FEATURE", "note": "" }, "Manual": { "name": "Manual", "optional": true, "type": "FEATURE", "note": "" }, "Model": { "name": "Model", "optional": true, "type": "OR", "note": "" }, "Model_Transformation": { "name": "Model_Transformation", "optional": true, "type": "FEATURE", "note": "" }, "Modulatiry_mechanisms": { "name": "Modulatiry_mechanisms", "optional": true, "type": "FEATURE", "note": "" }, "New_target": { "name": "New_target", "optional": true, "type": "FEATURE", "note": "" }, "Non-determinism": { "name": "Non-determinism", "optional": true, "type": "FEATURE", "note": "" }, "Non-deterministic": { "name": "Non-deterministic", "optional": true, "type": "OR", "note": "" }, "Non-executable": { "name": "Non-executable", "optional": true, "type": "FEATURE", "note": "" }, "One-point": { "name": "One-point", "optional": true, "type": "FEATURE", "note": "" }, "Organizational_Structure": { "name": "Organizational_Structure", "optional": false, "type": "XOR", "note": "" }, "Parameterization": { "name": "Parameterization", "optional": true, "type": "FEATURE", "note": "" }, "Patterns": { "name": "Patterns", "optional": true, "type": "FEATURE", "note": "" }, "Phasing": { "name": "Phasing", "optional": true, "type": "FEATURE", "note": "" }, "Recursion": { "name": "Recursion", "optional": true, "type": "FEATURE", "note": "" }, "Reuse_mechanisms": { "name": "Reuse_mechanisms", "optional": true, "type": "OR", "note": "" }, "Rule_Iteration": { "name": "Rule_Iteration", "optional": true, "type": "XOR", "note": "" }, "Rule_application_scoping": { "name": "Rule_application_scoping", "optional": true, "type": "OR", "note": "" }, "Rule_application_strategy": { "name": "Rule_application_strategy", "optional": false, "type": "OR", "note": "" }, "Rule_organization": { "name": "Rule_organization", "optional": false, "type": "FEATURE", "note": "" }, "Rule_scheduling": { "name": "Rule_scheduling", "optional": false, "type": "FEATURE", "note": "" }, "Rule_selection": { "name": "Rule_selection", "optional": false, "type": "OR", "note": "" }, "Selected_rules": { "name": "Selected_rules", "optional": true, "type": "FEATURE", "note": "" }, "Semantically_typed": { "name": "Semantically_typed", "optional": true, "type": "FEATURE", "note": "" }, "Separate": { "name": "Separate", "optional": true, "type": "FEATURE", "note": "" }, "Source-Target_relationship": { "name": "Source-Target_relationship", "optional": false, "type": "OR", "note": "" }, "Source-oriented": { "name": "Source-oriented", "optional": true, "type": "FEATURE", "note": "" }, "Storage_location": { "name": "Storage_location", "optional": false, "type": "XOR", "note": "" }, "Strings": { "name": "Strings", "optional": true, "type": "FEATURE", "note": "" }, "Syntactically_typed": { "name": "Syntactically_typed", "optional": true, "type": "FEATURE", "note": "" }, "Syntax": { "name": "Syntax", "optional": false, "type": "OR", "note": "" }, "Target-oriented": { "name": "Target-oriented", "optional": true, "type": "FEATURE", "note": "" }, "Terms": { "name": "Terms", "optional": true, "type": "FEATURE", "note": "" }, "Textual": { "name": "Textual", "optional": true, "type": "FEATURE", "note": "" }, "Tracing": { "name": "Tracing", "optional": false, "type": "FEATURE", "note": "" }, "Transformation_rules": { "name": "Transformation_rules", "optional": false, "type": "FEATURE", "note": "" }, "Typing": { "name": "Typing", "optional": false, "type": "XOR", "note": "" }, "Unidirectional": { "name": "Unidirectional", "optional": true, "type": "FEATURE", "note": "" }, "Untyped": { "name": "Untyped", "optional": true, "type": "FEATURE", "note": "" }, "Update": { "name": "Update", "optional": false, "type": "XOR", "note": "" }, "Variables": { "name": "Variables", "optional": true, "type": "XOR", "note": "" }, "_Form": { "name": "_Form", "optional": false, "type": "OR", "note": "" }, "_Interactive": { "name": "_Interactive", "optional": true, "type": "FEATURE", "note": "" }, "model_source": { "name": "model_source", "optional": true, "type": "FEATURE", "note": "" }, "model_target": { "name": "model_target", "optional": true, "type": "FEATURE", "note": "" }, "scoping_source": { "name": "scoping_source", "optional": true, "type": "FEATURE", "note": "" }, "target_source": { "name": "target_source", "optional": true, "type": "FEATURE", "note": "" }, "typ_semantically_typed": { "name": "typ_semantically_typed", "optional": true, "type": "FEATURE", "note": "" }, "typ_syntactically_typed": { "name": "typ_syntactically_typed", "optional": true, "type": "FEATURE", "note": "" }, "typ_untyped": { "name": "typ_untyped", "optional": true, "type": "FEATURE", "note": "" } }, "tree": { "id": "Model_Transformation", "children": [ { "id": "Directionality", "children": [ { "id": "Bidirectional", "children": [ { "id": "Bidirectional_rules" }, { "id": "Complementary_pairs" } ] }, { "id": "Unidirectional" } ] }, { "id": "Rule_application_scoping", "children": [ { "id": "scoping_source" }, { "id": "target_source" } ] }, { "id": "Rule_application_strategy", "children": [ { "id": "Deterministic" }, { "id": "Interactive" }, { "id": "\"Non-deterministic\"", "children": [ { "id": "Concurrent" }, { "id": "\"One-point\"" } ] } ] }, { "id": "Rule_organization", "children": [ { "id": "Modulatiry_mechanisms" }, { "id": "Organizational_Structure", "children": [ { "id": "Independent" }, { "id": "\"Source-oriented\"" }, { "id": "\"Target-oriented\"" } ] }, { "id": "Reuse_mechanisms", "children": [ { "id": "Inheritance" }, { "id": "Logical_composition" } ] } ] }, { "id": "Rule_scheduling", "children": [ { "id": "Phasing" }, { "id": "Rule_Iteration", "children": [ { "id": "Fixpoint_Iteration" }, { "id": "Looping" }, { "id": "Recursion" } ] }, { "id": "Rule_selection", "children": [ { "id": "Conflict_resolution" }, { "id": "Explicit_condition" }, { "id": "\"Non-determinism\"" }, { "id": "_Interactive" } ] }, { "id": "_Form", "children": [ { "id": "Explicit", "children": [ { "id": "External" }, { "id": "Internal" } ] }, { "id": "Implicit" } ] } ] }, { "id": "\"Source-Target_relationship\"", "children": [ { "id": "Existing_target", "children": [ { "id": "\"In-place\"" }, { "id": "Update", "children": [ { "id": "Destructive" }, { "id": "Extension_only" } ] } ] }, { "id": "New_target" } ] }, { "id": "Tracing", "children": [ { "id": "Dedicated_support", "children": [ { "id": "Control", "children": [ { "id": "Automatic", "children": [ { "id": "All_rules" }, { "id": "Selected_rules" } ] }, { "id": "Manual" } ] }, { "id": "Storage_location", "children": [ { "id": "Model", "children": [ { "id": "model_source" }, { "id": "model_target" } ] }, { "id": "Separate" } ] } ] } ] }, { "id": "Transformation_rules", "children": [ { "id": "Bidirectionality" }, { "id": "Intermediate_structures" }, { "id": "\"LHS/RHS\"", "children": [ { "id": "Logic", "children": [ { "id": "Executable", "children": [ { "id": "Declarative" }, { "id": "Imperative" } ] }, { "id": "\"Non-executable\"" } ] }, { "id": "Patterns", "children": [ { "id": "Form", "children": [ { "id": "Graphs" }, { "id": "Strings" }, { "id": "Terms" } ] }, { "id": "Syntax", "children": [ { "id": "Abstract" }, { "id": "Concrete", "children": [ { "id": "Graphical" }, { "id": "Textual" } ] } ] }, { "id": "Typing", "children": [ { "id": "typ_semantically_typed" }, { "id": "typ_syntactically_typed" }, { "id": "typ_untyped" } ] } ] }, { "id": "Variables", "children": [ { "id": "Semantically_typed" }, { "id": "Syntactically_typed" }, { "id": "Untyped" } ] } ] }, { "id": "\"LHS/RHS_Syntactic_Separation\"" }, { "id": "Parameterization" } ] } ] }, "constraints": {} }