×

在序列图中编织多个方面。 (英语) Zbl 1165.68364号

Rashid,Awais(编辑)等人,《面向方面软件开发汇刊III》,柏林:施普林格出版社(ISBN 978-3-540-75161-8/pbk)。计算机科学课堂讲稿4620。《期刊副刊》,167-199(2007)。
概要:在模型中处理方面对于在软件生命周期的早期管理横切关注点(从编程到设计、分析甚至需求)看起来很有希望。在建模级别,甚至复杂的行为方面也可以很容易地描述为一对序列图:一个用于指定要检测的行为的切入点,另一个用于表示连接点上所需行为的建议。虽然这对于非正式文档来说很好,甚至在必须编织单个方面时也足够直观,但为了将这些建模工件用于模型驱动工程活动(例如代码生成或测试合成),需要更精确的连接点检测和建议编织语义。本文提出了切入点的各种解释,允许静态编织多个行为方面。其思想是允许连接点匹配切入点,即使在其间出现一些额外消息。然而,使用这种指定连接点的新方法,通知与检测到的部分的组合不再仅仅是通知替换检测到的部件。我们必须考虑连接点的事件(或消息),以及它们之间发生的事件,并将它们与建议中指定的行为合并。因此,我们还提出了一个新合并操作符的形式化定义,并描述了其在Kermeta平台上的实现。
关于整个系列,请参见[Zbl 1165.68312号].

MSC公司:

68N99型 软件理论

软件:

方面J科梅塔
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] 艾伦·C·。;Avgustinov,P。;Christensen,A.S。;亨德伦。;库津斯,S。;欧·霍塔克。;de Moor,O。;塞雷尼·D·。;Sittampalam,G。;Tibble,J.,向方面添加带有自由变量的跟踪匹配,OOPSLA 2005,345-364(2005),纽约:ACM出版社,纽约·doi:10.1145/1094811.1094839
[2] Araujo J.、Whittle J.和Kim:使用方面对基于场景的需求进行建模和组合。收录于:《2004年可再生能源大会论文集》,日本京都(2004年9月)
[3] E.Aspect(2006),http://www.earlyaspects.net/
[4] Bockisch,C。;Kanthak,S。;Haupt,M。;阿诺德,M。;Mezini,M.,《有效控制流量化》,OOPSLA 2006,125-138(2006),纽约:ACM出版社,纽约·数字对象标识代码:10.1145/1167473.1167484
[5] 布丁斯基,F。;斯坦伯格,D。;Merks,E。;埃勒西克,R。;Grose,T.,《Eclipse建模框架》(2003),阅读:Addison-Wesley Professional,阅读
[6] Clarke,S.:面向对象软件设计模型的组合。都柏林城市大学博士论文(2001年)
[7] 克拉克,S。;巴尼亚萨德,E.,《面向方面的分析与设计:主题方法》(2005),《阅读:艾迪森·韦斯利》,《阅读》
[8] Damm,W.,Harel,D.:LSC:将生命注入信息序列图。第19卷,第45-80页(2001年)·Zbl 0985.68033号
[9] Davey,B.A.,Priestley,H.A.:格与秩序导论。剑桥数学教科书(1990)·Zbl 0701.06001号
[10] 杜恩斯,R。;弗雷德,P。;苏霍尔特,M。;Batory,D。;康塞尔,C。;Taha,W.,《方面交互的检测和解决框架》,生成性编程和组件工程(2002),海德堡:施普林格出版社·兹比尔1028.68727 ·doi:10.1007/3-540-45821-2-11
[11] 杜恩斯,R。;Motelet,O。;苏霍尔特,M。;Yonezawa,A。;Matsuoka,S.,横切的正式定义,元层次架构和横切关注点的分离,170-186(2001),海德堡:斯普林格·Zbl 1038.68679号 ·doi:10.1007/3-540-45429-2_13
[12] 法国,R.B。;Kim,D.-K。;Ghosh,S。;Song,E.,基于uml的模式规范技术,IEEE TSE,30,3,193-206(2004)
[13] ITU-TS。ITU-TS建议Z.120:消息序列图(MSC)。ITU-TS,日内瓦(1999年9月)
[14] 雅各布森,I。;Ng,P.-W.,《使用用例进行面向方面的软件开发》(2004),阅读:Addison-Wesley,阅读
[15] Kiczales,G.:乐趣才刚刚开始。AOSD 2003(2003)主题演讲
[16] Kiczales,G。;Hilsdale,E。;休古宁,J。;克尔斯滕,M。;Palm,J。;Griswold,W.G。;Knudsen,J.L.,AspectJ概述,ECOOP 2001-面向对象编程,327-355(2001),海德堡:施普林格·Zbl 0982.68552号 ·数字对象标识代码:10.1007/3-540-45337-7_18
[17] Klein,J.、Caillaud,B.、Hélouét,L.:合并场景。在:FMICS研讨会,第209-226页,奥地利林茨(2004年9月)
[18] 克莱因,J。;Hélouet,L。;Jézéquel,J.-M.,基于语义的场景编织,AOSD(2006),纽约:ACM出版社,纽约
[19] Muller,P.-A.,Fleurey,F.,Jézéquel,J.-M.:将可执行性编织成面向对象的元语言。In:程序。模型/UML,LNCS,牙买加(2005)
[20] Muller,P.-A.、Fleurey,F.、Vojtisek,D.、Drey,Z.、Pollet,D.、Fondement,F.,Studer,P.、JéZéquel,J.-M.:关于应用于模型转换的可执行元语言。In:模型转换。参加:牙买加实践讲习班(2005年)
[21] OMG.Uml上层建筑,v2.0。OMG文件编号正式/05-07-04(2005)
[22] Omondo(2006),http://www.omondo.com网站
[23] 奥斯特曼,K。;Mezini,M。;Bockisch,C。;Black,A.P.,增加模块性的表达切入点,ECOOP 2005-面向对象编程(2005),海德堡:施普林格,海德堡
[24] Rashid,A.,Moreira,A.M.D.,Araújo,J.:方面需求的模块化和组合。收录于:《2003年AOSD会议记录》,第11-20页(2003)
[25] Reddy,R.,France,R.、Ghosh,S.、Fleurey,F.、Baudry,B.:模型合成——基于签名的方法。In:蒙特哥湾AOM研讨会(2005年10月)
[26] Stein,D.,Hanenberg,S.,Unland,R.:表达面向方面设计中连接点选择的不同概念模型。In:AOSD,波恩,火星(2006)
[27] TopCaseD(2006),http://www.topcased.org/
[28] Walker,R.J.,Viggers,K.:通过声明性事件模式实现协议。In:ACM Sigsoft软件工程基础国际研讨会(FSE-12)。29(6), 159-169, (2004)
[29] 惠特尔,J。;Araüjo,J.,《方面的场景建模》。,IEE会议记录-软件,151,4,157-172(2004)·doi:10.1049/ip森:20040921
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。