Interface ResourceDemandingSEFF

All Superinterfaces:
org.eclipse.emf.cdo.CDOObject, org.eclipse.emf.cdo.common.id.CDOWithID, EObject, de.uka.ipd.sdq.identifier.Identifier, Notifier, PCMBaseClass, PCMClass, ResourceDemandingBehaviour, ServiceEffectSpecification
All Known Implementing Classes:
ResourceDemandingSEFFImpl

public interface ResourceDemandingSEFF extends de.uka.ipd.sdq.identifier.Identifier, ServiceEffectSpecification, 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

The following features are supported:

See Also:
Generated class or method.
EMF model class or method.