Adding Behavior to Models

Authors:
Jose E. Rivera;Antonio Vallecillo
Affiliations:
Universidad de Málaga, Spain;Universidad de Málaga, Spain
Venue:
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Year:
2007

Citing 0
Cited 8

Proofs-as-Model-Transformations

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
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE

Models in Software Engineering
Formal Specification and Analysis of Domain Specific Models Using Maude

Simulation
Automatic generation of model traversals from metamodel definitions

Proceedings of the 48th Annual Southeast Regional Conference
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
Correct-by-construction model transformations from partially ordered specifications in Coq

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
DESIGN SPACE ANALYSIS IN MODEL-DRIVEN ENGINEERING

Journal of Integrated Design & Process Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Domain Specific Languages (DSLs) play a cornerstone role in Model-Driven Software Development for represent- ing models and metamodels. DSLs are usually defined in terms of their abstract and concrete syntax only. This al- lows the rapid and inexpensive development of DSLs and their associated tools (e.g., editors), but does not allow the representation of their behavioral semantics, something es- pecially important for model operations like simulation and verification. In this paper we explore the use of Maude as a formal notation for describing models and metamodels, including the specification of their dynamic behavior.