Add reliability probability and mtff objectives

5 files changed, 348 insertions, 39 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
index 800d4362..9ec9412a 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
@@ -103,7 +103,9 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
       case ApplicationConfigurationPackage.OPTIMIZATION_ENTRY: return createOptimizationEntry();
       case ApplicationConfigurationPackage.THRESHOLD_ENTRY: return createThresholdEntry();
       case ApplicationConfigurationPackage.OBJECTIVE_FUNCTION: return createObjectiveFunction();
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION: return createReliabiltiyFunction();
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION: return createReliabilityObjectiveFunction();
+      case ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY: return createReliabiltiyProbability();
+      case ApplicationConfigurationPackage.MTFF: return createMtff();
       case ApplicationConfigurationPackage.OBJECTIVE_DECLARATION: return createObjectiveDeclaration();
       case ApplicationConfigurationPackage.OBJECTIVE_REFERENCE: return createObjectiveReference();
       case ApplicationConfigurationPackage.OBJECTIVE: return createObjective();
@@ -644,10 +646,34 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * @generated
    */
   @Override
-  public ReliabiltiyFunction createReliabiltiyFunction()
+  public ReliabilityObjectiveFunction createReliabilityObjectiveFunction()
   {
-    ReliabiltiyFunctionImpl reliabiltiyFunction = new ReliabiltiyFunctionImpl();
-    return reliabiltiyFunction;
+    ReliabilityObjectiveFunctionImpl reliabilityObjectiveFunction = new ReliabilityObjectiveFunctionImpl();
+    return reliabilityObjectiveFunction;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public ReliabiltiyProbability createReliabiltiyProbability()
+  {
+    ReliabiltiyProbabilityImpl reliabiltiyProbability = new ReliabiltiyProbabilityImpl();
+    return reliabiltiyProbability;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Mtff createMtff()
+  {
+    MtffImpl mtff = new MtffImpl();
+    return mtff;
   }
 
   /**
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
index ec53c91c..c1aff1fe 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
@@ -47,6 +47,7 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelReference;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelSpecification;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ModelEntry;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Mtff;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope;
@@ -70,7 +71,8 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnume
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealScope;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope;
-import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RuntimeEntry;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Scope;
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration;
@@ -382,7 +384,21 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->
    * @generated
    */
-  private EClass reliabiltiyFunctionEClass = null;
+  private EClass reliabilityObjectiveFunctionEClass = null;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  private EClass reliabiltiyProbabilityEClass = null;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  private EClass mtffEClass = null;
 
   /**
    * <!-- begin-user-doc -->
@@ -1523,9 +1539,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * @generated
    */
   @Override
-  public EClass getReliabiltiyFunction()
+  public EClass getReliabilityObjectiveFunction()
   {
-    return reliabiltiyFunctionEClass;
+    return reliabilityObjectiveFunctionEClass;
   }
 
   /**
@@ -1534,9 +1550,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * @generated
    */
   @Override
-  public EReference getReliabiltiyFunction_Package()
+  public EReference getReliabilityObjectiveFunction_Package()
   {
-    return (EReference)reliabiltiyFunctionEClass.getEStructuralFeatures().get(0);
+    return (EReference)reliabilityObjectiveFunctionEClass.getEStructuralFeatures().get(0);
   }
 
   /**
@@ -1545,9 +1561,42 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * @generated
    */
   @Override
-  public EReference getReliabiltiyFunction_Transformation()
+  public EReference getReliabilityObjectiveFunction_Transformation()
   {
-    return (EReference)reliabiltiyFunctionEClass.getEStructuralFeatures().get(1);
+    return (EReference)reliabilityObjectiveFunctionEClass.getEStructuralFeatures().get(1);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public EClass getReliabiltiyProbability()
+  {
+    return reliabiltiyProbabilityEClass;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public EAttribute getReliabiltiyProbability_Time()
+  {
+    return (EAttribute)reliabiltiyProbabilityEClass.getEStructuralFeatures().get(0);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public EClass getMtff()
+  {
+    return mtffEClass;
   }
 
   /**
@@ -2655,9 +2704,14 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
 
     objectiveFunctionEClass = createEClass(OBJECTIVE_FUNCTION);
 
-    reliabiltiyFunctionEClass = createEClass(RELIABILTIY_FUNCTION);
-    createEReference(reliabiltiyFunctionEClass, RELIABILTIY_FUNCTION__PACKAGE);
-    createEReference(reliabiltiyFunctionEClass, RELIABILTIY_FUNCTION__TRANSFORMATION);
+    reliabilityObjectiveFunctionEClass = createEClass(RELIABILITY_OBJECTIVE_FUNCTION);
+    createEReference(reliabilityObjectiveFunctionEClass, RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE);
+    createEReference(reliabilityObjectiveFunctionEClass, RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION);
+
+    reliabiltiyProbabilityEClass = createEClass(RELIABILTIY_PROBABILITY);
+    createEAttribute(reliabiltiyProbabilityEClass, RELIABILTIY_PROBABILITY__TIME);
+
+    mtffEClass = createEClass(MTFF);
 
     objectiveDeclarationEClass = createEClass(OBJECTIVE_DECLARATION);
     createEReference(objectiveDeclarationEClass, OBJECTIVE_DECLARATION__SPECIFICATION);
@@ -2848,7 +2902,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     objectiveSpecificationEClass.getESuperTypes().add(this.getObjective());
     optimizationEntryEClass.getESuperTypes().add(this.getObjectiveEntry());
     thresholdEntryEClass.getESuperTypes().add(this.getObjectiveEntry());
-    reliabiltiyFunctionEClass.getESuperTypes().add(this.getObjectiveFunction());
+    reliabilityObjectiveFunctionEClass.getESuperTypes().add(this.getObjectiveFunction());
+    reliabiltiyProbabilityEClass.getESuperTypes().add(this.getReliabilityObjectiveFunction());
+    mtffEClass.getESuperTypes().add(this.getReliabilityObjectiveFunction());
     objectiveDeclarationEClass.getESuperTypes().add(this.getDeclaration());
     objectiveReferenceEClass.getESuperTypes().add(this.getObjective());
     configSpecificationEClass.getESuperTypes().add(this.getConfig());
@@ -2989,9 +3045,14 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
 
     initEClass(objectiveFunctionEClass, ObjectiveFunction.class, "ObjectiveFunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
 
-    initEClass(reliabiltiyFunctionEClass, ReliabiltiyFunction.class, "ReliabiltiyFunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-    initEReference(getReliabiltiyFunction_Package(), theCftLanguagePackage.getCftModel(), null, "package", null, 0, 1, ReliabiltiyFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-    initEReference(getReliabiltiyFunction_Transformation(), theCftLanguagePackage.getTransformationDefinition(), null, "transformation", null, 0, 1, ReliabiltiyFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+    initEClass(reliabilityObjectiveFunctionEClass, ReliabilityObjectiveFunction.class, "ReliabilityObjectiveFunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+    initEReference(getReliabilityObjectiveFunction_Package(), theCftLanguagePackage.getCftModel(), null, "package", null, 0, 1, ReliabilityObjectiveFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+    initEReference(getReliabilityObjectiveFunction_Transformation(), theCftLanguagePackage.getTransformationDefinition(), null, "transformation", null, 0, 1, ReliabilityObjectiveFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+    initEClass(reliabiltiyProbabilityEClass, ReliabiltiyProbability.class, "ReliabiltiyProbability", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+    initEAttribute(getReliabiltiyProbability_Time(), theEcorePackage.getEBigDecimal(), "time", null, 0, 1, ReliabiltiyProbability.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+    initEClass(mtffEClass, Mtff.class, "Mtff", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
 
     initEClass(objectiveDeclarationEClass, ObjectiveDeclaration.class, "ObjectiveDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
     initEReference(getObjectiveDeclaration_Specification(), this.getObjectiveSpecification(), null, "specification", null, 0, 1, ObjectiveDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MtffImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MtffImpl.java
new file mode 100644
index 00000000..aeeacd58
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MtffImpl.java
@@ -0,0 +1,41 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Mtff;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Mtff</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class MtffImpl extends ReliabilityObjectiveFunctionImpl implements Mtff
+{
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected MtffImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.MTFF;
+  }
+
+} //MtffImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabiltiyFunctionImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabilityObjectiveFunctionImpl.java
index b848c329..d0008224 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabiltiyFunctionImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabilityObjectiveFunctionImpl.java
@@ -4,7 +4,7 @@
 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
 
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
-import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyFunction;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabilityObjectiveFunction;
 
 import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.CftModel;
 import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition;
@@ -18,19 +18,19 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl;
 
 /**
  * <!-- begin-user-doc -->
- * An implementation of the model object '<em><b>Reliabiltiy Function</b></em>'.
+ * An implementation of the model object '<em><b>Reliability Objective Function</b></em>'.
  * <!-- end-user-doc -->
  * <p>
  * The following features are implemented:
  * </p>
  * <ul>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyFunctionImpl#getPackage <em>Package</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyFunctionImpl#getTransformation <em>Transformation</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabilityObjectiveFunctionImpl#getPackage <em>Package</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabilityObjectiveFunctionImpl#getTransformation <em>Transformation</em>}</li>
  * </ul>
  *
  * @generated
  */
-public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements ReliabiltiyFunction
+public class ReliabilityObjectiveFunctionImpl extends ObjectiveFunctionImpl implements ReliabilityObjectiveFunction
 {
   /**
    * The cached value of the '{@link #getPackage() <em>Package</em>}' reference.
@@ -57,7 +57,7 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
    * <!-- end-user-doc -->
    * @generated
    */
-  protected ReliabiltiyFunctionImpl()
+  protected ReliabilityObjectiveFunctionImpl()
   {
     super();
   }
@@ -70,7 +70,7 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
   @Override
   protected EClass eStaticClass()
   {
-    return ApplicationConfigurationPackage.Literals.RELIABILTIY_FUNCTION;
+    return ApplicationConfigurationPackage.Literals.RELIABILITY_OBJECTIVE_FUNCTION;
   }
 
   /**
@@ -88,7 +88,7 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
       if (package_ != oldPackage)
       {
         if (eNotificationRequired())
-          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__PACKAGE, oldPackage, package_));
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE, oldPackage, package_));
       }
     }
     return package_;
@@ -115,7 +115,7 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
     CftModel oldPackage = package_;
     package_ = newPackage;
     if (eNotificationRequired())
-      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__PACKAGE, oldPackage, package_));
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE, oldPackage, package_));
   }
 
   /**
@@ -133,7 +133,7 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
       if (transformation != oldTransformation)
       {
         if (eNotificationRequired())
-          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__TRANSFORMATION, oldTransformation, transformation));
+          eNotify(new ENotificationImpl(this, Notification.RESOLVE, ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION, oldTransformation, transformation));
       }
     }
     return transformation;
@@ -160,7 +160,7 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
     TransformationDefinition oldTransformation = transformation;
     transformation = newTransformation;
     if (eNotificationRequired())
-      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__TRANSFORMATION, oldTransformation, transformation));
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION, oldTransformation, transformation));
   }
 
   /**
@@ -173,10 +173,10 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
   {
     switch (featureID)
     {
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__PACKAGE:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE:
         if (resolve) return getPackage();
         return basicGetPackage();
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__TRANSFORMATION:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION:
         if (resolve) return getTransformation();
         return basicGetTransformation();
     }
@@ -193,10 +193,10 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
   {
     switch (featureID)
     {
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__PACKAGE:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE:
         setPackage((CftModel)newValue);
         return;
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__TRANSFORMATION:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION:
         setTransformation((TransformationDefinition)newValue);
         return;
     }
@@ -213,10 +213,10 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
   {
     switch (featureID)
     {
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__PACKAGE:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE:
         setPackage((CftModel)null);
         return;
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__TRANSFORMATION:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION:
         setTransformation((TransformationDefinition)null);
         return;
     }
@@ -233,12 +233,12 @@ public class ReliabiltiyFunctionImpl extends ObjectiveFunctionImpl implements Re
   {
     switch (featureID)
     {
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__PACKAGE:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__PACKAGE:
         return package_ != null;
-      case ApplicationConfigurationPackage.RELIABILTIY_FUNCTION__TRANSFORMATION:
+      case ApplicationConfigurationPackage.RELIABILITY_OBJECTIVE_FUNCTION__TRANSFORMATION:
         return transformation != null;
     }
     return super.eIsSet(featureID);
   }
 
-} //ReliabiltiyFunctionImpl
+} //ReliabilityObjectiveFunctionImpl
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabiltiyProbabilityImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabiltiyProbabilityImpl.java
new file mode 100644
index 00000000..b1940e3d
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ReliabiltiyProbabilityImpl.java
@@ -0,0 +1,181 @@
+/**
+ * generated by Xtext 2.16.0
+ */
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ReliabiltiyProbability;
+
+import java.math.BigDecimal;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Reliabiltiy Probability</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ReliabiltiyProbabilityImpl#getTime <em>Time</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ReliabiltiyProbabilityImpl extends ReliabilityObjectiveFunctionImpl implements ReliabiltiyProbability
+{
+  /**
+   * The default value of the '{@link #getTime() <em>Time</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getTime()
+   * @generated
+   * @ordered
+   */
+  protected static final BigDecimal TIME_EDEFAULT = null;
+
+  /**
+   * The cached value of the '{@link #getTime() <em>Time</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @see #getTime()
+   * @generated
+   * @ordered
+   */
+  protected BigDecimal time = TIME_EDEFAULT;
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected ReliabiltiyProbabilityImpl()
+  {
+    super();
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  protected EClass eStaticClass()
+  {
+    return ApplicationConfigurationPackage.Literals.RELIABILTIY_PROBABILITY;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public BigDecimal getTime()
+  {
+    return time;
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void setTime(BigDecimal newTime)
+  {
+    BigDecimal oldTime = time;
+    time = newTime;
+    if (eNotificationRequired())
+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY__TIME, oldTime, time));
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public Object eGet(int featureID, boolean resolve, boolean coreType)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY__TIME:
+        return getTime();
+    }
+    return super.eGet(featureID, resolve, coreType);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eSet(int featureID, Object newValue)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY__TIME:
+        setTime((BigDecimal)newValue);
+        return;
+    }
+    super.eSet(featureID, newValue);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public void eUnset(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY__TIME:
+        setTime(TIME_EDEFAULT);
+        return;
+    }
+    super.eUnset(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public boolean eIsSet(int featureID)
+  {
+    switch (featureID)
+    {
+      case ApplicationConfigurationPackage.RELIABILTIY_PROBABILITY__TIME:
+        return TIME_EDEFAULT == null ? time != null : !TIME_EDEFAULT.equals(time);
+    }
+    return super.eIsSet(featureID);
+  }
+
+  /**
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  @Override
+  public String toString()
+  {
+    if (eIsProxy()) return super.toString();
+
+    StringBuilder result = new StringBuilder(super.toString());
+    result.append(" (time: ");
+    result.append(time);
+    result.append(')');
+    return result.toString();
+  }
+
+} //ReliabiltiyProbabilityImpl