Maude backend

To generate Maude from ABS in a ABS Maven project, include the following plugin declaration inside the <build><plugins>...</plugins></build> section of the pom.xml

        ... (see optional configuration for detail) ...

Optional configuration goal genmaude

  • absSrcFolder, ABS source folder, default is $project.basedir/src/main/abs
  • absTestFolder, ABS test folder, default is $project.basedir/src/test/abs
  • absMaudeBackendOutputFile, ABS Maude Backend output file, default is $
  • verbose, toggle verbosity, default is false
  • productName, build given product by applying deltas (productName is a string that is the qualified product ID)
  • mainBlock, specifies the ABS module from which the main block to be executed

To generate Maude from the source of the ABS Maven project, invoke the 'compile' goal

mvn compile