Wodel4diac

Latest integration snapshot

October 2026 — Eclipse 4diac 3.3.0 target

This release updates the Wodel4diac integration target from Eclipse 4diac 3.2.0 to 3.3.0 and refreshes the accompanying Wodel source and documentation. It brings the 4diac integration into the current Wodel research ecosystem, while retaining the distinction between stable Wodel core capabilities and experimental components.

The supplied source snapshot includes these components, but it does not establish which individual implementation changes were introduced after July 2026. Eclipse 4diac 3.3.0 is the target platform, not the OSGi version of every Wodel feature.

For new capabilities in the underlying IDE and FORTE runtime, see the official Eclipse 4diac 3.3 release announcement. Those upstream 4diac features are not being claimed as Wodel4diac implementations.

How Wodel4diac fits into your workflow

The implementation includes conversion paths for operational-semantics .opsem resources. Some current workspace-oriented utilities reference a project named MutationTestingApp and its network_traces and mutants directories; adapt those assumptions before using a different project layout.

Requirements and compatibility

Compatibility is described for the supplied integration source. The 4diac 3.3.0 target does not imply that every optional bundle, solver, or AI task has been exhaustively tested on every operating system.

Installation

https://gomezabajo.github.io/Wodel4diac/update-site/

git clone https://github.com/gomezabajo/Wodel4diac.git
cd Wodel4diac

Previously advertised standalone Windows and Ubuntu archives have not been verified for the 3.3.0 target and are therefore not linked as current installers. Use the official 4diac distribution with a verified Wodel4diac update site or build from source.

Getting started with the Wodel DSL

Create a Wodel project with a .mutator file, select a model/metamodel pair, and configure mutation blocks. The example below is adapted from the repository's finite-automata examples; it demonstrates Wodel syntax and is not a ready-to-run IEC 61499 program.

generate 10 mutants
in "data/out/"
from "data/model/"
metamodel "/[@**@]/data/model/DFAAutomaton.ecore"

with blocks {
  dtr "Delete transition" {
    remove one Transition
  }
  mfs "Set final state to non-final" {
    modify one State where {isFinal = true} with {reverse(isFinal)}
  }
  rts "Set transition target to a new final state" {
    s = create State with {name = 'f', isFinal = true}
    modify target tar from one Transition to s
  }
}

For 4diac, replace the automata metamodel and its classes/features with the types accepted by the selected IEC 61499 model adapter. Generate and inspect mutants first; do not deploy altered control applications without appropriate validation.

See the Wodel examples and the repository README for further details.

Main components

Wodel ecosystem

Wodel4diac is an IEC 61499 integration within a wider family of model-based engineering tools:

• Wodel — domain-independent model mutation DSL and engine.
• Wodel-Edu — mutation-driven generation of educational exercises.
• Wodel-Test — model-based, language-independent mutation-testing workflows.
• WoMoT — a separate Wodel-backed multiobjective search framework. Its deterministic NSGA-II resume/checkpoint and verifiable run-lineage capabilities are not claimed as features of Wodel4diac.

AI assistant Experimental

The wodel.ai.assistant plug-in contains task infrastructure, chat-related functionality, and an LLM client for Wodel-oriented assistance. Its source includes support for user-supplied API credentials; do not commit keys to repositories, and review all proposed model or mutator changes before running them.

Availability of the source bundle does not guarantee that every task is packaged by the update site or supported by a stable user interface in Eclipse 4diac 3.3.0.

Troubleshooting

Citing Wodel

If you use Wodel4diac in academic work, cite the underlying Wodel language publication and any relevant 4diac-specific publication:

@inproceedings{GomezAbajo2016Wodel,
  author    = {G\'omez-Abajo, Pablo and Guerra, Esther and de Lara, Juan},
  title     = {Wodel: A Domain-Specific Language for Model Mutation},
  booktitle = {Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC)},
  pages     = {1968--1973},
  year      = {2016},
  doi       = {10.1145/2851613.2851751}
}

A finalized, citable Wodel4diac-specific publication was not identified in the supplied repository documentation.

Acknowledgements

Wodel4diac builds on Wodel and the Eclipse 4diac ecosystem, as well as Eclipse EMF and Xtext. The source tree contains supporting projects associated with anATLyzer, eFinder, and tinytools.

Developed in the context of research at the Universidad Autónoma de Madrid and the Universidad de Murcia.

License

The repository contains the Eclipse Public License 2.0 (EPL-2.0). Refer to the LICENSE file. Redistribution of third-party bundles may involve separate license notices.