Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude

José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo. Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. In Dragan Gasevic, Ralf Lämmel, Eric {Van Wyk}, editors, Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers. Volume 5452 of Lecture Notes in Computer Science, pages 54-73, Springer, 2008. [doi]

Abstract

Abstract is missing.