R1283 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1283 / Mc:Mc-1

Parameter is filled out by zero, one or many Operation Call

Operation Call fills out zero, one or many Parameter

---

When an External Operation is invoked (called) a value must be supplied for each required Parameter.

So when an Operation Call action is specified in some Activity, that action will require an input Data Flow for each required Parameter. That input is referred to as an Operation Call Parameter, i.e. a Parameter flowing into to that Operation Call.

An Operation Call won't require any Parameter input flows if no Parameters are defined on the associated External Operation.

Any given Parameter may or may not be required by an Operation Call. For example, a Parameter might be required by a Method or State Actiivty instead. Or possibly no Operation Call's are define in any Activities that would require that Parameter.