马塞尔·奥利维拉。；安东尼诺，P。；R.拉莫斯。；A.桑帕约。；莫塔，A。；A.W.罗斯科。 使用组件元数据和模式严格开发基于组件的系统。 （英语） 兹比尔1348.68167 正式Asp。计算。 28，第6期，937-1004（2016）. 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：基于构件开发；通过构造更正；设计；元数据；行为方式；死锁分析；CSP公司 软件：系统建模语言；探查；第二代外国存托凭证；沙发2.0；PACC初学者工具包；FDR3公司；ArchJava建筑；找不同；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页·Zbl 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·Zbl 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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。