Advanced Search

Journal Navigation

Journal Home

Subscriptions

Archive

Contact Us

Table of Contents

Sign In to gain access to subscriptions and/or personal tools.
SIMULATION
This Article
Right arrow Full Text (PDF)
Right arrow All Versions of this Article:
0037549709341635v1
85/11-12/778    most recent
Right arrow References
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to Saved Citations
Right arrow Download to citation manager
Right arrowRequest Permissions
Right arrow Request Reprints
Right arrow Add to My Marked Citations
Citing Articles
Right arrow Citing Articles via Scopus
Google Scholar
Right arrow Articles by Rivera, J. E.
Right arrow Articles by Vallecillo, A.
Social Bookmarking
Add to CiteULike   Add to Complore   Add to Connotea   Add to Del.icio.us   Add to Digg   Add to Reddit   Add to Technorati   Add to Twitter  
What's this?

Formal Specification and Analysis of Domain Specific Models Using Maude

José E. Rivera

Departamento de Lenguajes y Ciencias de la Computación Universidad de Málaga, Spain, rivera{at}lcc.uma.es

Francisco Durán

Departamento de Lenguajes y Ciencias de la Computación Universidad de Málaga, Spain, duran{at}lcc.uma.es

Antonio Vallecillo

Departamento de Lenguajes y Ciencias de la Computación Universidad de Málaga, Spain, av{at}lcc.uma.es

Modeling languages play a cornerstone role in model-driven software development for representing models and metamodels. Modeling languages are usually defined in terms of their abstract and concrete syntax. This allows the rapid development of languages and some associated tools (e.g. editors), but does not allow the representation of their behavioral semantics, something especially important in certain industrial environments in which simulation and verification are critical issues. In this paper we explore the use of Maude as a formal notation for describing models, metamodels, and their dynamic behavior, making models amenable to formal analysis, reasoning, and simulation.

Key Words: Model Driven Engineering • Domain Specific Languages • Formal semantics • Model Simulation • Model Analysis • Maude

This version was published on November 1, 2009

SIMULATION, Vol. 85, No. 11-12, 778-792 (2009)
DOI: 10.1177/0037549709341635
Add to CiteULike CiteULike   Add to Complore Complore   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us   Add to Digg Digg   Add to Reddit Reddit   Add to Technorati Technorati   Add to Twitter Twitter    What's this?