An Operation defines a dynamic feature which offers a service. The behavior of an operation is activated through the invocation of the operation.

Attributes
Primitive Type boolean	isQuery	Defining an Operation with an isQuery value of true denotes that the behavior of the operation will not alter the state of the object. The state of a Classifier, for this definition, is the set of values of all of the Classifier's class-scope and instance-scope StructuralFeatures. For instance, an Operation of a Class, defined with a scope of instance, will not change the values or instances of any instance-scope StructuralFeature of the Class instance, as a result of invoking this Operation. An Operation of a Class with a scope of classifier will not change the values or instances of any of the classifier-scope StructuralFeatures or instance-scope StructuralFeatures. This attribute does not define a constraint enforced by the model, but rather a promise that the operation's implementation is expected to uphold. An operation which is not defined as isQuery equals false is not guaranteed to change the state of its object. The isQuery constraint does not proscribe any specific implementation, so long as the definition of isQuery above is observed.
Primitive Type string	semantics

 isQuery

public Primitive Type boolean isQuery

Defining an Operation with an isQuery value of true denotes that the behavior of the operation will not alter the state of the object. The state of a Classifier, for this definition, is the set of values of all of the Classifier's class-scope and instance-scope StructuralFeatures.

For instance, an Operation of a Class, defined with a scope of instance, will not change the values or instances of any instance-scope StructuralFeature of the Class instance, as a result of invoking this Operation. An Operation of a Class with a
scope of classifier will not change the values or instances of any of the classifier-scope StructuralFeatures or instance-scope StructuralFeatures.

This attribute does not define a constraint enforced by the model, but rather a promise that the operation's implementation is expected to uphold. An operation which is not defined as isQuery equals false is not guaranteed to change the state of its object. The isQuery constraint does not proscribe any specific implementation, so long as the definition of isQuery above is observed.

Properties:

Aggregation	none
Alias
Association
Association End
Class	Class Operation
Collections
Datatype
Default
Default Value
Is Composite	false
Is Derived	false
Is Derived Union	false
Is Leaf	false
Is Ordered	false
Is Read Only	false
Is Static	false
Is Unique	true
Keywords
Lower	1
Lower Value
Multiplicity	1
Name	isQuery
Name Expression
Opposite
Owned Template Signature
Owner	Class Operation
Owning Association
Owning Parameter
Qualified Name	model1::model1::Operation::isQuery
Stereotype
Template Parameter
Type	Primitive Type boolean
Upper	1
Upper Value
Visibility	public

 semantics

public Primitive Type string semantics

Properties:

Aggregation	none
Alias
Association
Association End
Class	Class Operation
Collections
Datatype
Default
Default Value
Is Composite	false
Is Derived	false
Is Derived Union	false
Is Leaf	false
Is Ordered	false
Is Read Only	false
Is Static	false
Is Unique	true
Keywords
Lower	0
Lower Value	Literal Integer
Multiplicity	0..1
Name	semantics
Name Expression
Opposite
Owned Template Signature
Owner	Class Operation
Owning Association
Owning Parameter
Qualified Name	model1::model1::Operation::semantics
Stereotype
Template Parameter
Type	Primitive Type string
Upper	1
Upper Value	Literal Unlimited Natural
Visibility	public

• An Operation defines a dynamic feature which offers a service. The behavior of an operation is activated through the invocation of the operation.