-
Notifications
You must be signed in to change notification settings - Fork 0
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.
Compatible Process.Graph spec -> Graph Specification.Name
Compatible Process.Process spec -> Process Specification.Name
Copyright © 2022 Leon Starr
- Case
- Compatible Process
- Content
- Control Sequence
- Custom Process
- Custom Process Port
- Execution Dependency
- Graph
- External Input
- External Output
- Graph Port
- Graph Specification
- Interface
- Port
- Process
- Process Port
- Process Input Port
- Process Output Port
- Process Specification
- Standard Process
- Standard Process Port
- Store
- Switch
- Conditional Input
- External Input
- External Output
- External Process Input
- Process Connection
- Process Input Port
- Process Input Source
- Process Output Port
- Read Access
- Switched Input Set
- Write Access