Synchronizing with Steve's AADL artifact:
* port naming convention
* device --> abstract
* some other minor property set changes.