R1102 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1102 / Generalization

Computation Action is a General Computation or Boolean Partition

---

Both specializations are computations with the distinction that a Boolean Partition always outputs a pair of boolean valued flows.