Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Specification and proof in membership equational logic
Theoretical Computer Science - Trees in algebra and programming
Graph Transformation with Time: Causality and Logical Clocks
ICGT '02 Proceedings of the First International Conference on Graph Transformation
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems
Proceedings of the 27th international conference on Software engineering
Semantics and pragmatics of Real-Time Maude
Higher-Order and Symbolic Computation
Deduction, Strategies, and Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Programmed Graph Rewriting with Time for Simulation-Based Design
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
Software Language Engineering
A graphical approach for modeling time-dependent behavior of DSLs
VLHCC '09 Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
An algebraic semantics for MOF
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Formal real-time model transformations in MOMENT2
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Lightweight testing of communication networks with e-motions
TAP'11 Proceedings of the 5th international conference on Tests and proofs
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Defining and verifying behaviour of domain specific language with fUML
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
Model-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
Timed CTL model checking in real-time maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Towards xMOF: executable DSMLs based on fUML
Proceedings of the 2012 workshop on Domain-specific modeling
The rewriting logic semantics project: A progress report
Information and Computation
Domain-specific discrete event modelling and simulation using graph transformation
Software and Systems Modeling (SoSyM)
Specification and simulation of queuing network models using Domain-Specific Languages
Computer Standards & Interfaces
| Hi-index | 0.00 |
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 realtime 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.