SYSML17 — cannot model and validate physical connections

I’d like to model the physical connection from a device to another device. It appears SysML 1.4 does not allow this natively or easily. I’ve discussed this issue with Russell Peak, Georgia Tech and he agrees that it is a short coming of SysML.

For example:
I have a computer with a power cord that I would like to model to verify the correct connectors are on it. The wall receptacle is typically a 5-15R for North America, the matching power cord connection is a 5-15P. The computer typically has a C13R power receptacle and the power cord plug would be a C13P. I can add ports to my block in an ibd for the receptacle and plug ends, but I cannot validate that a good connection is 5-15R=5-15P for the wall end or C13R=C13P for the computer end.
This will apply for all types of physical connections, copper data, fiber data, pipe, tube, etc.

If there is a working group for this area I will be glad to work with them.