克里斯蒂安·科勒;亚历山大·拉佐维克;法哈德·阿尔巴 用高级替换系统重写连接器。 (英语) Zbl 1277.68193号 Carlos Canal(编辑)等人,第六届协调语言和软件架构基础国际研讨会会议记录(FOCLASA 2007),葡萄牙里斯本,2007年9月8日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》194,第4期,77-92(2008)。 摘要:Reo是一种用于在分布式环境中协调自治组件的语言。Reo中的协调是由类似电路的连接器执行的,这些连接器是由具有明确定义行为的原始通道构建的。这些通道是移动的,即可以在运行时动态创建和重新配置。基于这些语言特性,我们介绍了一个高级的Reo转换系统。我们展示了如何使用高级替换(HLR)系统理论来定义Reo连接器的转换。这导致了Reo中动态连接器重新配置的强大概念。此外,重写规则自然地用Reo的连接器可视化语法表示。{}由于协调领域的普遍性,该框架的应用是多方面的。在本文中,我们提供了一个来自面向服务计算领域的示例。关于整个系列,请参见[Zbl 1276.68010号]. 引用于7文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 2012年第68季度 语法和重写系统 关键词:里奥;协调;高级替换系统;粘合剂类别;模型转换;服务组合 软件:重新服务;里奥 PDF格式BibTeX公司 XML格式引用 \textit{C.Koehler}等人,《电子》。注释Theor。计算。科学。194,编号4,77-92(2008年;兹bl 1277.68193) 全文: 内政部 参考文献: [1] Arbab,F.,Reo:基于通道的组件合成协调模型,《计算机科学中的数学结构》,14,329-366(2004)·Zbl 1085.68552号 [2] F.Arbab、C.Baier、J.Rutten和M.Sirjani。通过约束自动机在Reo中建模组件连接器。技术报告,CWI技术报告SEN-R0304,ISSN 1386-369X,2003;F.Arbab、C.Baier、J.Rutten和M.Sirjani。通过约束自动机在Reo中建模组件连接器。技术报告,CWI技术报告SEN-R0304,ISSN 1386-369X,2003·Zbl 1105.68058号 [3] 阿巴布,F。;乔提亚,T。;孟,S。;Moon,Y.-J.,《具有qos保证的组件连接器》,(第九届协调模型和语言国际会议论文集。第九届国际协调模型和语文会议论文集,2007年)。第九届国际协调模式和语言会议记录。第九届国际协调模型和语言会议记录,2007年协调,LNCS,4467(2007)),286-304·Zbl 1163.68304号 [4] 巴赫曼,F。;Bass,L.,《软件体系结构中的可变性管理》(2001),ACM出版社 [5] 巴斯滕,T。;van der Aalst,W.M.P.,《行为的继承》,J.Log。阿尔盖布。程序。,47, 2, 47-145 (2001) ·Zbl 0974.68137号 [6] E.Biermann、K.Ehrig、C.Koehler、G.Kuhns、G.Taentzer和E.Weiss。在eclipse建模框架中就地转换的图形定义模型驱动工程语言和系统(MoDELS’06); E.Biermann、K.Ehrig、C.Koehler、G.Kuhns、G.Taentzer和E.Weiss。在eclipse建模框架中就地转换的图形定义模型驱动工程语言和系统(MoDELS’06) [7] F.Casati、M.Sayal和M.Shan。开发用于组合电子服务的电子服务。在第13届国际先进信息系统工程会议(CAiSE); F.Casati、M.Sayal和M.Shan。开发用于组合电子服务的电子服务。在第13届国际先进信息系统工程会议(CAiSE)·Zbl 0980.68649号 [8] Chen,L。;Shadbolt,N.R。;高布尔,C。;陶,F。;考克斯,S.J。;普莱斯顿,C。;Smart,P.,《面向基于知识的语义服务组合方法》,(第二届国际语义Web会议(ISWC2003)。第二届国际语义网络会议(ISWC2003),LNCS,2870(2003),Springer) [9] D.Clarke。连接器重构的推理I:结构的等效性。技术报告,CWI技术报告SEN-R05062004;D.Clarke。连接器重构的推理I:结构的等效性。技术报告,CWI技术报告SEN-R05062004 [10] D.Clarke。连接器重新配置的推理II:基本重新配置逻辑。程序。FSEN 2005标准伊朗德黑兰; D.Clarke。连接器重新配置的推理II:基本重新配置逻辑。程序。FSEN 2005的伊朗德黑兰·Zbl 1147.68570号 [11] D.Clarke、D.Costa和F.Arbab。连接器着色I:同步和上下文依赖。程序。Foclasa 2005年旧金山; D.Clarke、D.Costa和F.Arbab。连接器着色I:同步和上下文依赖。程序。Foclasa 2005年旧金山·Zbl 1121.68015号 [12] Corradini,A。;Ehrig,H。;赫克尔,R。;科尔夫,M。;勒韦,M。;里贝罗。;Wagner,A.,《图形变换的代数方法——第一部分:单推出方法及其与双推出方法的比较》,(Rozenberg,G.,《基础》,《图形语法和图形变换计算手册》,第一卷(1997),《世界科学》,247-312·Zbl 0908.68095号 [13] T.Curran和G.Keller。SAP R/3业务蓝图:了解业务流程参考模型; T.Curran和G.Keller。SAP R/3业务蓝图:了解业务流程参考模型 [14] Eclipse协调工具 [15] Ehrig,H。;Ehrig,K。;Prange,U。;Taentzer,G.,《代数图变换基础》,EATCS理论计算机科学专著(2006),施普林格·Zbl 1095.68047号 [16] Ehrig,H。;哈贝尔,A。;Kreowski,H.-J。;Parisi-Prescce,F.,《高级替换系统中的并行性和并发性》,《计算机科学中的数学结构》,1,3,361-404(1991)·Zbl 0749.68045号 [17] H.Ehrig和B.König。在图重写的DPO方法中导出互模拟同余。在FoSSaCS公司; H.Ehrig和B.König。在图重写的DPO方法中导出互模拟同余。在FoSSaCS公司·Zbl 1126.68446号 [18] Haller,P。;Odersky,M.,《统一线程和事件的演员》(国际协调模型和语言会议,国际协调模型与语言会议,计算机科学(LNCS)讲稿(2007))·Zbl 1163.68304号 [19] Halmans,G。;Pohl,K.,向客户传达软件产品系列的可变性,软件和系统建模,2,1,15-36(2003) [20] R.Heckel和A.Cherchago。图形服务规范的结构和行为兼容性。逻辑与代数程序设计杂志; R.Heckel和A.Cherchago。图形服务规范的结构和行为兼容性。逻辑与代数程序设计杂志·Zbl 1178.68033号 [21] S.Klueppelholz和C.Baier。基于通道的元件连接器的符号模型检查。在2006年福克拉萨; S.Klueppelholz和C.Baier。基于通道的元件连接器的符号模型检查。在2006年·Zbl 1167.68035号 [22] C.Koehler、A.Lazovik和F.Arbab。ReoService:协调建模工具。在ICSOC-07公司; C.Koehler、A.Lazovik和F.Arbab。ReoService:协调建模工具。在ICSOC-07公司 [23] Lack,S。;Sobocinnski,P.,粘着类别,(软件科学和计算结构基础。软件科学基础和计算结构,FoSSaCS’04。软件科学和计算结构基础。软件科学和计算结构基础,FoSSaCS’04,LNCS,第2987卷(2004),Springer),273-288·Zbl 1126.68447号 [24] 拉佐维克,A。;M.Aiello。;Papazoglou,M.,《规划和监控web服务请求的执行》,《数字图书馆杂志》(2005年) [25] J.Mendling、J.Recker、M.Rosemann和W.M.P.van der Aalst。实现可配置EPC的交换。在EMISA公司; J.Mendling、J.Recker、M.Rosemann和W.M.P.van der Aalst。朝向可配置EPC的交换。在EMISA公司 [26] S.Meng。Qccs:在服务组合中实施QoS要求的正式模型。在2007年第1届IEEE和IFIP软件工程理论方面国际研讨会接受; S.Meng。Qccs:在服务组合中实施QoS要求的正式模型。在2007年第1届IEEE和IFIP软件工程理论方面国际研讨会接受 [27] OTA,开放式旅游联盟 [28] J.Padberg.高级替换系统调查。柏林技术大学技术报告,1993年;J.Padberg.高级替换系统调查。柏林技术大学技术报告,1993年·Zbl 0785.68064号 [29] M.Paolucci、T.Kawamura、T.Payne和K.Sycara。web服务功能的语义匹配。在国际语义Web会议(ISWC); M.Paolucci、T.Kawamura、T.Payne和K.Sycara。web服务功能的语义匹配。在国际语义网络会议(ISWC)·Zbl 1048.68873号 [30] D.丰满。超图重写:关键对和合流的不可判定性。编辑M.J.Plasmeijer M.R.Sleep和M.C.J.D.van Eekelen,术语图改写:理论与实践; D.丰满。超图重写:关键对和合流的不可判定性。编辑M.J.Plasmeijer M.R.Sleep和M.C.J.D.van Eekelen,术语图改写:理论与实践 [31] Rosemann,M。;van der Aalst,W.M.P.,可配置参考建模语言,Inf.Syst。,32, 1, 1-23 (2007) [32] SAP,在线文档mySAP ERP(2005) [33] Sirin,E。;巴西娅,B。;Hendler,J.,《使用交互式组合技术筛选和选择语义web服务》,IEEE智能系统,19,4(2004) [34] S.Thakkar、J.Ambite、C.Knoblock和C.Shahabi。从在线资源动态组合web服务。在AAAI车间智能服务集成。; S.Thakkar、J.Ambite、C.Knoblock和C.Shahabi。从在线资源动态组合web服务。在AAAI车间智能服务集成。 [35] D.Wu、B.Parsia、E.Sirin、J.Hendler和D.Nau。使用SHOP2自动化DAML-S web服务组合。在ISWC-03标准; D.Wu、B.Parsia、E.Sirin、J.Hendler和D.Nau。使用SHOP2自动化DAML-S web服务组合。在ISWC-03标准 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。