UML22 — specificMachine association should be changed to be type StateMachine

The specificMachine association of metaclass ProtocolConformance is of type ProtocolStateMachine, which would seem to prohibit the specificMachine from being a BehaviorStateMachines::StateMachine. However, the text sections of section 15.3.5, including the Description and Semantics sections, are very clear that the conforming StateMachine may be a BehavioralStateMachine::StateMachine, which make sense. So the specificMachine association should be changed to be type StateMachine. Also, Figure 15.5 should be similarly changed.

The protocol conformance relationship was explicitly intended to model relationships between protocol state machines
(this is clearly stated in the spec). It is unclear what would be the precise meaning of that type of relationship between
different kinds of state machines, but, whatever it might be, it is likely to be complex, dealing with issues such as
behavioral equivalence. This is still an open research topic with many different approaches and not something one
should standardize as yet.
Disposition: Closed - No Change