The specifications exchange service of an RM-ODP framework | IEEE Conference Publication | IEEE Xplore