org.eclipse.opencert.process2assurproj/model/arg.ecore

<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="arg" nsURI="arg" nsPrefix="arg">
  <eClassifiers xsi:type="ecore:EClass" name="Case">
    <eAnnotations source="gmf.diagram">
      <details key="foo" value="bar"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="argument" upperBound="-1"
        eType="#//ArgumentElement" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="argumentation" upperBound="-1"
        eType="#//Argumentation" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="agreement" upperBound="-1"
        eType="#//Agreement" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="cited" upperBound="-1"
        eType="#//ArgumentElementCitation" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="information" upperBound="-1"
        eType="#//InformationElementCitation" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ModelElement" abstract="true">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="id" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AssuranceCase" eSuperTypes="#//ModelElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="hasArgument" upperBound="-1"
        eType="#//Argumentation" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="hasEvidence" upperBound="-1"
        eType="ecore:EClass evidence.ecore#//Artefact" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="composedOf" upperBound="-1"
        eType="#//AssuranceCase"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ArgumentationElement" abstract="true"
      eSuperTypes="#//ModelElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="description" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="gmf.label"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="content" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Argumentation" eSuperTypes="#//ArgumentationElement assuranceasset.ecore#//ManageableAssuranceAsset">
    <eAnnotations source="gmf.node">
      <details key="label" value="id"/>
      <details key="label.icon" value="false"/>
      <details key="figure" value="gsnfigures.GSNArgumentModule"/>
      <details key="tool.small.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.small.path" value="GSN_tooling_icons/ArgumentModule.gif"/>
      <details key="tool.large.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.large.path" value="GSN_tooling_icons/ArgumentModule.gif"/>
      <details key="size" value="120,80"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="location" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="argumentation" upperBound="-1"
        eType="#//Argumentation"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="consistOf" upperBound="-1"
        eType="#//ArgumentElement"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ArgumentElement" abstract="true" eSuperTypes="#//ArgumentationElement"/>
  <eClassifiers xsi:type="ecore:EClass" name="InformationElementCitation" eSuperTypes="#//ArgumentElement">
    <eAnnotations source="gmf.node">
      <details key="label" value="id"/>
      <details key="label.icon" value="false"/>
      <details key="figure" value="gsnfigures.GSNSolution"/>
      <details key="tool.small.path" value="GSN_tooling_icons/Solution.gif"/>
      <details key="tool.large.path" value="GSN_tooling_icons/Solution.gif"/>
      <details key="tool.small.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.large.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="size" value="100,100"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" eType="#//InformationElementType"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="toBeInstantiated" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"
        defaultValueLiteral="false"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="url" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="artefact" upperBound="-1"
        eType="ecore:EClass evidence.ecore#//Artefact"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ReasoningElement" abstract="true" eSuperTypes="#//ArgumentElement"/>
  <eClassifiers xsi:type="ecore:EClass" name="ArgumentElementCitation" eSuperTypes="#//ArgumentElement">
    <eAnnotations source="gmf.node">
      <details key="label" value="id"/>
      <details key="label.icon" value="false"/>
      <details key="figure" value="gsnfigures.GSNArgumentModule"/>
      <details key="tool.small.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.small.path" value="GSN_tooling_icons/ArgumentModule.gif"/>
      <details key="tool.large.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.large.path" value="GSN_tooling_icons/ArgumentModule.gif"/>
      <details key="size" value="120,80"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="citedType" eType="#//CitationElementType"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="argumentationReference"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="gmf.label"/>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Assertion" abstract="true" eSuperTypes="#//ReasoningElement"/>
  <eClassifiers xsi:type="ecore:EClass" name="ArgumentReasoning" eSuperTypes="#//ReasoningElement">
    <eAnnotations source="gmf.node">
      <details key="label" value="id"/>
      <details key="label.icon" value="false"/>
      <details key="figure" value="gsnfigures.GSNStrategy"/>
      <details key="tool.small.path" value="GSN_tooling_icons/Strategy.gif"/>
      <details key="tool.large.path" value="GSN_tooling_icons/Strategy.gif"/>
      <details key="tool.small.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.large.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="size" value="120,80"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="toBeSupported" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"
        defaultValueLiteral="false"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="toBeInstantiated" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"
        defaultValueLiteral="false"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="hasStructure" upperBound="-1"
        eType="#//Argumentation"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Claim" eSuperTypes="#//Assertion assuranceasset.ecore#//ManageableAssuranceAsset">
    <eAnnotations source="gmf.node">
      <details key="label" value="id"/>
      <details key="label.icon" value="false"/>
      <details key="figure" value="gsnfigures.GSNGoal"/>
      <details key="tool.small.path" value="GSN_tooling_icons/Goal.gif"/>
      <details key="tool.large.path" value="GSN_tooling_icons/Goal.gif"/>
      <details key="tool.small.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.large.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="size" value="120,80"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="public" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"
        defaultValueLiteral="false"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="assumed" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"
        defaultValueLiteral="false"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="toBeSupported" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"
        defaultValueLiteral="false"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="toBeInstantiated" lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"
        defaultValueLiteral="false"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="choice" eType="#//Choice"
        containment="true">
      <eAnnotations source="gmf.affixed"/>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AssertedRelationship" abstract="true"
      eSuperTypes="#//Assertion"/>
  <eClassifiers xsi:type="ecore:EClass" name="Choice" eSuperTypes="#//ArgumentElement">
    <eAnnotations source="gmf.node">
      <details key="label" value="optionality"/>
      <details key="label.placement" value="external"/>
      <details key="label.icon" value="false"/>
      <details key="figure" value="org.eclipse.opencert.sam.arg.ui.figures.Choice"/>
      <details key="tool.small.path" value="GSN_tooling_icons/Optionality.gif"/>
      <details key="tool.large.path" value="GSN_tooling_icons/Optionality.gif"/>
      <details key="tool.small.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.large.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="size" value="40,40"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="sourceMultiextension" eType="#//AssertedByMultiplicityExtension"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="sourceCardinality" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
        defaultValueLiteral=""/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="optionality" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AssertedInference" eSuperTypes="#//AssertedRelationship">
    <eAnnotations source="gmf.link">
      <details key="color" value="0,0,0"/>
      <details key="source" value="source"/>
      <details key="target" value="target"/>
      <details key="target.constraint" value="self.oclIsTypeOf(Claim) or self.oclIsTypeOf(Argumentation) or self.oclIsTypeOf(ArgumentReasoning) or self.oclIsTypeOf(Agreement)"/>
      <details key="source.constraint" value="self.oclIsTypeOf(Choice) or self.oclIsTypeOf(Claim) or self.oclIsTypeOf(ArgumentElementCitation) or self.oclIsTypeOf(Argumentation) or self.oclIsTypeOf(ArgumentReasoning)"/>
      <details key="style" value="solid"/>
      <details key="width" value="1"/>
      <details key="target.decoration" value="filledclosedarrow"/>
      <details key="tool.small.path" value="GSN_tooling_icons/solvedBy.gif"/>
      <details key="tool.large.path" value="GSN_tooling_icons/solvedBy.gif"/>
      <details key="tool.small.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.large.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="label" value="cardinality"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="multiextension" eType="#//AssertedByMultiplicityExtension"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="cardinality" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
        defaultValueLiteral=""/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" upperBound="-1"
        eType="#//ArgumentationElement"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" upperBound="-1"
        eType="#//ArgumentationElement"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AssertedEvidence" eSuperTypes="#//AssertedRelationship">
    <eAnnotations source="gmf.link">
      <details key="color" value="0,0,0"/>
      <details key="source" value="source"/>
      <details key="source.constraint" value="self.oclIsTypeOf(Claim)"/>
      <details key="target" value="target"/>
      <details key="target.constraint" value="self.oclIsTypeOf(InformationElementCitation)"/>
      <details key="style" value="solid"/>
      <details key="width" value="1"/>
      <details key="target.decoration" value="filledclosedarrow"/>
      <details key="tool.small.path" value="GSN_tooling_icons/solvedBy.gif"/>
      <details key="tool.large.path" value="GSN_tooling_icons/solvedBy.gif"/>
      <details key="tool.small.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.large.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="label" value="cardinality"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="multiextension" eType="#//AssertedByMultiplicityExtension"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="cardinality" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
        defaultValueLiteral=""/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" upperBound="-1"
        eType="#//ArgumentElement"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" upperBound="-1"
        eType="#//ArgumentElement"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AssertedContext" eSuperTypes="#//AssertedRelationship">
    <eAnnotations source="gmf.link">
      <details key="color" value="0,0,0"/>
      <details key="source" value="source"/>
      <details key="source.constraint" value="self.oclIsTypeOf(ArgumentReasoning) or self.oclIsTypeOf(Claim) or self.oclIsTypeOf(Argumentation)"/>
      <details key="target" value="target"/>
      <details key="target.constraint" value="self.oclIsTypeOf(ArgumentElementCitation) or self.oclIsTypeOf(InformationElementCitation)"/>
      <details key="style" value="solid"/>
      <details key="width" value="1"/>
      <details key="target.decoration" value="closedarrow"/>
      <details key="tool.small.path" value="GSN_tooling_icons/inTheContextOf.gif"/>
      <details key="tool.large.path" value="GSN_tooling_icons/inTheContextOf.gif"/>
      <details key="tool.small.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.large.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="label" value="cardinality"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="multiextension" eType="#//AssertedByMultiplicityExtension"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="cardinality" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
        defaultValueLiteral=""/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" upperBound="-1"
        eType="#//ArgumentationElement"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" upperBound="-1"
        eType="#//ArgumentationElement"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AssertedChallenge" eSuperTypes="#//AssertedRelationship">
    <eAnnotations source="gmf.link">
      <details key="source" value="source"/>
      <details key="target" value="target"/>
      <details key="color" value="255,0,0"/>
      <details key="style" value="solid"/>
      <details key="width" value="1"/>
      <details key="source.constraint" value="self.oclIsTypeOf(Claim)"/>
      <details key="target.constraint" value="self.oclIsTypeOf(Claim) or self.oclIsTypeOf(AssertedInference) or self.oclIsTypeOf(AssertedEvidence) or self.oclIsTypeOf(AssertedContext) or self.oclIsTypeOf(AssertedChallenge) or self.oclIsTypeOf(AssertedCounterEvidence)"/>
      <details key="target.decoration" value="filledclosedarrow"/>
      <details key="tool.small.path" value="SACEM_tooling_icons/Challenge.gif"/>
      <details key="tool.large.path" value="SACEM_tooling_icons/Challenge.gif"/>
      <details key="tool.small.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.large.bundle" value="org.eclipse.opencert.sam.arg"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" upperBound="-1"
        eType="#//Claim"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" upperBound="-1"
        eType="#//Assertion"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AssertedCounterEvidence" eSuperTypes="#//AssertedRelationship">
    <eAnnotations source="gmf.link">
      <details key="source" value="source"/>
      <details key="target" value="target"/>
      <details key="color" value="255,0,0"/>
      <details key="style" value="solid"/>
      <details key="width" value="1"/>
      <details key="source.constraint" value="self.oclIsTypeOf(InformationElementCitation)"/>
      <details key="target.constraint" value="self.oclIsTypeOf(Claim) or self.oclIsTypeOf(AssertedInference) or self.oclIsTypeOf(AssertedEvidence) or self.oclIsTypeOf(AssertedContext) or self.oclIsTypeOf(AssertedChallenge) or self.oclIsTypeOf(AssertedCounterEvidence)"/>
      <details key="target.decoration" value="filledclosedarrow"/>
      <details key="tool.small.path" value="SACEM_tooling_icons/CounterEvidence.gif"/>
      <details key="tool.large.path" value="SACEM_tooling_icons/CounterEvidence.gif"/>
      <details key="tool.small.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.large.bundle" value="org.eclipse.opencert.sam.arg"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" upperBound="-1"
        eType="#//InformationElementCitation"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" upperBound="-1"
        eType="#//Assertion"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Agreement" eSuperTypes="#//Argumentation">
    <eAnnotations source="gmf.node">
      <details key="label" value="id"/>
      <details key="label.icon" value="false"/>
      <details key="figure" value="gsnfigures.GSNContract"/>
      <details key="tool.small.path" value="GSN_tooling_icons/Contract.gif"/>
      <details key="tool.large.path" value="GSN_tooling_icons/Contract.gif"/>
      <details key="tool.small.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="tool.large.bundle" value="org.eclipse.opencert.sam.arg"/>
      <details key="size" value="120,80"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="between" upperBound="-1"
        eType="#//Argumentation"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="AssertedByMultiplicityExtension">
    <eLiterals name="Normal"/>
    <eLiterals name="Optional" value="1"/>
    <eLiterals name="Multi" value="2"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="InformationElementType">
    <eLiterals name="Justification"/>
    <eLiterals name="Context" value="1"/>
    <eLiterals name="Solution" value="2"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="CitationElementType">
    <eLiterals name="Claim"/>
    <eLiterals name="Context" value="1"/>
    <eLiterals name="Solution" value="2"/>
  </eClassifiers>
</ecore:EPackage>