×
阿纳斯塔西亚·马夫里杜;爱德华·巴拉诺夫;西蒙·布利兹;约瑟夫·西法基斯

配置逻辑：建模架构风格。 （英语） Zbl 1353.68055号

J.日志。阿尔盖布。方法计划。 86，编号1，2-29（2017）.
摘要：我们研究了一个框架，用于将架构风格规范为一系列架构，涉及一组常见的组件类型和协调机制。该框架结合了两种逻辑：1）用于将架构规范为通用协调方案的交互逻辑，涉及类型化组件之间的交互配置；以及2）配置逻辑，用于将架构（architecture）样式规范为交互配置集。本文的结果建立在BIP中架构（architecture）建模的前期工作基础上。我们展示了命题交互逻辑如何通过在交互配置集上添加新的运算符而扩展为相应的配置逻辑。除了常用的集合理论运算符外，配置逻辑还配备了一个合并运算符+来表示配置集的组合。我们提供命题配置逻辑的完整公理化，以及检查体系结构是否满足给定逻辑规范的决策过程。为了使规范具有一般性，我们研究命题配置逻辑的一阶和二阶扩展。一阶逻辑公式涉及组件变量的量化。二阶逻辑公式涉及组件集的额外量化。我们提供了几个例子来说明结果在各种建筑风格的表征中的应用。我们还提供了一个实验评估，使用Maude重写系统来实现逻辑命题风格的决策过程。

引用于8文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
03B70号 计算机科学中的逻辑

关键词：

建筑风格;协调;配置逻辑;组件交互作用;BIP公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Mavridou}等人，J.Log。阿尔盖布。方法计划。86，第1号，第2--29号（2017；Zbl 1353.68055）
全文： 内政部

参考文献：

[1] 阿蒂，P。；Baranov，E。；Bliudze，S。；Jaber，M。；Sifakis，J.，《架构可组合性的一般框架》，（第十二届软件工程与形式方法国际会议论文集。第十二届国际软件工程与格式方法会议论文集，SEFM 2014。第十二届软件工程与形式化方法国际会议论文集。第十二届软件工程与形式化方法国际会议论文集，SEFM 2014，Lect。注释计算。科学。，第8702卷（2014），施普林格），128-143
[3] 北卡罗来纳州Carriero。；Gelernter，D.，Linda in context，Commun。ACM，32，4，444-458（1989）
[4] Kramer，J.，《配置编程——可分配系统开发的框架》，（1990年IEEE国际计算机系统和软件工程会议论文集。1990年IEEE-国际计算机系统与软件工程会议文献集，CompEuro’90（1990），IEEE），374-384·Zbl 0825.68384号
[5] Garlan，D.，《软件体系结构：旅行录》（Proceedings of the Future of Software Engineering，2014），ACM，29-39
[6] Warmer，J.B。；Kleppe，A.G.，《对象约束语言：用UML进行精确建模》（1998），Addison-Wesley
[7] Le Métayer，D.，《使用图形语法描述软件架构风格》，IEEE Trans。柔和。工程，24，7，521-533（1998）
[8] 科勒，C。；拉佐维克，A。；Arbab，F.，用高级替换系统重写连接器，Electron。理论注释。计算。科学。，194, 4, 77-92 (2008) ·Zbl 1277.68193号
[9] Bliudze，S。；Sifakis，J.，BIP中连接器-结构交互代数，IEEE Trans。计算。，57, 10, 1315-1330 (2008) ·兹比尔1390.68031
[10] 布利兹，S。；Sifakis，J.，连接器代数的因果语义，形式方法系统。设计。，36, 2, 167-194 (2010) ·Zbl 1207.68203号
[11] Bliudze，S。；Sifakis，J.，《从胶合约束合成胶合操作符以构建基于组件的系统》（Software Composition.Software Composite，Lect.Notes Compute.Sci.，vol.6708（2011），Springer:Springer Berlin/Heidelberg），51-67
[12] Mavridou，A。；Baranov，E。；Bliudze，S。；Sifakis，J.，《配置逻辑：建模架构风格》（Configuration logics:modeling architecture styles），（Braga，C.；Ølveczky，P.C.，《组件软件的形式方面——第十二届国际会议，修订论文集》，《组件软件的形式方面：第十二届世界会议，修订文件集》，FACS 2015，巴西尼特罗伊，2015年10月14-16日。组件软件的正式方面——第12届国际会议，修订论文集。组件软件的形式方面——第十二届国际会议，修订论文集，FACS 2015，巴西尼特罗，2015年10月14-16日，Lect。注释计算。科学。，第9539卷（2015），施普林格），256-274
[13] Garlan，D。；Shaw，M.，《软件体系结构导论》，（软件工程和知识工程进展（1993），世界科学出版社），1-39
[14] Corkill，D.D.，黑板系统，AI专家，6，9，40-47（1991）
[15] Daigneau，R.，《服务设计模式：SOAP/WSDL和Restful Web服务的基本设计解决方案》（2011年），Addison-Wesley
[16] 克莱门茨，P。；Garlan，D。；Bass，L。；斯塔福德，J。；罗德岛北部。；艾弗斯，J。；Little，R.，《记录软件架构：观点与超越》（2002），培生教育
[17] Keller，U.，关于一阶逻辑和数据日志中传递闭包的可定义性的一些评论（2004），因斯布鲁克大学数字企业研究所（DERI），内部报告
[18] Hohpe，G。；Woolf，B.，《企业集成模式：设计、构建和部署消息解决方案》（2003），Addison Wesley Longman出版公司：Addison Wesley Longman出版公司，美国马萨诸塞州波士顿
[19] Kalibera，T。；Tuma，P.，《基于架构描述的分布式组件系统：Sofa体验》（on the Move to Meaningful Internet Systems 2002:CoopIS，DOA，and ODBASE（2002），Springer），981-994·Zbl 1018.68705号
[20] 艾伦·R。；Garlan，D.，《形式化体系结构连接》，（第16届国际软件工程会议论文集（1994），IEEE计算机社会出版社），71-80
[21] Ozkaya，M。；Kloukinas，C.，可重用组件和可实现架构的设计-合同，（第17届国际ACM Sigsoft基于组件的软件工程研讨会论文集（2014），ACM），129-138
[22] 赫希·D·。；因弗拉迪，P。；Montanari，U.，《用图形语法和约束求解建模软件架构和风格》，（Donohoe，P.，《软件架构。软件架构》，IFIP Adv.Inf.Commun.Technol.，第12卷（1999），Springer），127-143
[23] （Rozenberg，G.，《图形语法和图形变换计算手册》（1997年），世界科学出版社）·兹比尔0908.68095
[24] 布鲁尼，R。；Lluch-Lafuente，A。；蒙塔纳里，美国。；Tuosto，E.，《基于风格的建筑重构》，布尔。欧洲协会。计算。科学。，94, 161-180 (2008) ·Zbl 1169.68306号
[25] 克劳斯，C。；马里卡尔，Z。；拉佐维克，A。；Arbab，F.，《使用高级替换系统对Reo中的动态重构建模》，科学。计算。程序。，76, 1, 23-36 (2011) ·Zbl 1211.68052号
[26] 法拉利，G.L。；赫希·D·。；拉内斯，我。；蒙塔纳里，美国。；Tuosto，E.，作为面向服务计算模型的同步超边缘替换，（组件和对象的形式化方法（2006），Springer），22-43·Zbl 1196.68025号
[27] Ehrig，H。；Konig，B.，在DPO方法中导出图重写的互模拟同余，（FoSSaCS.FoSSaCS，Lect.Notes Compute Sci.，第2987卷（2004），Springer），151-166·Zbl 1126.68446号
[28] 张德清。；张凯。；Cao，J.，视觉语言规范的上下文敏感图语法形式主义，计算。J.，44，3，186-200（2001）·Zbl 0984.68094号
[29] 佩里·D·E。；Wolf，A.L.，《软件体系结构研究基础》，ACM SIGSOFT Softw。工程注释，17，4，40-52（1992）
[30] Jackson，D.，Alloy:轻量级对象建模符号，ACM Trans。柔和。工程方法。，11, 2, 256-290 (2002)
[31] Kim，J.S。；Garlan，D.，《建筑风格分析》，J.Syst。软质。，83, 7, 1216-1235 (2010)
[32] 乔治亚迪斯，I。；Magee，J。；Kramer，J.，分布式系统的自组织软件架构（Self-organizing software architecture for distributed systems），（《自修复系统第一次研讨会论文集》（2002），美国医学会），33-38
[33] 美国兹敦。；Avgeriou，P.，用于建模建筑模式的建筑基元目录，Inf.Softw。技术。，501003-1034（2008年）
[34] 巴雷西，L。；赫克尔，R。；Thöne，S。；Varró，D.，面向服务架构的建模和验证：应用程序与风格，ACM SIGSOFT Softw。工程笔记，28，5，68-77（2003）
[36] 艾弗斯，J。；克莱门茨，P。；Garlan，D。；罗德岛北部。；Schmerl，B。；Silva，J.R.，用UML 2.0记录组件和连接器视图（2004），DTIC文档，技术代表。
[37] Sifakis，J.，《严格的系统设计，电子设计自动化的基础和趋势》，第6卷，293-362（2012）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。