Difference between revisions of "Logical State Machine Artifact Definition"
(Created page with "{{subst::Template:SAIF Artifact Definition}}") |
|||
Line 1: | Line 1: | ||
− | |||
[[Category:SAIF Artifact Definition]] | [[Category:SAIF Artifact Definition]] | ||
[[:Category:SAIF Artifact Definition|Return to Artifact List]] | [[:Category:SAIF Artifact Definition|Return to Artifact List]] | ||
− | = | + | =Logical State Machine= |
<!-- Artifact names should be descriptive and short. They may change as we further refine the methodology --> | <!-- Artifact names should be descriptive and short. They may change as we further refine the methodology --> | ||
Line 10: | Line 9: | ||
<!-- At a high level, what is this artifact and why is it needed? Should ideally be only a few sentences --> | <!-- At a high level, what is this artifact and why is it needed? Should ideally be only a few sentences --> | ||
− | + | 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 == | == SAIF Matrix Location == | ||
Line 17: | Line 15: | ||
<!-- Where does this artifact fit into the SAIF matrix? Delete those rows and columns that do not apply and provide qualification if appropriate --> | <!-- Where does this artifact fit into the SAIF matrix? Delete those rows and columns that do not apply and provide qualification if appropriate --> | ||
'''Row(s)''' | '''Row(s)''' | ||
− | |||
* Logical (PIM) | * Logical (PIM) | ||
− | * Implementable (PSM) | + | * Implementable (PSM) (RIMBAA) |
'''Column(s)''' | '''Column(s)''' | ||
− | |||
* Information | * Information | ||
− | |||
− | |||
== Audience == | == Audience == | ||
<!-- Who will be the consumers of this artifact type and what will they do with it? --> | <!-- Who will be the consumers of this artifact type and what will they do with it? --> | ||
− | + | 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 == | == Applicability == | ||
<!-- Under what circumstances does this artifact type need to be created? Are there circumstances where this artifact should not exist? Why? --> | <!-- Under what circumstances does this artifact type need to be created? Are there circumstances where this artifact should not exist? Why? --> | ||
− | + | 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. | |
− | <i>Rationale</i>: | + | <i>Rationale</i>: 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 == | == Requirements == | ||
<!-- What are the needs that this particular artifact was created to satisfy and why are those needs important. (Should not be more than 10-15.) --> | <!-- What are the needs that this particular artifact was created to satisfy and why are those needs important. (Should not be more than 10-15.) --> | ||
− | # | + | # SHALL be derived from the full RIM state machine for the appropriate RIM class |
− | ## <i>Rationale</i> | + | ## <i>Rationale</i>All 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 |
− | ## <i>Rationale</i> | + | ## <i>Rationale</i>Makes 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 | ||
+ | ## <i>Rationale</i>The 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 | ||
+ | ## <i>Rationale</i> | ||
== Relationships and traceability == | == Relationships and traceability == |
Revision as of 16:12, 8 April 2011
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