Logical State Machine Artifact Definition
Contents
- 1 Logical State Machine
- 1.1 Definition and Purpose
- 1.2 SAIF Matrix Location
- 1.3 Audience
- 1.4 Applicability
- 1.5 Requirements
- 1.6 Relationships and traceability
- 1.7 Artifact Technology
- 1.8 Content Constraints
- 1.9 Content Guidelines
- 1.10 Publishing Representation(s)
- 1.11 Publishing Constraints
- 1.12 Tooling Considerations
- 1.13 Development Process Considerations
- 1.14 Issues
Logical State Machine
Definition and Purpose
The Logical State Machine artifact is a RIM class state machine or constraint on it. Used in circumstances where the RIM class based logical model needs to limit the allowed states and state transitions to support a particular use case.
SAIF Matrix Location
Row(s)
- Logical (PIM)
- Implementable (PSM) (RIMBAA)
Column(s)
- Information
Audience
Designers, modelers and implementers of interoperability solutions being created under the SAIF, which solutions are required to be RIM-derived.
- Designers and modelers will use the artifact to constrain the allowed states of RIM classes within RIM based logical models
- Implementers will use the artifact to determine what states are allowed for the classes found in RIM based logical models
Applicability
This artifact is mandatory when the states and or state transitions of a RIM class in a Logical Model need to be constrained from the full RIM state machine.
Rationale: There are very few circumstances where a particular logical model will allow all states and state transitions. In addition, there are often multiple classes with in a model where state is tracked and where state of multiple classes have inter-dependencies.
Requirements
- SHALL be derived from the full RIM state machine for the appropriate RIM class
- RationaleAll SAIF based models are drawn from the RIM
- Each RIM class in the model including state/status attribute from the RIM class SHALL be tied to a Logical State Machine
- RationaleMakes explicit the allowed states/state transitions of classes within a logical model
- RIM classes within a Logical Model MAY share the same Logical State Machine
- RationaleThe same set of constraints often applies to multiple classes within a logical model
- Logical State Machines for multiple classes within Logical Model MAY have inter-dependencies
- Rationale
Relationships and traceability
- Some relationship
- Rationale: Reason for relationship
- Some other relationship
- Rationale: Reason for other relationship
Artifact Technology
Text here
Rationale
- Some reason
- Some other reason
Alternatives
Some technology
- Some pro or con
- Some other pro or con
Content Constraints
- Some rule
- Rationale: Some reason
- Some other rule
- Rationale: Some other reason
Content Guidelines
- Some rule
- Rationale: Some reason
- Some other rule
- Rationale: Some other reason
Publishing Representation(s)
- Some text
- Rationale: Some rationale
- Some other text
- Rationale: Some other rationale
Publishing Constraints
- Some rule
- Rationale: Some reason
- Some other rule
- Rationale: Some other reason
Tooling Considerations
- Nice-to-have|Required: Some feature
- Rationale: Some rationale
- Nice-to-have|Required: Some other feature
- Rationale: Some other rationale
Development Process Considerations
- Some text
- Rationale: Some rationale
- Some other text
- Rationale: Some other rationale
Issues
- Some issue
- Some other issue