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 条
  • [1] Adding Static and Dynamic Semantics to Building Information Models
    Tsigkanos, Christos
    Kehrer, Timo
    Ghezzi, Carlo
    Pasquale, Liliana
    Nuseibeh, Bashar
    [J]. 2016 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), 2016, : 1 - 7
  • [2] A Unified Formulation of Behavioral Semantics for SysML Models
    Hilken, Christoph
    Peleska, Jan
    Wille, Robert
    [J]. MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2015, : 263 - 271
  • [3] Verifying Action Semantics Specifications in UML Behavioral Models
    Planas, Elena
    Cabot, Jordi
    Gomez, Cristina
    [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2009, 5565 : 125 - 140
  • [4] Adding semantics to business intelligence
    Sell, D
    Cabral, L
    Motta, E
    Domingue, J
    Pacheco, R
    [J]. Sixteenth International Workshop on Database and Expert Systems Applications, Proceedings, 2005, : 543 - 547
  • [5] Adding semantics to email clustering
    Li, Hua
    Shen, Dou
    Zhang, Benyu
    Chen, Zheng
    Yang, Qiang
    [J]. ICDM 2006: Sixth International Conference on Data Mining, Proceedings, 2006, : 938 - 942
  • [6] Adding semantics to internet of things
    Su, Xiang
    Riekki, Jukka
    Nurminen, Jukka K.
    Nieminen, Johanna
    Koskimies, Markus
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2015, 27 (08): : 1844 - 1860
  • [7] Adding Semantics to Online Learning Environments
    Ermalai, I.
    Mocofan, M.
    Onita, M.
    Vasiu, R.
    [J]. SACI: 2009 5TH INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTATIONAL INTELLIGENCE AND INFORMATICS, 2009, : 559 - 563
  • [8] Adding semantics to detectors for video retrieval
    Snoek, Cees G. M.
    Huurnink, Bouke
    Hollink, Laura
    de Rijke, Maarten
    Schreiber, Guus
    Worring, Marcel
    [J]. IEEE TRANSACTIONS ON MULTIMEDIA, 2007, 9 (05) : 975 - 986
  • [9] Adding recursive constructs to bialgebraic semantics
    Klin, B
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 259 - 286
  • [10] Adding temporal semantics to association rules
    Rainsford, CP
    Roddick, JF
    [J]. PRINCIPLES OF DATA MINING AND KNOWLEDGE DISCOVERY, 1999, 1704 : 504 - 509
12345