Francisco Durán, Javier Herrador, Antonio Vallecillo. Using UML and Maude for Writing and Reasoning about ODP Policies. In 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 4-6 June 2003, Lake Como, Italy. pages 15-25, IEEE Computer Society, 2003. [doi]
Abstract is missing.