×

关于面向方面的乘积族代数的编织过程。 (英语) Zbl 1346.68068号

摘要:据广泛报道,产品族工程有助于提高生产率、提高软件质量、降低成本和劳动力需求,并缩短上市时间。随着产品系列的日益复杂,需要更复杂的技术来开发、维护和发展产品系列。更具体地说,我们关注产品族工程的问题空间,并解决大规模特征模型建模中的问题。最近对特征模型的研究在特征建模层次上采用了关注点分离的原则。然而,当前的模块化方法在处理横切关注点和特性建模级别的意外更改方面仍然存在局限性。我们使用一种称为面向方面的产品族代数(AO-PFA)的语言来解决这些挑战。为了充分发挥面向方面范式在特征建模层面的优势,本文提出了AO-PFA编织过程的形式化。此外,由于织造过程与一般不可判定的单词问题相关,我们证明了AO-PFA的织造过程是收敛的,导致了明确的织造结果,并且其重写系统是终止的和合流的。

MSC公司:

68号30 软件工程的数学方面(规范、验证、度量、需求等)
68N99型 软件理论
2012年第68季度 语法和重写系统

软件:

CASL公司;莫德
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 克莱门茨,P。;Northrop,L.,《软件产品线:实践和模式》(2002),Addison-Wesley
[2] McGregor,J.D。;诺斯罗普,L.M。;贾拉德,S。;Pohl,K.,客座编辑介绍:启动软件产品线,IEEE Softw。,19, 4, 24-27 (2002)
[3] 波尔,K。;Böckle,G。;van der Linden,F.,《软件产品线工程:基础、原理和技术》,39-52(2005),《Springer-Verlag:Springer-Verlag Berlin》,海德堡,第3章
[4] Parnas,D.L.,《关于将系统分解为模块的标准》,Commun。ACM,151053-1058(1972年)
[5] Acher,M。;科莱,P。;拉希尔,P。;法国R.,《构建特征模型》,(van den Brand,M.;Gaševic,D.;Gray,J.,《软件语言工程》,《计算机科学讲义》,第5969卷(2010年),施普林格:施普林格柏林/海德堡),62-81
[6] 博斯科维奇,M。;Mussbacher,G。;Bagheri,E。;Amyot,D。;加舍维奇,D。;Hatala,M.,面向方面的特征模型,(立场文件,2010年软件工程模型国际会议论文集(2010))
[7] 张,Q。;Khedri,R。;Jaskolka,J.,《面向方面的特征建模语言》,J.Ambient Intell。Humaniz公司。计算。,5, 343-356 (2014)
[8] Griss,M.L.,《利用组件重用实现产品线特征》,(第六届软件重用国际会议论文集:软件重用性进展(2000),Springer-Verlag),137-152
[9] 拉希德,A。;Moreira,A.,域模型不是无方面的,(models(2006),Springer),155-169
[10] 费尔曼,R.E。;Friedman,D.P.,面向方面编程是量化和遗忘(2001年5月),高级计算机科学研究所技术代表,高级关注点分离研讨会(OOPSLA 2000)
[11] Griss,M.L.,《通过组合组件方面实现产品线特征》(《第一届国际软件产品线会议论文集》,科罗拉多州丹佛市,2000年)
[12] 科尔耶,A。;拉希德,A。;Blair,G.,《关于产品系列中关注点的分离》(2004),兰开斯特大学计算系,技术代表。
[13] Chitchyan,R。;拉希德,A。;索耶,P。;加西亚,A。;Alarcon,M.P。;Jethro Bakker,B.T。;克拉克,S。;Jackson,A.,《基于模型的访问控制关注点方法》(《分析与设计方法调查》,AOSD-Europe(2005))
[14] 张,Q。;Khedri,R。;Jaskolka,J.,《特征建模中体成分的验证》(Eleftherakis,G.;Hinchey,M。;Holcombe,M.,《软件工程与形式方法》,第十届国际会议。软件工程与形式方法,第十届国际会议,SEFM 2012,希腊塞萨洛尼基。软件工程与形式方法,第十届国际会议。软件工程与形式方法,第十届国际会议,SEFM 2012,希腊塞萨洛尼基,计算机科学讲义,第7504卷(2012),施普林格:施普林格柏林/海德堡),109-125
[15] Lehmann,J.,《图重写-图重写:图重写和图重写演算的应用》,(Proceedings des Hauptsociations Methoden zur Spezifikation der Semantik von Programmiersprachen WS 2006/2007(2007),TU:TU Dresden),42-46
[16] 阿曼,美国。;路德维希,A.,图重写的方面编织,(生成和基于组件的软件工程。生成和基于构件的软件工程,计算机科学讲义,第1799卷(2000),施普林格:施普林格柏林/海德堡),24-36
[17] Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅塞盖尔,J。;Talcott,C.,Maude手册(2.6版)(2011),SRI国际计算机科学实验室
[19] Batory,D.,《特征模型、语法和命题公式》,(《软件产品线:第九届国际会议论文集》)。软件产品线:第九届国际会议论文集。《软件产品线:第九届国际会议论文集》,SPLC 2005,法国雷恩,2005年9月26-29日,《计算机科学讲义》,第3714卷(2005),施普林格:施普林格柏林/海德堡),7-20
[20] Höfner,P。;Khedri,R。;Möller,B.,特征代数,(Misra,J.;Nipkow,T.;Sekerinski,E.,形式方法。形式方法,计算机科学讲义,第4085卷(2006年),Springer出版社),300-315
[21] Höfner,P。;Khedri,R。;Möller,B.,产品族代数,Softw。系统。型号。,10, 2, 161-182 (2011)
[22] Mannion,M.,《使用一阶逻辑进行产品线模型验证》,(Chastek,G.,《计算机科学讲义》,第2379卷(2002),Springer-Verlag:Springer-Verlag Berlin,Heidelberg),176-187·Zbl 1045.68543号
[23] 图姆,T。;Batory博士。;Kästner,C.,《关于编辑特征模型的推理》(软件工程国际会议论文集(2009))
[24] Höfner,P。;Khedri,R。;Möller,B.,代数视图协调,(第六届IEEE软件工程和形式化方法国际会议论文集(2008),IEEE:IEEE Piscataway,NJ,USA),85-94
[25] Höfner,P。;Khedri,R。;Möller,B.,《用行为补充产品系列》,《国际期刊信息》,245-266(2011)
[26] 塞德尔,C。;谢弗,I。;Aßmann,U.,用超特征模型捕捉空间和时间的可变性,(第八届软件密集型系统可变性建模国际研讨会论文集(2014)),1-8
[27] 阿尔维斯,V。;Gheyi,R。;马索尼,T。;Kulesza,美国。;博尔巴,P。;Lucena,C.,重构产品线,(第五届生成性编程和组件工程国际会议论文集(2006),ACM:ACM纽约),201-210
[28] 巴德,F。;Nipkow,T.,《术语改写和所有这些》(1998年),剑桥大学出版社
[29] Ehrig,H。;Mahr,B.,《代数规范基础1:方程和初始语义》(1985),Springer-Verlag:Springer-Verlag Berlin,Heidelberg·Zbl 0557.68013号
[30] Ehrig,H。;Mahr,B.,《代数规范基础2:模块规范和约束》(1990),Springer-Verlag·Zbl 0759.68013号
[31] 比多特,M。;Mosses,P.D.,《CASL用户手册:通用代数规范语言使用入门》,《计算机科学课堂讲稿》(2004年),斯普林格·弗拉格出版社·Zbl 1033.68025号
[33] Jory:基于产品族代数的工具
[34] 张,Q。;Khedri,R.,AO-PFA语言中方面编织重写系统收敛性的证明(2013年3月),麦克马斯特大学:加拿大安大略省汉密尔顿麦克马斯特学院,可查阅:
[35] Zhang,Q.,面向方面的产品族建模(2015),麦克马斯特大学:加拿大麦克马斯特学院,博士论文
[36] 张,Q。;Khedri,R。;Jaskolka,J.,《面向方面的产品族规范语言》(Shakshuki,E。;Younas,M.,《第三届环境系统、网络和技术国际会议论文集》。第三届环境系统、网络和技术国际会议记录,ANT 2012和MobiWIS 2012,尼亚加拉大瀑布,加拿大安大略省。第三届环境系统、网络和技术国际会议记录。《第三届环境系统、网络和技术国际会议论文集》,ANT 2012和MobiWIS 2012,尼亚加拉大瀑布,安大略省,加拿大,Procedia Computer Science,第10卷(2012),482-489
[37] 阿佩尔,S。;Lengauer,C。;Möller,B。;Kästner,C.,《基于特征的自动程序合成的代数基础》,科学。计算。程序。,75, 2010, 1022-1047 (2010) ·Zbl 1209.68129号
[39] 黑莉,C。;兰尼,R。;Nuseibeh,B.,从横切威胁描述中导出安全需求,(第三届面向方面软件开发国际会议论文集(AOSD 04)(2004),ACM出版社)
[40] 雷,I。;法国,R。;李,N。;Georg,G.,《基于方面的访问控制问题建模方法》,Inf.Softw。技术。,46, 9, 575-587 (2004)
[41] 沙阿,V。;Hill,F.,面向方面的安全框架:经验教训,(AOSD应用级安全技术研讨会(AOSDSC),2004年)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。