SLE 2008 paper:
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude

José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo

🏆 Most Influencial Paper Award at SLE 2019
DOI: 10.1007/978-3-642-00434-6_5
T1C: Behavioural Semantics
- It focuses on defining and analysing executable/behavioral semantics of visual modeling languages using rewriting logic.
T5D: Formal Methods
- It uses a formal-methods setting (Maude/rewrite rules) to enable rigorous semantic analysis.
T4D: Interpretation
- It relies on executing/interpreting the semantic rules to explore and analyse modeled behavior.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.