Here we see (in advance of my analysis of the individual issues) my suggestion for an "improved" Figure 11.10, which uses typed Pins wherever possible, a strategy that solves many of the specification issues and MD SysML 15 tool issues. Note also the use of clearly typed anonymous CallBehaviorActions.