Package org.palladiosimulator.pcm.qosannotations.qos_reliability

Interface SpecifiedReliabilityAnnotation

All Superinterfaces:

org.eclipse.emf.cdo.CDOObject, org.eclipse.emf.cdo.common.id.CDOWithID, EObject, Notifier, PCMBaseClass, PCMClass, SpecifiedQoSAnnotation

All Known Implementing Classes:

SpecifiedReliabilityAnnotationImpl

public interface SpecifiedReliabilityAnnotation
extends SpecifiedQoSAnnotation

A representation of the model object 'Specified Reliability Annotation'. A SpecifiedFailureProbability of a service resembles its "Probability of Failure on Demand" (POFOD). Whenever the service is called, this values states the probability that it returns successfully. For reliability prediction, the PCMRandomVariable specified in its superclass SpecifiedQoSAnnotation must evaluate to a real number between 0 and 1.

The following features are supported:

• External Failure Occurrence Descriptions Specified Reliability Annotation

See Also:

• QosReliabilityPackage.getSpecifiedReliabilityAnnotation()

Generated class or method.

EMF model class or method.

annotation="http://www.eclipse.org/emf/2002/Ecore constraints='specifiedReliabilityAnnotationMustReferenceRequiredRoleOfASystem multipleExternalOccurrenceDescriptionsPerFailureTypeNotAllowed sumOfReliabilityAnnotationFailureProbabilitiesMustNotExceed1'" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/LPG specifiedReliabilityAnnotationMustReferenceRequiredRoleOfASystem='(self.role_SpecifiedQoSAnnotation.oclIsTypeOf(pcm::repository::OperationRequiredRole)) and (self.role_SpecifiedQoSAnnotation.oclAsType(pcm::repository::OperationRequiredRole).requiringEntity_RequiredRole.oclIsTypeOf(pcm::system::System))\r\n\r\n\r\n' sumOfReliabilityAnnotationFailureProbabilitiesMustNotExceed1='self.externalFailureOccurrenceDescriptions__SpecifiedReliabilityAnnotation.failureProbability.oclAsType(Real)->sum()<=1.0' multipleExternalOccurrenceDescriptionsPerFailureTypeNotAllowed='self.externalFailureOccurrenceDescriptions__SpecifiedReliabilityAnnotation->forAll(x:pcm::reliability::ExternalFailureOccurrenceDescription,y:pcm::reliability::ExternalFailureOccurrenceDescription | x<>y implies x.failureType__ExternalFailureOccurrenceDescription <> y.failureType__ExternalFailureOccurrenceDescription )'"

Field Summary

Fields

Modifier and Type	Field	Description
static final String	copyright

Method Summary

Modifier and Type	Method	Description
EList<ExternalFailureOccurrenceDescription>	getExternalFailureOccurrenceDescriptions__SpecifiedReliabilityAnnotation()	Returns the value of the 'External Failure Occurrence Descriptions Specified Reliability Annotation' containment reference list.

Methods inherited from interface org.eclipse.emf.cdo.CDOObject

cdoConflict, cdoDirectResource, cdoHistory, cdoID, cdoInvalid, cdoLockState, cdoPermission, cdoPrefetch, cdoReadLock, cdoReload, cdoResource, cdoRevision, cdoRevision, cdoState, cdoView, cdoWriteLock, cdoWriteOption

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Methods inherited from interface org.palladiosimulator.pcm.qosannotations.SpecifiedQoSAnnotation

getQosAnnotations_SpecifiedQoSAnnotation, getRole_SpecifiedQoSAnnotation, getSignature_SpecifiedQoSAnnation, setQosAnnotations_SpecifiedQoSAnnotation, setRole_SpecifiedQoSAnnotation, setSignature_SpecifiedQoSAnnation

Field Details

copyright

static final String copyright

See Also:

• Constant Field Values

Generated class or method.

Method Details

getExternalFailureOccurrenceDescriptions__SpecifiedReliabilityAnnotation

EList<ExternalFailureOccurrenceDescription> getExternalFailureOccurrenceDescriptions__SpecifiedReliabilityAnnotation()

Returns the value of the 'External Failure Occurrence Descriptions Specified Reliability Annotation' containment reference list. The list contents are of type ExternalFailureOccurrenceDescription. It is bidirectional and its opposite is 'Specified Reliability Annotation External Failure Occurrence Description'.

Returns:

the value of the 'External Failure Occurrence Descriptions Specified Reliability Annotation' containment reference list.

See Also:

• QosReliabilityPackage.getSpecifiedReliabilityAnnotation_ExternalFailureOccurrenceDescriptions__SpecifiedReliabilityAnnotation()
• ExternalFailureOccurrenceDescription.getSpecifiedReliabilityAnnotation__ExternalFailureOccurrenceDescription()

Generated class or method.

EMF model class or method.

opposite="specifiedReliabilityAnnotation__ExternalFailureOccurrenceDescription" containment="true" required="true" ordered="false"