期刊文献+

TEFL:一种文本式特征建模语言

TEFL:A Textual Feature Modeling Language
下载PDF
导出
摘要 特征模型已经成为软件产品线工程中共性/可变性建模的事实标准.现有基于特征图的建模工具由于在模型表达能力、严谨的形式化语义等方面的不足限制了其在工业界的应用.为了消除这些建模中的缺陷,为基于特征的产品线开发提供一个坚实的支撑环境,提出文本式特征建模语言TEFL,介绍其具体语法、抽象语法,以及形式化语义;开发一个基于Eclipse的语言编辑器原型;给出了面向XML和Java语言应用转化方法和工具;分析了与现有文本式建模技术相比所具有的优势与不足,并指出在特征建模及其工具技术方面的进一步的工作方向. Feature models are the de-facto standard for modeling commonality and variability in software product line engineering.Existing diagram-based feature modeling tools suffer from a lack of adoption in the industry due to their lack of conciseness and expressiveness.To overcome these shortcomings and provide a solid supporting environment for feature-based product lines development,this paper proposes a textual feature modeling language,called TEFL,with its concrete syntax,Abstract syntax,and formal semantics.We develop an Eclipse-based editor prototype for it,and show its usage with transformation methods and tools in the scenarios of XML community and Java language environment.We also discuss the advantages and shortcomings of TEFL compared to existing textual modeling techniques and point out further directions in feature modeling and related tool technologies.
出处 《小型微型计算机系统》 CSCD 北大核心 2012年第10期2133-2140,共8页 Journal of Chinese Computer Systems
基金 国家"九七三"重点基础研究发展计划项目(2010CB735907)资助 国家"核高基"科技重大专项(2011ZX01043-001-001)资助
关键词 软件产品线 可变性建模 特征模型 文本式特征建模 software product line variability modeling feature modeling textual feature modeling
  • 相关文献

参考文献23

  • 1Harel D, Rumpe B. Meaningful modeling, what's the semantics of "semantics" ? [ J ]. Computer,2004,37 (10) :64-72.
  • 2Czamecki K, Helsen S, Eisenecker U. Formalizing cardinality- based feature models and their specialization [ J ]. Software Process Improvement and Practice,2005,10 ( 1 ) :7-29.
  • 3Michel R, Classen A, Hubaux A, et al. A formal semantics for feature cardinalities in feature diagrams [ C ]. In: Proc. of 5th Inter- national Workshop on Variability Modelling of Software-intensive Systems, 2011:82-89.
  • 4Classen A, Hubaux A, Heymans P. A formal semantics for multi- level staged configuration [ C ]. In: Proc. of 3rd International Workshop on Variability Modelling of Software-intensive Systems, 2009:51450.
  • 5Classen A, Boucher Q, Heymans P. A text-based approach to fea- ture modelling: syntax and semantics of TVL[J]. Science of Com- puter Programming, 2011, 76 (12): 1130-1143.
  • 6Schobbens P, Heymans P, Trigaux J. Feature diagrams : a survey and a formal semantics[C]. In: Proc of 14th IEEE Int'l Require- ments Engineering Conf. , 2006:136-145.
  • 7Zhou Jin-gang, Zhao Da-zhe, Xu Li, et al. Do we need another textual language for feature modeling: a preliminary evaluation on the XML based approach [ C ]. In : Software Engineering Research, Management and Application, Studies in Computational Intelli- gence 430,2012:97-111.
  • 8Riebisch M. Towards a more precise definition of feature models [ C ]. In : Proc. of ECOOP 2003 Workshop on Modelling Variabili- ty for Object-Oriented Product Lines, 2003:64-76.
  • 9Heidenreich F, Johannes J, Seifert M, et al. Generating safe tem- plate languages[C]. In: Proc. of Int'l Conf. on Generative Pro- gmmming and Component Engineering, 2009:99-108.
  • 10Adams B, De Meuter W, Tromp H, et al. Can we refactor condi- tional compilation into aspects? [C]. In: Proc. of Int'l Conf. on Aspect-Oriented Software Development,2009:243-254.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部