UAF13 — Refine the DMM Impliments implementation in ML

The Implements DMM relationship is primarily used in Traceability views between Viewpoints. While currently encoded in the UAF ML as the Implements element specializing the Allocate relationship, this is not the only way to encode that concept and be consistent with the DMM. According to SysML v1.6 15.1 Allocations Overview "Allocations can be used early in the design as a precursor to more detailed rigorous specifications and implementations."
Given the current set of UAFElements that can participate in Implements relationships I recommend 2 additional ways that the DMM Implements concept can and is given more rigorous specification and implementation in SysML models. These are the UML::Generalization and UML::RedefinableElement concepts.

7 of 11 Implements clients can participate in Generalization relationships, 2 clients can participate in RedefinedElement relationships. Methods should be explored to leverage these as alternate methods of encoding the DMM Implements relationship.

I can't think of a super clean method of doing this, a few come to mind. First is to use a Taxonomy of Implements stereotypes that separately extend Abstraction and Generalization, but that can't solve RedefinableElement since it's a metaproperty that is not reified into a UML::Relationship. So, an alternate method is to make all 11 Implements clients specializations of a common more general stereotype that has a tag that is derived from all 3 UML methods of encoding Implements. The use of tagged values in this way will change the UAF ML::View Specifications where UAFMP::Implements in currently the only method shown. Lastly thought of, force tool vendors to automatically create a UAFMP::Implements when one of the 9 clients participates in a Generalization or RedefinedElement relationship that matches the DMM Implements constraints. The UAF ML can force this by adding constraints on use of Generalization or Redefinition on the 9 and 2 client elements respectively.