Challenges and Directions in Formalizing the Semantics of Modeling Languages

被引：50
作者：
Bryant, Barrett R. [1 ]
Gray, Jeff [2 ]
Mernik, Marjan [3 ]
Clarke, Peter J. [4 ]
France, Robert B. [5 ]
Karsai, Gabor [6 ]
机构：
[1] Univ Alabama Birmingham, Dept Comp & Informat Sci, Birmingham, AL 35294 USA
[2] Univ Alabama, Dept Comp Sci, Tuscaloosa, AL 35487 USA
[3] Univ Maribor, Fac Elect Engn & Comp Sci, SLO-2000 Maribor, Slovenia
[4] Florida Int Univ, Sch Comp & Informat Sci, Miami, FL 33199 USA
[5] Colorado State Univ, Dept Comp Sci, Ft Collins, CO 80523 USA
[6] Vanderbilt Univ, Inst Software Integrated Syst, Nashville, TN 37235 USA
来源：
COMPUTER SCIENCE AND INFORMATION SYSTEMS | 2011年 / 8卷 / 02期
基金：
美国国家科学基金会;
关键词：
model-based tools; modeling languages; semantics; OPERATIONAL SEMANTICS; GENERATION; DESIGN;
D O I：
10.2298/CSIS110114012B
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Developing software from models is a growing practice and there exist many model-based tools (e. g., editors, interpreters, debuggers, and simulators) for supporting model-driven engineering. Even though these tools facilitate the automation of software engineering tasks and activities, such tools are typically engineered manually. However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification were formalized. Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for the purpose of automation. This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools.
引用
收藏
页码：225 / 253
页数：29
相关论文
共 56 条
[1]  
ALVAREZ JM, 2001, LECT NOTES COMPUTER, V2185, P34
[2]  
[Anonymous], 2006, Software and Systems Modeling, DOI [DOI 10.1007/S10270-006-0027-7, 10.1007/s10270-006-0027-7]
[3]  
[Anonymous], 2009, P OCEANS 2009 BIL MS
[4]   Barriers to Systematic Model Transformation Testing [J].
Baudry, Benoit ;
Ghosh, Sudipto ;
Fleurey, Franck ;
France, Robert ;
Le Traon, Yves ;
Mottu, Jean-Marie .
COMMUNICATIONS OF THE ACM, 2010, 53 (06) :139-143
[5]   MODELS@ RUN.TIME [J].
Blair, Gordon ;
Bencomo, Nelly ;
France, Robert B. .
COMPUTER, 2009, 42 (10) :22-27
[6]  
Börger E, 2002, J UNIVERS COMPUT SCI, V8, P2
[7]  
Burke Redmond P, 2004, Semin Thorac Cardiovasc Surg, V16, P283, DOI 10.1053/j.semtcvs.2004.08.012
[8]  
Chen K, 2005, LECT NOTES COMPUT SC, V3748, P115
[9]  
CHEN K, 2007, P DES AUT TEST EUR C, P906
[10]  
Chiorean D., 2004, ELECTRON NOTES THEOR, V102, P99, DOI DOI 10.1016/J.ENTCS.2003.09.005
123456