Adding behavioral semantics to models

被引：10
|
作者：
Rivera, Jose E. [1 ]
Vallecillo, Antonio [1 ]
机构：
[1] Univ Malaga, Dpto Lenguajes & Ciencias Computac, E-29071 Malaga, Spain
来源：
11TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/EDOC.2007.40
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Domain Specific Languages (DSLs) play a cornerstone role in Model-Driven Software Development for representing models and metamodels. DSLs are usually defined in terms of their abstract and concrete syntax only This allows 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 especially 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.
引用
收藏
页码：169 / 180
页数：12
相关论文
共 50 条
12345