×
彼得·霍夫纳；伯恩哈德·莫勒

扩展特征代数。 （英语） Zbl 1355.68054号

J.日志。阿尔盖布。方法计划。 85，第5号，第2部分，952-971（2016）.
总结：特征代数作为面向特征的软件开发的抽象框架引入。一个目标是为面向特征的关键思想提供一个共同的、明确定义的基础。代数捕捉了特征定向的主要方面，例如特征的层次结构和特征组合。然而，正如我们将要展示的那样，它无法在代码级别建模方面，即必须合并不同功能的代码片段的情况。换句话说，它并不反映具体实现的细节。在本文中，我们首先给出了特征代数原始公理的具体模型，这些公理代表了面向特征程序的主要概念。这表明抽象特征代数可以用不同的方式进行解释。然后，我们使用这些模型表明，特征代数的公理并不能正确反映从目录结构到实际代码级别的特征定向的所有方面。这促使我们扩展抽象代数，这是本文的第二个主要贡献。我们修改了公理并引入了扩展特征代数。作为第三个贡献，我们引入了更多操作符来涵盖抽象设置中的重写等概念。

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

以特征为导向；特征代数；FOSD的代数特征

软件：

梅斯4；校准仪9；部落；香车叶草
PDF格式BibTeX公司 XML格式引用
\textit{P.Höfner}和\textit{B.Möller}，J.Log。阿尔盖布。方法计划。85，第5号，第2部分，952--971（2016；Zbl 1355.68054）
全文： DOI程序

参考文献：

[1] 阿佩尔，S。；Hutchins，D.，统一特征合成演算，ACM Trans。程序。语言系统。，32, 5, 1-33 (2010)
[2] 阿佩尔，S。；卡斯特纳，C。；Lengauer，C.，《独立于语言的自动化软件合成：FeatureHouse体验》，IEEE Trans。柔和。工程，39，1，63-79（2013）
[3] 阿佩尔，S。；Lengauer，C.，《叠加：一种独立于语言的软件组合方法》，（Pautasso，C.；Tanter，E..，《软件组合.软件组合》，Lect.Notes Compute.Sci.，第4954卷（2008年），Springer），20-35
[4] 阿佩尔，S。；Lengauer，C。；米勒，B。；Kästner，C.，《特征和特征组合的代数》，（AMAST 2008：第十二届代数方法论和软件技术国际会议论文集。AMAST 2008:第十二届国际代数方法论与软件技术会议论文集，Lect.Notes Compute.Sci.，第5140卷（2008），Springer），36-50·Zbl 1170.68424号
[5] 阿佩尔，S。；Lengauer，C。；米勒，B。；Kästner，C.，《基于特征的自动程序合成的代数基础》，科学。计算。程序。，75, 11, 1022-1047 (2010) ·Zbl 1209.68129号
[6] 阿佩尔，S。；利比希，J。；Lengauer，C。；卡斯特纳，C。；Cook，W.，修订控制系统中的半结构化合并，（Benavides，D.；Batory，D.；Grünbacher，P.，《软件集成系统的可变性建模研讨会》，ICB Res.Rep.，第37卷（2010），杜伊斯堡大学，13-19
[7] 巴德，F。；Nipkow，T.，《术语改写和所有这些》（1999年），剑桥大学出版社·Zbl 0948.68098号
[8] Batory，D.，面向特征编程和AHEAD工具套件，（ICSE’04：第26届国际软件工程会议论文集（2004），IEEE出版社），702-703
[9] Batory，D.，从产品合成的实现到理论，ACM SIGPLAN Not。，42, 1, 135-136 (2007)
[10] Batory，D。；Höfner，P。；Kim，J.，《功能交互、产品和组成》，（Denney，E.；Schultz，U.，《生成编程与组件工程》，《生成编程与组件工程》，GPCE’11（2011），ACM出版社），13-22
[11] Batory，D。；Höfner，P。；科普，D。；米勒，B。；Zelend，A.，《结构化文档代数的作用》，（De Nicola，R.；Hennicker，R.，《软件、服务和系统》，Lect.Notes Compute.Sci.，第8950卷（2015），Springer），291-311·Zbl 1454.68023号
[12] Batory，D。；Höfner，P。；米勒，B。；Zelend，A.，《特性、模块化和变化点》（Classen，A.；Siegmund，N.，《面向特性的软件开发》，《面向特征的软件开发，FOSD’13（2013），ACM出版社），9-16
[13] Batory，D。；O'Malley，S.，《具有可重用组件的分层软件系统的设计和实现》，ACM Trans。柔和。工程方法。，1, 4, 355-398 (1992)
[14] Batory，D。；Sarvela，J.N。；Rauschmayer，A.，缩放逐步细化，（ICSE'03：第25届国际软件工程会议论文集。ICSE'03:第25届软件工程国际会议论文集，IEEE（2003）），187-197
[15] Batory，D。；Singhal，V。；Sirkin，M。；Thomas，J.，可扩展软件库，ACM SIGSOFT Softw。工程注释，18，5，191-199（1993）
[16] Batory，D。；Smith，D.，《有限映射空间和夸克：程序结构的代数》（2007），德克萨斯大学，技术报告TR07-66
[17] 克拉克，D。；Drossopoulou，S。；Noble，J。；Wrigstad，T.，《部落：一个简单的虚拟类演算》（Tribe:a simple virtual class calculation），（面向方面的软件开发（Aspect-oriented Software Development，2007），美国计算机学会出版社），121-134
[18] Czarnecki，K。；Eisenecker，U.，《生成程序设计：方法、工具和应用》（2000），Addison Wesley
[19] 丹·H·H。；吕克，R。；米勒，B。；Roocks，P。；Zelend，A.，《探索模态世界》，J.Log。代数方法程序。，83, 2, 135-153 (2014) ·Zbl 1434.03146号
[20] Davey，B.A。；Priestley，H.A.，《格与序导论》（2002），剑桥大学出版社·Zbl 1002.06001号
[21] 特拉华州，B。；库克·W·。；Batory，D.，《将碎片装配在一起：安全合成的机器选择模型》（Proc.ESEC/FSE’09（2009），ACM出版社），243-252
[22] Desharnais，J。；米勒，B。；Struth，G.，带域的Kleene代数，ACM Trans。计算。日志。，7, 4, 798-833 (2006) ·Zbl 1367.68205号
[23] 杜卡斯，S。；O.尼尔斯特拉斯。；Schärli，N。；Wuts，R。；Black，A.，《特性：细粒度重用机制》，ACM-Trans。程序。语言系统。，28, 2, 331-388 (2006)
[24] Ehm，T.，指针-克莱恩代数，（Berghammer，R.；Möller，B.；Struth，G.，RelMiCS.RelMiCS，Lect.Notes Compute.Sci.，第3051卷（2004），Springer），99-111·Zbl 1088.68038号
[25] Ernst，E。；奥斯特曼，K。；Cook，W.，虚拟类微积分，ACM SIGPLAN Not。，41, 1, 270-282 (2006) ·Zbl 1369.68072号
[26] Hillenbrand，T。；Buch，A。；Vogt，R.，Waldmeister：高性能方程推导，J.Autom。原因。，18265-270（1997年）
[27] Höfner，P。；Khédri，R。；Möller，B.，《特征代数》，（Misra，J.；Nipkow，T.；Sekerinski，E.，FM 2006:形式方法。FM 2006:Formal Methods，Lect.Notes Compute.Sci.，第4085卷（2006），Springer），300-315
[28] Höfner，P。；Khedri，R。；Möller，B.，代数视图协调，（软件工程与形式化方法，软件工程与格式化方法，SEFM'08（2008）），85-94
[29] Höfner，P。；Khédri，R。；Möller，B.，《用行为补充产品系列》，国际J.Softw。通知。，5, 1-2, 245-266 (2011)
[30] Höfner，P。；Möller，B.，《特征代数扩展抽象的扩展》，（Apel，S.；Cook，W.R.；Czarnecki，K.；Kästner，C.；Loughran，N.；Nierstrasz，O.，《面向特征的软件开发》，《面向特性的软件开发，FOSD’09（2009），ACM出版社），75-80
[31] Hutchins，D.，《消除阶级差异：使用原型建模虚拟阶级》（Tarr，P.L.；Cook，W。R.，第21届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集。《第21届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集》，OOPSLA 2006（2006），ACM出版社），1-20
[32] Kang，K.C。；科恩，S.G。；赫斯·J·A。；诺瓦克，W.E。；Peterson，A.S.，《面向特征的领域分析（FODA）可行性研究》（1990），卡内基梅隆大学软件工程研究所，技术报告CMU/SEI-90-TR-21
[33] 卡斯特纳，C。；阿佩尔，S。；Batory，D.，使用AspectJ实现特性的案例研究，（软件产品线，第11届国际会议（SPLC）（2007），IEEE计算机学会），223-232
[34] Lopez-Herrejon，R。；Batory，D.，《评估产品线方法的标准问题》（Bosch，J.，GCSE’01：第三届生成式和基于组件的软件工程国际会议论文集）。GCSE’01：第三届生成和基于组件的软件工程国际会议论文集，Lect。注释计算。科学。，第2186卷（2001），施普林格），10-24·Zbl 1029.68801号
[35] Masuhara，H。；Kiczales，G.，《面向方面机制中的横切建模》，（欧洲面向对象编程会议，欧洲面向对象程序设计会议，Lect.Notes Compute.Sci.，vol.2743（2003），Springer），2-28
[37] Mens，T.，《关于软件合并的最新调查》，IEEE Trans。柔和。工程，28，5，449-462（2002）
[38] Möller，B.，《指向指针代数》，科学。计算。程序。，21, 1, 57-90 (1993) ·Zbl 0780.68090号
[39] Nipkow，T。；保尔森，L.C。；Wenzel，M.，Isabelle/HOL-A高阶逻辑的证明助手，Lect。注释计算。科学。，第2283卷（2002），施普林格出版社·Zbl 0994.68131号
[40] Osser，H。；Tarr，P.L.，Hyper/J：Java关注点的多维分离，（Ghezzi，C.；Jazayeri，M.；Wolf，A.L.，国际软件工程会议。国际软件工程大会，ICSE'00（2000），ACM出版社），734-737
[41] Ramalingam，G。；Reps，T.，《程序修改理论》（Maibaum，T.），《软件开发理论与实践》，第2卷。软件开发理论与实践，第2卷，Lect。注释计算。科学。，第494卷（1991），施普林格），137-152·Zbl 0967.68504号
[42] Ramalingam，G。；Reps，T.，修改代数，（Nivat，M.；Rattray，C.；Rus，T；Scollo，G.，《方法论和软件技术》（1992），Springer），547-558
[43] 塔尔，P。；Osser，H。；哈里森·W·。；Sutton，S.，N分离度：关注点的多维分离，（软件工程国际会议，国际软件工程会议，ICSE’99（1999），ACM出版社），107-119
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。