On the Behavioral Semantics of Real-Time Domain Specific Visual Languages

  • José E. Rivera
  • Francisco Durán
  • Antonio Vallecillo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6381)


Domain specific visual languages (DSVLs) are becoming commonplace for specifying systems at a high-level of abstraction, using a notation very close to the problem domain and quite intuitive for domain experts. Usually, DSVLs are defined only in terms of their abstract and concrete syntaxes, with no precise semantics—something that may hamper the use of tools to simulate or analyze the produced models. In this paper we show how rewriting logic, and in particular Real-Time Maude, can be effectively used to provide semantics to real-time DSVLs, and how these Maude specifications can be automatically generated from the visual specifications. The use of Real-Time Maude provides additional interesting benefits, such as being able to simulate the DSVL specifications or to conduct formal analysis on them.


Model Check Model Transformation Graph Transformation Action Execution Concrete Syntax 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    Boronat, A., Meseguer, J.: An algebraic semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 377–391. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  3. 3.
    Boronat, A., Ölveczky, P.C.: Formal real-time model transformations in MOMENT2. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol. 6013, pp. 29–43. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  4. 4.
    Bouhoula, A., Jouannaud, J.-P., Meseguer, J.: Specification and proof in membership equational logic. Theoretical Computer Science 236(1), 35–132 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Burmester, S., Giese, H., Hirsch, M., Schilling, D., Tichy, M.: The Fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. In: Proc. of ICSE 2005, pp. 670–671. ACM, New York (2005)Google Scholar
  6. 6.
    Clark, T., Sammut, P., Willans, J.: Applied Metamodelling, Ceteva, 2nd edn. (2004)Google Scholar
  7. 7.
    Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)zbMATHGoogle Scholar
  8. 8.
    Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of MDA (2003)Google Scholar
  9. 9.
    Eker, S., Martí-Oliet, N., Meseguer, J., Verdejo, A.: Deduction, strategies, and rewriting. Electron. Notes Theor. Comput. Sci. 174(11), 3–25 (2007)CrossRefzbMATHGoogle Scholar
  10. 10.
    Gyapay, S., Heckel, R., Varró, D.: Graph transformation with time: Causality and logical clocks. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 120–134. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  11. 11.
    Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73–155 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Ölveczky, P.C.: Real-Time Maude 2.3 Manual (2007),
  13. 13.
    Ölveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2), 161–196 (2007)CrossRefzbMATHGoogle Scholar
  14. 14.
    Rivera, J.E., Durán, F., Vallecillo, A.: A metamodel for maude. Technical report, University of Málaga (2008),
  15. 15.
    Rivera, J.E., Durán, F., Vallecillo, A.: A graphical approach for modeling time-dependent behavior of DSLs. In: Proc. of VL/HCC 2009. IEEE Computer Society, Los Alamitos (2009)Google Scholar
  16. 16.
    Rivera, J.E., Guerra, E., de Lara, J., Vallecillo, A.: Analyzing rule-based behavioral semantics of visual modeling languages with Maude. In: Gašević, D., Lämmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol. 5452, pp. 54–73. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  17. 17.
    Rivera, J.E., Vallecillo, A.: Adding behavioral semantics to models. In: Proc. of EDOC 2007, pp. 169–180. IEEE Computer Society, Los Alamitos (October 2007)Google Scholar
  18. 18.
    Rivera, J.E., Vallecillo, A., Durán, F.: Formal specification and analysis of domain specific languages using Maude. Simulation: Transactions of the Society for Modeling and Simulation International 85(11/12), 778–792 (2009)CrossRefGoogle Scholar
  19. 19.
    Roldán, M., Durán, F.: Representing UML models in mOdCL (2008) (manuscript),
  20. 20.
    Romero, J.R., Rivera, J.E., Durán, F., Vallecillo, A.: Formal and tool support for model driven engineering with Maude. Journal of Object Technology 6(9), 187–207 (2007)CrossRefGoogle Scholar
  21. 21.
    Syriani, E., Vangheluwe, H.: Programmed graph rewriting with time for simulation-based design. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 91–106. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  22. 22.
    The AtlanMod Team. ATL,

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • José E. Rivera
    • 1
  • Francisco Durán
    • 1
  • Antonio Vallecillo
    • 1
  1. 1.GISUM/Atenea Research Group.Universidad de MálagaSpain

Personalised recommendations