Using UML and Maude for writing and reasoning about ODP policies | IEEE Conference Publication | IEEE Xplore