Enabling executable architecture by improving the foundations of DoD architecting | IEEE Conference Publication | IEEE Xplore