A rigorous approach to relate enterprise and computational viewpoints | IEEE Conference Publication | IEEE Xplore