org.palladiosimulator.pcm.qosannotations.qos_reliability

Interface SpecifiedReliabilityAnnotation

All Superinterfaces:

org.eclipse.emf.cdo.CDOObject, org.eclipse.emf.cdo.common.id.CDOWithID, EObject, Notifier, 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.

Field Summary

Fields

Modifier and Type	Field and Description
static String	copyright

Method Summary

Modifier and Type	Method and Description
EList<ExternalFailureOccurrenceDescription>	getExternalFailureOccurrenceDescriptions__SpecifiedReliabilityAnnotation() Returns the value of the ' External Failure Occurrence Descriptions Specified Reliability Annotation' containment reference list.
boolean	MultipleExternalOccurrenceDescriptionsPerFailureTypeNotAllowed(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	SpecifiedReliabilityAnnotationMustReferenceRequiredRoleOfASystem(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	SumOfReliabilityAnnotationFailureProbabilitiesMustNotExceed1(DiagnosticChain diagnostics, Map<Object,Object> context)

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

getQosAnnotations_SpecifiedQoSAnnotation, getRole_SpecifiedQoSAnnotation, getSignature_SpecifiedQoSAnnation, setQosAnnotations_SpecifiedQoSAnnotation, setRole_SpecifiedQoSAnnotation, setSignature_SpecifiedQoSAnnation

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

Field Detail

copyright

static final String copyright

See Also:

Constant Field Values

Generated class or method.

Method Detail

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'.

If the meaning of the ' External Failure Occurrence Descriptions Specified Reliability Annotation' containment reference list isn't clear, there really should be more of a description here...

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"

SpecifiedReliabilityAnnotationMustReferenceRequiredRoleOfASystem

boolean SpecifiedReliabilityAnnotationMustReferenceRequiredRoleOfASystem(DiagnosticChain diagnostics,
                                                                         Map<Object,Object> context)

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated class or method.

EMF model class or method.

annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='(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

boolean SumOfReliabilityAnnotationFailureProbabilitiesMustNotExceed1(DiagnosticChain diagnostics,
                                                                     Map<Object,Object> context)

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated class or method.

EMF model class or method.

annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.externalFailureOccurrenceDescriptions__SpecifiedReliabilityAnnotation.failureProbability.oclAsType(Real)->sum()<=1.0'"

MultipleExternalOccurrenceDescriptionsPerFailureTypeNotAllowed

boolean MultipleExternalOccurrenceDescriptionsPerFailureTypeNotAllowed(DiagnosticChain diagnostics,
                                                                       Map<Object,Object> context)

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated class or method.

EMF model class or method.

annotation= "http://www.eclipse.org/uml2/1.1.0/GenModel body='self.externalFailureOccurrenceDescriptions__SpecifiedReliabilityAnnotation->forAll(x:pcm::reliability::ExternalFailureOccurrenceDescription,y:pcm::reliability::ExternalFailureOccurrenceDescription | x<>y implies x.failureType__ExternalFailureOccurrenceDescription <> y.failureType__ExternalFailureOccurrenceDescription )'"