Maude Daemon Wrapper PDF Print E-mail


The Maude Daemon Wrapper is a plugin integrating the Maude framework in the SDE environment. Our tool is a minimal wrapper for the Maude Daemon plugin, an existing Eclipse plugin which embeds the Maude framework into the Eclipse environment by encapsulating a Maude process into a set of Java classes. The Maude Daemon plugin provides an API to use and control a Maude process from a Java program, allowing to programmatically configure the Maude process, to execute it, send commands to it, and get the results from it.


Further Information:


Last Updated on Monday, 09 March 2015 14:37