如何处理 emf M2M 中的复杂类型

Question

我是 EMF M2M 的初学者。当目标模型包含复杂类型时，我在使用 ATL 时遇到问题。这是一个小例子来展示它。假设我从 Families.ecore（与 ATL 网站示例 Faimilies2Persons 相同）的模型转移到 Graph.ecore（关键部分如下所示）。我想创建一个图表，其中每个家庭成员都是一个节点，如果他们都是男性或女性，则两个节点是连接的。然后我从这个模板开始，如下所示。结果，每个成员都是一个节点，但同时我得到多个图，每个图只有一个节点。所以任何人都可以给我一些帮助如何将所有节点放入一个图中？原则上，我认为当 ATL 处理具有层次复杂类型的模型时，这是一个非常普遍的问题。非常感谢！

module families2graph;
create OUT : graph from IN : Families;

entrypoint rule myrule() {
	to
		t: graph!Graph (
			 name <-  'mygraph',
			 type <- #Directed

		)
}
rule Member2Female {
	from
		s : Families!Member 
	to
		t1 : graph!Graph (
			nodes <- t2	
		),
		t2 : graph!Node (
			name <- s.firstName	
		)
}

<eClassifiers xsi:type="ecore:EClass" name="Graph">
  <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData">
    <details key="name" value="Graph" />
    <details key="kind" value="elementOnly" />
  </eAnnotations>
  <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2003/XMLType#//String">
    <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData">
      <details key="kind" value="element" />
      <details key="name" value="name" />
    </eAnnotations>
  </eStructuralFeatures>
  <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//EdgeDirection" unsettable="true">
    <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData">
      <details key="kind" value="element" />
      <details key="name" value="type" />
    </eAnnotations>
  </eStructuralFeatures>
  <eStructuralFeatures xsi:type="ecore:EReference" name="nodes" upperBound="-1" eType="#//Node" containment="true" resolveProxies="false">
    <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData">
      <details key="kind" value="element" />
      <details key="name" value="nodes" />
    </eAnnotations>
  </eStructuralFeatures>
  <eStructuralFeatures xsi:type="ecore:EReference" name="edges" upperBound="-1" eType="#//Edge" containment="true" resolveProxies="false">
    <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData">
      <details key="kind" value="element" />
      <details key="name" value="edges" />
    </eAnnotations>
  </eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Node">
  <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData">
    <details key="name" value="Node" />
    <details key="kind" value="elementOnly" />
  </eAnnotations>
  <eStructuralFeatures xsi:type="ecore:EReference" name="connectedEdges" upperBound="-1" eType="#//Edge" resolveProxies="false">
    <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData">
      <details key="kind" value="element" />
      <details key="name" value="ConnectedEdges" />
    </eAnnotations>
  </eStructuralFeatures>
  <eStructuralFeatures xsi:type="ecore:EReference" name="properties" upperBound="-1" eType="#//Property" containment="true" resolveProxies="false">
    <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData">
      <details key="kind" value="element" />
      <details key="name" value="properties" />
    </eAnnotations>
  </eStructuralFeatures>
  <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2003/XMLType#//String">
    <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData">
      <details key="kind" value="attribute" />
      <details key="name" value="name" />
    </eAnnotations>
  </eStructuralFeatures>
</eClassifiers>

Answer 1

您的规则Member2Female 指定从Member 创建两个元素：Graph 和Node。您必须将nodes <-... 部分放入创建“主要”Graph 元素的myrule() 入口点。你可以试试这个：

module families2graph;
create OUT : graph from IN : Families;

entrypoint rule myrule() {
    to
        t: graph!Graph (
             name <-  'mygraph',
             type <- #Directed,
             nodes <- Families!Member.allInstances()->collect(e | thisModule.Member2Female(e))
        )
}

unique lazy rule Member2Female {
    from
        s : Families!Member 
    to
        t : graph!Node (
            name <- s.firstName 
        )
}

注释行表示nodes 引用将拥有从Families 模型的所有Member 实例生成的元素。

如果您想了解更多详细信息，可以尝试：https://wiki.eclipse.org/ATL/User_Guide_-_The_ATL_Language 并查找 Journal2Book 规则定义和解释。