会议论文详细信息
Rigorous Methods for Software Construction and Analysis
Exploiting the ASM Method within the Model-driven Engineering Paradigm
计算机科学;物理学
Angelo GargantiniP ; Elvinia Riccobene ; Patrizia
Others  :  http://drops.dagstuhl.de/opus/volltexte/2006/638/pdf/06191.RiccobeneElvinia.ExtAbstract.638.pdf
PID  :  6569
学科分类:计算机科学(综合)
来源: CEUR
PDF
【 摘 要 】

Model-driven Engineering (MDE) is an emerging approach for software development. It uses metamodels to define language (or formalism) abstract notation, so separating the abstract syntax and semantics of the language from their different concrete notations. However, metamodelling frameworks lack of a way to specify the semantics of languages, which is usually given in natural language. We claim that the MDE paradigm can gain rigor and preciseness from the integration with formal approaches, and we propose the integration with the ASMs to define a unified methodology for metamodel-based language syntax and semantics definitions.

【 预 览 】
附件列表
Files Size Format View
Exploiting the ASM Method within the Model-driven Engineering Paradigm 80KB PDF download
  文献评价指标  
  下载次数:7次 浏览次数:16次