×
克里斯蒂安·科勒;亚历山大·拉佐维克;法哈德·阿尔巴

用高级替换系统重写连接器。 （英语） 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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。