马塞尔·奥利维拉。;安东尼诺,P。;R.拉莫斯。;A.桑帕约。;莫塔,A。;A.W.罗斯科。 使用组件元数据和模式严格开发基于组件的系统。 (英语) 兹比尔1348.68167 正式Asp。计算。 28,第6期,937-1004(2016)。 引用于4文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(过程代数、互模拟、转换网等) 68号30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:基于构件开发;通过构造更正;设计;元数据;行为方式;死锁分析;CSP公司 软件:FDR3公司;系统建模语言;第二代外国存托凭证;沙发2.0;探查;ArchJava建筑;PACC初学者工具包;里奥;找不同;rCOS公司 PDF格式BibTeX公司 XML格式引用 \textit{M.V.M.Oliveira}等人,正式Asp。计算。28,第6号,937--1004(2016;Zbl 1348.68167) 全文: 内政部 链接 参考文献: [1] Aldini A,Bernardo M(2003)软件架构无死锁验证的一般方法。参加:欧洲正式方法国际研讨会。计算机科学课堂讲稿,第2805卷。纽约州施普林格,第658-677页 [2] Aldrich J、Chambers C、Notkin D(2002)《Archjava:将软件架构与实现联系起来》。In:软件工程国际会议。纽约ACM出版社·Zbl 1049.68745号 [3] Allen R、Douence R、Garlan D(1998)《指定和分析动态软件架构》。In:软件工程基本方法会议(FASE)。计算机科学课堂讲稿,第1382卷,里斯本 [4] Allen R(1997)软件架构的正式方法。卡内基梅隆大学博士论文,CMU技术报告CMUU-CS-97-144 [5] Antonino PRG、Oliveira MVM、Sampaio ACA、Kristensen KE、Bryans JW(2014)《领导层选举:成分僵局验证的工业应用》。In:NASA正式方法-第六届国际研讨会(NFM’14)。计算机科学课堂讲稿,第8430卷。纽约州施普林格,第31-45页 [6] Arbab F(2004)Reo:一种基于通道的组件组成协调模型。数学结构计算科学14(3):329-366·Zbl 1085.68552号 ·doi:10.1017/S0960129504004153 [7] Antonino PRG、Sampaio A、Woodcock J(2014)《基于细化的csp进程网络局部死锁分析策略》。In:FM 2014:正式方法。计算机科学课堂讲稿,第8430卷,第62-77页·Zbl 1286.68098号 [8] Bensalem S、Bozga M、Nguyen T-H、Sifakis J(2010),基于组件的系统和应用的成分验证。IET软件4(12):181-193·Zbl 1183.68364号 ·doi:10.1049/iet-sen.2009.0011 [9] Bernardo M,Ciancarini P,Donatiello L(2002)用过程代数构建软件系统系列。ACM Trans Softw Eng Methodol公司11(4):386-426·数字对象标识代码:10.1145/606612.606614 [10] Bruneton E、Coupaye T、Leclercq M、Quema V、Stefani JB(2006)《分形组件模型及其在Java中的支持》。Softw Pract实验36(11-12):1257-1284·doi:10.1002/spe.767 [11] Basu A、Gallien M、Lesire C、Nguyen T-H、Bensalem S、Ingrand F、Sifakis J(2008)机器人系统的基于组件的增量构建和验证。第18届欧洲人工智能会议。《人工智能与应用前沿》,第178卷。IOS,第631-635页出版社 [12] Bensalem S、Griesmayer A、Legay A、Nguyen T-H、Sifakis J、Yan R(2011)D-finder 2:实现增量设计的有效正确性。In:NASA正式方法。计算机科学课堂讲稿,第6617卷。纽约州施普林格,第453-458页 [13] Bures T、Hnetynka P、Plasil F(2006)《SOFA 2.0:在分层组件模型中平衡高级功能》。参加:第四届软件工程研究、管理和应用国际会议。IEEE,第40-48页 [14] Brada P(2002)安全组件升级的元数据支持。参加:第26届国际计算机软件和应用会议。IEEE,第1017-1021页 [15] Brada P(2011)使用部署上下文信息增强基于类型的组件兼容性。计算机科学电子注释279(2):17-31·doi:10.1016/j.entcs.2011.11.009 [16] Beyer D,Wendler P(2013)验证结果的再利用。In:模型检查软件。计算机科学课堂讲稿,第7976卷。纽约州施普林格,第1-17页 [17] Cheung E,Chen X,Hsieh H,Davare A,Sangiovanni-Vincentelli A,Watanabe Y(2009)系统级设计的运行时死锁分析。Des Autom嵌入式系统13(4):287-310·doi:10.1007/s10617-009-9046-2 [18] Chi Z(2009)基于行为描述和角色划分的组件组合兼容性检查。参加:电子商务和电子政务管理国际会议。IEEE,第262-265页 [19] Chen X,He J,Liu Z,Zhan N(2007)基于组件的编程模型。摘自:软件工程基础国际研讨会。计算机科学讲稿,第4767卷。纽约州施普林格,第191-206页·Zbl 1141.68363号 [20] Cheung S,Kramer J(1996)组合可达性分析的上下文约束。ACM Trans Softw Eng Methodol公司5(4):334-377·doi:10.1145/235321.235323 [21] Cordy M、Schobbens P、Heymans P、Legay A(2012)《软件产品线模型检查的基于增量自动机的方法》。参加:第16届国际软件产品线会议。ACM,纽约,第74-81页 [22] Craig DC,Zuberek WM(2007)《软件组件的兼容性——建模和验证》。参加:计算机系统可靠性国际会议。IEEE,第11-18页·兹比尔1184.68260 [23] DeMichiel L,Keith M(2006)企业javabeans规范,3.0版。技术报告JSR 220,Sun Microsystems [24] Dias MS,Richardson DJ(2002)确定并发事件组件中事件之间的因果关系。摘自:第17届IEEE自动化软件工程国际会议。IEEE,第245-248页 [25] Dihego,J,Sampaio ACA,Oliveira MVM(2015)基于可信组件的系统的构造性扩展性。摘自:第30届ACM应用计算研讨会(SAC’15)会议记录。ACM,纽约 [26] Fitzgerald J、Foster S、Ingram C、Larsen PG、Woodcock J(2013)《系统体系的基于模型的工程:指南针宣言》。技术报告,COMPASS。http://www.compass-research.eu/Project/Publications/MBESoS.pdf。2016年4月22日访问 [27] Farias A,Guéhéneuc Y(2003)《组件协议的一致性》。计算机科学电子笔记82(5):42-53·doi:10.1016/S1571-0661(04)80733-3 [28] Findler RB、Latendresse M、Felleisen M(2001)《行为契约和行为子类型》。ACM SIGSOFT软件工程注释26(5):229-236·doi:10.1145/503271.503240 [29] Formal Systems(Europe)Ltd.(1998)过程行为探测仪ProBE用户手册 [30] Formal Systems Ltd.(2012)FDR2:用户手册,版本2.94·Zbl 1118.68049号 [31] 乔治·B(1986)《吉祥物3》:一本非正式的入门教程。软件工程J 1(7):95-102·文件编号:10.1049/sej.1986.0017 [32] Gößler G,Graf S,Majster-Cederbaum M,Martens M,Sifakis J.(2006)《确保相互作用系统的特性》。内容:程序分析与编译的理论与实践。计算机科学课堂讲稿,第4444卷。纽约州施普林格,第201-224页·Zbl 1149.68352号 [33] Gößler G,Graf S,Majster-Cederbaum M,Martens M,Sifakis J(2007)基于组件的系统建模和验证方法。In:计算机科学理论和实践的当前趋势。计算机科学课堂讲稿,第4362卷。纽约州施普林格,第295-308页·Zbl 1131.68474号 [34] Ghezzi C(2012)《进化、适应和对增量的追求》。In:大型复杂it系统。开发、运营和管理。纽约州施普林格,第369-379页 [35] Gibson-Robinson T、Armstrong P、Boulgakov A、Roscoe AW(2014)FDR3-CSP的现代模型检查器。在:ErikaÁbrahám,Klaus Havelund(编辑)用于系统构建和分析的工具和算法。计算机科学课堂讲稿,第8413卷,第187-201页·Zbl 1392.68300号 [36] Hepner M、Gamble R、Kelkar M、Davis L、Flagg D(2006)《软件组件之间的冲突模式》。《系统软件杂志》79(4):537-551·doi:10.1016/j.jss.2005.11.211 [37] Hennicker R、Janisch S、Knapp A(2010)《复合材料组件的可观察行为》。ENTCS 260:125-153型 [38] 何J,李X,刘Z(2006)rCOS:对象系统的精化演算。计算机科学理论365(1-2):109-142·Zbl 1118.68049号 [39] 何杰,李旭,刘忠(2006)《反应组分理论》。计算机科学电子笔记160:173-195·doi:10.1016/j.entcs.2006.05.022 [40] Hoare CAR(1985)通信顺序过程。普伦蒂斯·霍尔,美国·Zbl 0637.68007号 [41] Ivers J,Moreno G(2008)《PACC初学者工具包:开发具有可预测行为的软件》。In:ICSE伴侣。ACM,纽约,第949-950页 [42] Kwiatkowska XWM(2007)使用未纠缠动作的合成状态空间缩减。参加:第13届并发表达能力国际研讨会。计算机科学电子笔记175:27-46·兹比尔1277.68213 [43] LazićR(1999)数据相关性的语义研究及其在并发系统机械验证中的应用。牛津大学博士论文 [44] Leavens G,Dhara K(2000)行为子类型的概念及其扩展到基于组件的系统的草图。In:基于组件的系统基础。剑桥大学出版社,剑桥,第113-135页·Zbl 1215.68078号 [45] Leveson N(1995)《安全软件:系统安全和计算机》。Addison-Wesley,门罗公园 [46] Lambertz C,Majster Cederbaum ME(2010)组件系统无死锁的端口协议。收录:Bliudze S、Bruni R、Grohman D、Silva A(编辑)ICE。EPTCS,第38卷,第7-11页·Zbl 1455.68105号 [47] Lau K-K,Ukis V(2005)《基于组件的软件开发中的组件元数据:一项调查》。曼彻斯特大学计算机科学学院预打印CSPP-34 [48] Liskov BH,Wing JM(1994)《子类型的行为概念》。ACM Trans程序语言系统16(6):1811-1841 [49] Mahoney M(1990)《软件工程的根源》。CWI Q 3(4):325-334·Zbl 0732.01029号 [50] Martin JMR(1996)无死锁并发系统的设计和构建。白金汉大学博士论文 [51] Majster-Cederbaum M,Martens M(2007)交互系统中的鲁棒性。第27届网络和分布式系统正式方法国际会议。计算机科学课堂讲稿,第4574卷。纽约州施普林格市,第325-340页·Zbl 1215.68068号 [52] Majster-Cederbaum M,Martens M(2008)《树状组件体系结构死锁自由的组成分析》。参加:第八届ACM嵌入式软件国际会议。ACM,纽约,第199-206页 [53] Majster-Cederbaum M,Martens M,Minnameier C(2007)基于组件的系统死锁自由的多项式时间可检查充分条件。收录于:SOFSEM 2007:计算机科学理论与实践,第888-899页·Zbl 1131.68304号 [54] Majster-Cederbaum M,Martens M,Minnameier C(2008)交互系统中的活力。计算机科学电子笔记215:57-74·Zbl 1161.68625号 ·doi:10.1016/j.entcs.2008.06.021 [55] Merson P,Hissam S(2005)《建筑可预测性》。参加:关于面向对象编程、系统、语言和应用程序的第20届ACM SIGPLAN年会。ACM,纽约,第134-135页 [56] Microsoft开发人员网络(2011)组件对象模型技术。技术报告。http://www.microsoft.com。2016年4月22日访问 [57] Minnameier C(2007)基于组件的系统中的局部和全局死锁检测是NP-hard。Inf过程Lett 103(3):105-111·Zbl 1184.68260号 ·doi:10.1016/j.ipl.2007.02.016 [58] Mota A、Jesus J、Gomes A、Ferri F、Watanabe E(2010)《迭代式安全系统设计的演变》。参加:第29届国际计算机安全、可靠性和安全会议。计算机科学讲义,第6351卷。纽约州施普林格,第361-374页 [59] Magee J,Kramer J(1996)《软件体系结构中的动态结构》。摘自:第四届软件工程基础研讨会。ACM,纽约,第3-14页 [60] Medvidovic N,Taylor R(2000)软件架构描述语言的分类和比较框架。Trans Softw Eng公司26(1):70-93·doi:10.1109/32.825767 [61] Martin JMR,Welch PH(1997)无死锁并发系统的设计策略。运输通讯3(4):215-232 [62] Nierstrasz O(1993)活动对象的规则类型。ACM Sigplan非28(10):1-15·数字对象标识代码:10.1145/167962.167976 [63] 对象管理组(2007)统一建模语言,上层建筑,V2.1.2。正式技术报告/2007-11-02,OMG,2007。OMG采用的规范 [64] Orso A、Do H、Rothermel G、Harrold MJ、Rosenblum DS(2007)《使用组件元数据回归测试基于组件的软件》。软件测试验证Reliab 17(2):61-94·doi:10.1002/stvr.344 [65] OMG(2012)OMG系统建模语言(OMG SysML),1.3版。技术报告,对象管理组 [66] Ouaknine J、Palikareva H、Roscoe AW、Worrell J(2013)CSP中活锁自由的静态分析框架。对数方法计算科学9(3):1-53·兹比尔1274.68250 [67] Oliveira MVM、Sampaio ACA、Antonino PRG、Ramos RT、Cavancalti ALC、Woodcock JCP(2013)CML模型的成分分析和设计。技术报告D24.1,COMPASS可交付成果。http://www.compass-research.eu/。2016年4月22日访问 [68] Papadopoulos G,Arbab F(1998),协调模型和语言。高级计算工程大型系统46:330-401 [69] Plasil F(2005)通过行为描述提高组件规范:SOFA经验。在:第四届信息和通信技术国际研讨会。都柏林三一学院,p 190·Zbl 1118.68049号 [70] Plasil F,Visnovsky S(2002)《软件组件的行为协议》。IEEE Trans Softw Eng 28(11):1056-1076·doi:10.1109/TSE.2002.1049404 [71] Roscoe AW(1998)并发的理论和实践。摘自:Prentice-Hall计算机科学系列。普伦蒂斯·霍尔,美国 [72] Roscoe AW(2005)对缓冲容忍度的追求。牛津大学技术报告 [73] Roscoe AW(2006)《因外延决定论而汇合》。计算机科学电子笔记162:305-309·Zbl 1316.68106号 ·doi:10.1016/j.entcs.2005.12.098 [74] Roscoe AW(2010)《理解并发系统》,第1版。纽约州施普林格·Zbl 1211.68205号 ·数字对象标识代码:10.1007/978-1-84882-258-0 [75] Ryan P、Schneider S(2001)《过程代数与非干涉》。计算机安全杂志9(1):75-103·doi:10.333/JCS-2001-91-204 [76] Ramos RT、Sampaio ACA、Mota AC(2006)《UML-RT的变换法则》。In:第八届开放式对象分布式系统形式化方法国际会议。计算机科学课堂讲稿,第4037卷。纽约州施普林格,第123-138页 [77] Ramos RT、Sampaio ACA、Mota AC(2009)《可信组件系统的系统开发》。参加:第二届世界正式方法大会。计算机科学课堂讲稿,第5850卷。纽约州施普林格,第140-156页 [78] Ramos RT、Sampaio ACA、Mota AC(2010)交互组件协调的一致性概念。科学计算程序75(5):350-373·Zbl 1200.68072号 ·doi:10.1016/j.scico.2009.12.005 [79] Selic B、Gullekson G、Ward P(1994)实时面向对象建模。纽约威利·Zbl 0821.68128号 [80] Sifakis J(2010)bip中基于组件的异构实时系统构建。In:软件工程的未来,p 150 [81] Sampaio A、Nogueira S、Mota A、Isobe Y(2014)《输入-输出一致性的声音和机械化成分验证》。软件测试验证Reliab 24(4):289-319·doi:10.1002/stvr.1498 [82] Spitznagel B(2004)《软件连接器的组合转换》。卡内基梅隆大学博士论文,编号:CMU-CS-04-128。 [83] Selic B,Rumbaugh J(1998)使用UML建模复杂的实时系统。技术报告,Rational Software Corporation [84] Sinha N、Singhania N、Chandra S、Sridharan M(2012)《替代和学习:寻找证人而不需要到处查看》。In:计算机辅助验证。纽约州施普林格,第599-615页 [85] Szyperski C(2002)组件软件:超越面向对象编程。Addisonn-Wesley,美国·Zbl 1033.68729号 [86] Wallnau KC(2003)第三卷:可认证组件的可预测装配技术。技术报告CMU/SEI-2003-TR-009,匹兹堡卡内基梅隆大学软件工程研究所 [87] Wehrheim H(2000)《自动化制造系统规范:使用集成形式化方法的案例研究》。收录于:第三届国际软件工程基本方法会议。计算机科学讲稿,第1783卷。纽约州施普林格,第334-348页 [88] 詹南,康娥,刘Z(2010),组件出版物和组成。统一Theor计划5713:238-257·Zbl 1286.68098号 ·doi:10.1007/978-3-642-14521-6_14 [89] 曾H,缪H(2010)元件平行组成的死锁检测。摘自:计算机和信息科学,第23-34页 [90] Zuberek W(2011)软件组件的增量组成。In:可靠计算机系统,第301-311页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。