Using UML and Maude for writing and reasoning about ODP policies | Publicación