Skip to content
Leon Starr edited this page Jan 10, 2022 · 5 revisions

R1 / M:M-1

Graph Specification can include one or many Process Specification

Process Specification can be included in one or many Graph Specification


We can define a set of Process Specifications are compatible with any given Graph Specification.

In our Shlaer-Mellor metamodel example we might define the 'State Activity' and 'Class Method' Graph Specifications and then declare that the actions 'Navigate', 'Create instance', 'Signal' and others are all useable in both contexts. On the other hand, we could say that the 'Signal' action is not available in a 'Derived Attribute Formula' Graph Specification.

So we think of Process Specifications as resources available to some or all Graph Specifications.

A given Graph Specification must include at least one Process Specification otherwise you will never be able to build a legal Graph (which requires at least one Process).

Similarly, if we define a Process Specification it has no utility if it is not usable in at least one Graph Specification.

Formalization

Compatible Process.Graph spec -> Graph Specification.Name
Compatible Process.Process spec -> Process Specification.Name
Clone this wiki locally