Instance Set Action - modelint/shlaer-mellor-metamodel GitHub Wiki

The supported set operations are union, intersect, and difference. Here's an example in Scrall:

too high ..= Aircraft( Altitude > ceiling ) too low ..= Aircraft ( Altitude < floor ) out of bounds aircraft ..= too high + too low // UNION operation on two Instance Flows

All of the set operations accepts two Instance Flows and outputs a third all typed by the same Class.

Identifiers

1. ID + Activity + Domain

Attributes

Set operation

A symbolic name as described below.

Type: Set Operation as enumeration: [ UNION | INTERSECT | DIFFERENCE ]