View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
001037110000-016: State MachinesSpecpublic2025-06-17 06:512025-07-22 16:38
ReporterPatrick Berger Assigned ToJim Luth  
PrioritynormalSeveritytweakReproducibilityhave not tried
Status assignedResolutionopen 
Summary0010371: Contradictory definition of events
Description

StateMachineType
https://reference.opcfoundation.org/Core/Part16/v105/docs/4.4.2
"An instance of this ObjectType shall generate an Event whenever a significant state change occurs."

FinitStateMachineType
https://reference.opcfoundation.org/Core/Part16/v105/docs/4.4.6
"A Transition may produce an Event."

-> The suppertype StateMachineType defines Events in a sort of mandatory (by using keyword shall), while the subtype FinitStateMachineType defines Events as optional by using key-word may. A subtype should never be allowed to change something from mandatory to optional.

On the other side the "Base Info Finite State Machine Instance" includes HasEffect and TransitionEventType and "
State Machine 2022 Server Facet" defines this CU as mandatory. So in other words, should events always be mandatory?

TagsNo tags attached.
Commit Version
Fix Due Date

Activities

Jim Luth

2025-07-22 16:38

administrator   ~0023158

Agreed to no change required. Jim to provide reason.

Issue History

Date Modified Username Field Change
2025-06-17 06:51 Patrick Berger New Issue
2025-07-22 16:38 Jim Luth Note Added: 0023158
2025-07-22 16:38 Jim Luth Assigned To => Jim Luth
2025-07-22 16:38 Jim Luth Status new => assigned