R2017 - modelint/shlaer-mellor-metamodel GitHub Wiki

R2017 / Generalization

Activity Execution is a Method Execution or State Activity Execution

---

The execution of an Activity in a Real State and the execution of a Method are identical with one minor exception. A Method may define an output value that flows to the caller of the Method.

Note: If you're wondering what happened to domain operations or external entity operations, those are GONE thanks, in large part, to Andrew Mangogna and Leon Starr's work on implicit bridging. Those operations were helpful in the early days of Shlaer-Mellor when we specified bridges procedures, but now we handle these mostly with declarations and the wiring of bridgeable conditions to model operations. Model operations include state entry (State Activity Execution) and method calls (Method Execution).