net.sf.farrago.cwm.behavioral
Interface BehavioralPackage

All Superinterfaces:
RefBaseObject, RefPackage
All Known Implementing Classes:
BehavioralPackage$Hib

public interface BehavioralPackage
extends RefPackage

Behavioral package interface. The Behavioral metamodel depends on the following package: org.omg::CWM::ObjectModel::Core The Behavioral metamodel collects together classes and associations that describe the behavior of CWM types and provides a foundation for recording the invocations of defined behaviors. The elements of the Behavioral metamodel are shown in the following figure. OCL Representation of Behavioral Constraints Operations The operation hasSameSignature checks if the argument has the same signature as the instance itself. hasSameSignature ( b : BehavioralFeature ) : Boolean; hasSameSignature (b) = (self.name = b.name) and (self.parameter->size = b.parameter->size) and Sequence{ 1..(self.parameter->size) }->forAll( index : Integer | b.parameter->at(index).type = self.parameter->at(index).type and b.parameter->at(index).kind = self.parameter->at(index).kind ) The operation allOperations results in a Set containing all Operations of the Classifier itself and all its inherited Operations. allOperations : Set(Operation); allOperations = self.allFeatures->select(f | f.ockIsKindOf(Operations)) The operation allMethods results in a Set containing all Methods of the Classifier itself and all its inherited Methods. allOperations : Set(Method); allMethods = self.allFeatures->select(f | f.ockIsKindOf(Method)) Constraints [C-4-1] All Parameters should have a unique name. context BehavioralFeature inv: self.parameter->forAll(p1, p2 | p1.name = p2.name implies p1 = p2) [C-4-2] The type of the Parameters should be included in the Namespace of the Classifier. context BehavioralFeature inv: self.parameter->forAll( p | self.owner.namespace.allContents->includes (p.type) ) [C-4-3] The number of arguments must be the same as the number of parameters of the Operation. context CallAction inv: self.actualArgument->size = self.operation.parameter->size [C-4-4] An Interface can only contain Operations. context Interface inv: self.allFeatures->forAll( f | f.oclIsKindOf( Operation ) ) [C-4-5] An Interface cannot contain any ModelElements. context Interface inv: self.allContents->isEmpty [C-4-6] All Features defined in an Interface are public. context Interface inv: self.allFeatures->forAll( f | f.visibility = #public ) [C-4-7] If the realized Operation is a query, then so is the Method. context Method inv: self.specification->isQuery implies self.isQuery

Note: This type should not be subclassed, implemented or directly instantiated by clients. It is generated from a MOF metamodel and implemented by Enki or MDR.


Method Summary
 BehavioralFeatureParameter getBehavioralFeatureParameter()
          Returns BehavioralFeatureParameter association proxy object.
 CallArguments getCallArguments()
          Returns CallArguments association proxy object.
 CalledOperation getCalledOperation()
          Returns CalledOperation association proxy object.
 CwmArgumentClass getCwmArgument()
          Returns CwmArgument class proxy object.
 CwmBehavioralFeatureClass getCwmBehavioralFeature()
          Returns CwmBehavioralFeature class proxy object.
 CwmCallActionClass getCwmCallAction()
          Returns CwmCallAction class proxy object.
 CwmEventClass getCwmEvent()
          Returns CwmEvent class proxy object.
 CwmInterfaceClass getCwmInterface()
          Returns CwmInterface class proxy object.
 CwmMethodClass getCwmMethod()
          Returns CwmMethod class proxy object.
 CwmOperationClass getCwmOperation()
          Returns CwmOperation class proxy object.
 CwmParameterClass getCwmParameter()
          Returns CwmParameter class proxy object.
 EventParameter getEventParameter()
          Returns EventParameter association proxy object.
 OperationMethod getOperationMethod()
          Returns OperationMethod association proxy object.
 ParameterType getParameterType()
          Returns ParameterType association proxy object.
 
Methods inherited from interface javax.jmi.reflect.RefPackage
refAllAssociations, refAllClasses, refAllPackages, refAssociation, refAssociation, refClass, refClass, refCreateStruct, refCreateStruct, refDelete, refGetEnum, refGetEnum, refPackage, refPackage
 
Methods inherited from interface javax.jmi.reflect.RefBaseObject
equals, hashCode, refImmediatePackage, refMetaObject, refMofId, refOutermostPackage, refVerifyConstraints
 

Method Detail

getCwmArgument

CwmArgumentClass getCwmArgument()
Returns CwmArgument class proxy object. Argument is an expression describing how to determine an actual value passed in a CallAction. In the metamodel an Argument is a composite part of a CallAction and contains a meta-attribute, value, of type Expression. It states how the actual argument is determined when the owning CallAction is executed.

Returns:
CwmArgument class proxy object.

getCwmBehavioralFeature

CwmBehavioralFeatureClass getCwmBehavioralFeature()
Returns CwmBehavioralFeature class proxy object. A behavioral feature refers to a dynamic feature of a model element, such as an operation or method. In the metamodel, BehavioralFeature specifies a behavioral aspect of a Classifier. All different kinds of behavioral aspects of a Classifier, such as Operation and Method, are subclasses of BehavioralFeature. BehavioralFeature is an abstract metaclass.

Returns:
CwmBehavioralFeature class proxy object.

getCwmCallAction

CwmCallActionClass getCwmCallAction()
Returns CwmCallAction class proxy object. A call action is an action resulting in an invocation of an operation. The purpose of a CallAction is to identify the actual Arguments used in a specific invocation of an Operation.

Returns:
CwmCallAction class proxy object.

getCwmEvent

CwmEventClass getCwmEvent()
Returns CwmEvent class proxy object. Event is a specification of an observable occurrence. The occurrence that generates an event instance is assumed to take place at an instant in time.

Returns:
CwmEvent class proxy object.

getCwmInterface

CwmInterfaceClass getCwmInterface()
Returns CwmInterface class proxy object. Interface is a named set of operations that specify the behavior of an element. In the metamodel, an Interface contains a set of Operations that together define a service offered by a Classifier realizing the Interface. A Classifier may offer several services, which means that it may realize several Interfaces, and several Classifiers may realize the same Interface.

Returns:
CwmInterface class proxy object.

getCwmMethod

CwmMethodClass getCwmMethod()
Returns CwmMethod class proxy object. Method is the implementation of an Operation. It specifies the algorithm or procedure that effects the results of an Operation.

Returns:
CwmMethod class proxy object.

getCwmOperation

CwmOperationClass getCwmOperation()
Returns CwmOperation class proxy object. Operation is a service that can be requested from an object to effect behavior. An Operation has a signature, which describes the parameters that are possible (including possible return values). In the metamodel, an Operation is a BehavioralFeature that can be applied to instances of the Classifier that contains the Operation. Operation is the specification, while Method is the implementation.

Returns:
CwmOperation class proxy object.

getCwmParameter

CwmParameterClass getCwmParameter()
Returns CwmParameter class proxy object. Parameters are used in the specification of operations, methods and events. A Parameter may include a name, type, and direction of communication.

Returns:
CwmParameter class proxy object.

getBehavioralFeatureParameter

BehavioralFeatureParameter getBehavioralFeatureParameter()
Returns BehavioralFeatureParameter association proxy object. The BehavioralFeatureParameter association identifies and orders Parameter instances describing the parameters of a BehavioralFeature. Parameters may be owned by at most one BehavioralFeature instance. The set of parameters of a BehavioralFeature, together with its name and return value, are said to constitute the BehavioralFeature?s "signature".

Returns:
BehavioralFeatureParameter association proxy object.

getCallArguments

CallArguments getCallArguments()
Returns CallArguments association proxy object. Identifies the Argument instances representing the actual argument values passed to an Operation during the particular invocation indicated by the CallAction instance. The ordering of actual argument values is assumed to correspond to the ordering of the Operation?s parameters as represented by the ordering of the BehavioralFeatureParameter association.

Returns:
CallArguments association proxy object.

getEventParameter

EventParameter getEventParameter()
Returns EventParameter association proxy object. The EventParameter association identifies the set of Parameter instances owned by an Event instance.

Returns:
EventParameter association proxy object.

getCalledOperation

CalledOperation getCalledOperation()
Returns CalledOperation association proxy object. The CalledOperation association identifies the CallAction instance representing a particular invocation of an Operation.

Returns:
CalledOperation association proxy object.

getOperationMethod

OperationMethod getOperationMethod()
Returns OperationMethod association proxy object. The OperationMethod association links an Operation with the Method instance(s) that realize it. The various Method instances represent alternative implementations (usually in different programming languages or environments) of the Operation.

Returns:
OperationMethod association proxy object.

getParameterType

ParameterType getParameterType()
Returns ParameterType association proxy object. The ParameterType association links a Parameter instance with the Classifier that defines the parameter?s type.

Returns:
ParameterType association proxy object.