R837 - modelint/shlaer-mellor-metamodel GitHub Wiki

R837 / Generalization

Signature is a State Signature, Method Signature, or External Signature

---

Any type of Signature is simply a set of possibly zero Parameters that provide required input for some Activity.

Depending on the Activity, different rules may be established for Signature usage. Multiple State Activities in the same State Model may share a State Signature, for example, while a Method Signature is specific to its associated Method.