Issue 11745: 8.4.29:OperationalTask (updm-ftf)
Source: International Business Machines (Mr. Fred Mervine, fred(at)mervine.us)
Nature: Uncategorized Issue
Severity: 
Summary: OperationalTask::Method_rule
This constraint ensures that if the "method" attribute of an Operational Task (operation) is defined, it must be either an OperationalActivity, OperationalStateTrace or OperationalEventTrace. The OCL that checks for an OperationalEventTrace casts the behavior to a "uml::StateMachine" but it should be a "uml::Interaction".

Resolution: 
Revised Text: 
Actions taken:
December 5, 2007: received issue
Discussion: 

End of Annotations:=====
s is issue # 11745

8.4.29:OperationalTask

OperationalTask::Method_rule
This constraint ensures that if the "method" attribute of an Operational Task (operation) is defined, it must be either an OperationalActivity, OperationalStateTrace or OperationalEventTrace. The OCL that checks for an OperationalEventTrace casts the behavior to a "uml::StateMachine" but it should be a "uml::Interaction".