A graphical approach for modeling time-dependent behavior of DSLs

Authors:
Jose E. Rivera;Francisco Duran;Antonio Vallecillo
Affiliations:
University of Málaga, Spain;University of Málaga, Spain;University of Málaga, Spain
Venue:
VLHCC '09 Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
Year:
2009

Citing 0
Cited 11

Simulating domain specific visual models by observation

SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
On the behavioral semantics of real-time domain specific visual languages

WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Graph transformation for domain-specific discrete event time simulation

ICGT'10 Proceedings of the 5th international conference on Graph transformations
Lightweight testing of communication networks with e-motions

TAP'11 Proceedings of the 5th international conference on Tests and proofs
On the specification of non-functional properties of systems by observation

MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Model-driven performance analysis of rule-based domain specific visual models

Information and Software Technology
Generating graph transformation rules from AML/GT state machine diagrams for building animated model editors

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
A domain specific visual language for modeling power-aware reliability in wireless sensor networks

Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages
Modeling and verifying dynamic communication structures based on graph transformations

Computer Science - Research and Development
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Domain specific languages (DSLs) play a cornerstone role in Model-Driven Software Development for representing models and metamodels. DSLs' abstract syntax are usually defined by a metamodel. In-place model transformations provide an intuitive way to complement metamod-els with behavioral specifications. In this paper we extend in-place rules with a quantitative model of time and with mechanisms that allow designers to state action properties, facilitating the design of real-time complex systems. This approach avoids making unnatural changes to the DSL metamodels to represent behavioral and time aspects. We present the graphical modeling tool we have built for visually specifying these timed specifications.