操作

UMLにおけるOperationは、関連するBehaviorを呼び出すための名前、型、Parameter、Constraintを定めるClassifierのBehavioral Featureです。Operationは呼び出し契約を定め、MethodなどのBehaviorがその実現を担います。

SimpleModelingでは、OperationをObjectがResponsibilityを提供する契約として扱います。Stateを変更するOperationでは、Precondition、保持すべきInvariant、Postcondition、Outcome、発生するEventを明示します。

simplemodeling-libの OperationDefinition は、protocol OperationのParameter semanticsと値解決境界を定めます。 ParameterDefinition がname、kind、Value Domainを宣言し、 resolveParameter がraw valueの抽出、Multiplicity検証、正規化、Constraint検証を一度だけ行います。これはUML OperationのすべてのSemanticsを表すものではなく、protocol boundaryにおける実現です。