de.uka.ipd.sdq.pcm.seff
Interface ResourceDemandingSEFF

All Superinterfaces:

Identifier, ResourceDemandingBehaviour, ServiceEffectSpecification

All Known Implementing Classes:

ResourceDemandingSEFFImpl

public interface ResourceDemandingSEFF
extends ServiceEffectSpecification, Identifier, ResourceDemandingBehaviour

A representation of the model object 'Resource Demanding SEFF'. A resource demanding service effect specification (RDSEFF) is a special type of SEFF designed for performance and reliability predictions. Besides dependencies between provided and required services of a component, it additionally includes notions of resource usage, data flow, and parametric dependencies for more accurate predictions. Its control flow is hierarchically structured and can be enhanced with transition probabilities on branches and numbers of iterations on loops. A ResourceDemandingSEFF is a ServiceEffectSpecification and a Resource-DemandingBehaviour at the same time inheriting from both classes. The reason for this construct lies in the fact, that ResourceDemandingBehaviours can be used recursively inside themselves to describe loop bodies or branched behaviours (explained later), and these inner behaviours should not be RDSEFFs themselves

See Also:

SeffPackage.getResourceDemandingSEFF()

Field Summary

static String

copyright

Method Summary

Methods inherited from interface de.uka.ipd.sdq.pcm.seff.ServiceEffectSpecification

getDescribedService__SEFF, getSeffTypeID, setDescribedService__SEFF, setSeffTypeID

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

getId, idHasToBeUnique, setId

Methods inherited from interface de.uka.ipd.sdq.pcm.seff.ResourceDemandingBehaviour

EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor, ExactlyOneStartAction, ExactlyOneStopAction, getSteps_Behaviour

Field Detail

copyright

static final String copyright

See Also:

Constant Field Values