org.palladiosimulator.pcm.seff

Interface InternalAction

All Superinterfaces:

AbstractAction, AbstractInternalControlFlowAction, org.eclipse.emf.cdo.CDOObject, org.eclipse.emf.cdo.common.id.CDOWithID, Entity, EObject, de.uka.ipd.sdq.identifier.Identifier, NamedElement, Notifier

All Known Implementing Classes:

InternalActionImpl

public interface InternalAction
extends AbstractInternalControlFlowAction

A representation of the model object 'Internal Action'. Internal Action Combines the execution of a number of internal computations by a component service in a single model entity. It models calculations inside a component service, which do not include calls to required services. For a desired high abstraction level, an RDSEFF has only one InternalAction for all instructions between two calls to required services. A high abstraction level is needed to keep the model tractable for mathematical analysis methods. However, in principle it is also possible to use multiple InternalActions in direct succession to model on a lower abstraction level and enable more accurate predictions. InternalActions provide an abstraction from the complete behaviour (i.e., control and data flow) of a component service, as they can hide different possible control and data flows not affecting external service calls and express their resource demands as a single stochastic expression. This abstraction underlies the assumption that the resource demands of a number of instruction can be captured sufficiently accurate enough in one such expression

The following features are supported:

• Internal Failure Occurrence Descriptions Internal Action

See Also:

SeffPackage.getInternalAction()

Generated class or method.

EMF model class or method.

Field Summary

Fields

Modifier and Type	Field and Description
static String	copyright

Method Summary

Methods

Modifier and Type	Method and Description
EList<InternalFailureOccurrenceDescription>	getInternalFailureOccurrenceDescriptions__InternalAction() Returns the value of the ' Internal Failure Occurrence Descriptions Internal Action' containment reference list.
boolean	MultipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	SumOfInternalActionFailureProbabilitiesMustNotExceed1(DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from interface org.palladiosimulator.pcm.seff.AbstractInternalControlFlowAction

getInfrastructureCall__Action, getResourceCall__Action, getResourceDemand_Action

Methods inherited from interface org.palladiosimulator.pcm.seff.AbstractAction

getPredecessor_AbstractAction, getResourceDemandingBehaviour_AbstractAction, getSuccessor_AbstractAction, setPredecessor_AbstractAction, setResourceDemandingBehaviour_AbstractAction, setSuccessor_AbstractAction

Methods inherited from interface de.uka.ipd.sdq.identifier.Identifier

getId, setId

Methods inherited from interface org.palladiosimulator.pcm.core.entity.NamedElement

getEntityName, setEntityName

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

getInternalFailureOccurrenceDescriptions__InternalAction

EList<InternalFailureOccurrenceDescription> getInternalFailureOccurrenceDescriptions__InternalAction()

Returns the value of the ' Internal Failure Occurrence Descriptions Internal Action' containment reference list. The list contents are of type InternalFailureOccurrenceDescription. It is bidirectional and its opposite is ' Internal Action Internal Failure Occurrence Description'.

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

Returns:

the value of the 'Internal Failure Occurrence Descriptions Internal Action' containment reference list.

See Also:

SeffPackage.getInternalAction_InternalFailureOccurrenceDescriptions__InternalAction(), InternalFailureOccurrenceDescription.getInternalAction__InternalFailureOccurrenceDescription()

Generated class or method.

EMF model class or method.

opposite="internalAction__InternalFailureOccurrenceDescription" containment="true" ordered="false"

MultipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed

boolean MultipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed(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.internalFailureOccurrenceDescriptions__InternalAction->forAll(x:pcm::reliability::InternalFailureOccurrenceDescription,y:pcm::reliability::InternalFailureOccurrenceDescription | x<>y implies x.softwareInducedFailureType__InternalFailureOccurrenceDescription <> y.softwareInducedFailureType__InternalFailureOccurrenceDescription )\r\n'"

SumOfInternalActionFailureProbabilitiesMustNotExceed1

boolean SumOfInternalActionFailureProbabilitiesMustNotExceed1(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.internalFailureOccurrenceDescriptions__InternalAction.failureProbability.oclAsType(Real)->sum()<=1.0\r\n'"