×
何塞·安东尼奥·马汀;埃内斯托·皮门特尔

自动生成适应合同。 （英文） 兹比尔1347.68090

Canal，Carlos（ed.）等人，《第七届协调语言和软件架构基础国际研讨会论文集》（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，115-131（2009）。
概述：基于黑盒软件（如Web服务和软件组件）组合的软件开发因其接口的不兼容性而受到阻碍。通过使用中间过程（称为适配器），软件自适应已经成为解决这些不兼容问题的一种方法，这些中间过程允许服务之间进行正确的交互。有几种方法侧重于根据适应合同自动生成适配器，这些合同规定了如何解决不兼容问题。然而，这些合同的生成并不是自动的，大多数现有的方法都要求手工指定这些合同，这要求设计者了解所有服务细节。在本文中，我们提出了一种根据服务的行为描述自动生成适应契约的方法。这些合同克服了签名和行为层面的不兼容性。最后，我们介绍了我们的原型工具，该工具接受抽象BPEL中编写的服务行为作为输入，并使用a*算法和专家系统的组合生成适应契约。
关于整个系列，请参见[Zbl 1280.68018号].

引用于2文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
64岁以下 分布式系统
60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）
68瓦32 字符串上的算法

关键词：

行为适应;适配器规格;专家系统;A*算法

软件：

杰斯;合成
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Martín}和\textit{E.Pimentel}，电子。注释Theor。计算。科学。229，No.2，115--131（2009；Zbl 1347.68090）
全文： 内政部

参考文献：

[1] Andrews，T.等人，“Web服务的业务流程执行语言（WSBPEL）”，BEA Systems、IBM、Microsoft、SAP AG和Siebel Systems（2005）；Andrews，T.等人，“Web服务的业务流程执行语言（WSBPEL）”，BEA Systems、IBM、Microsoft、SAP AG和Siebel Systems（2005）
[2] Aumueller，D.、H.Do、S.Massmann和E.Rahm，与COMA的模式和本体匹配++程序。第页，共页; Aumueller，D.、H.Do、S.Massmann和E.Rahm，与COMA的模式和本体匹配++程序。SIGMOD'05的
[3] Autili，M.、P.Inverardi，A.Navarra和M.Tivoli，SYNTHESIS：一种自动组装正确的分布式组件系统的工具程序。2007年ICSE; Autili，M.、P.Inverardi，A.Navarra和M.Tivoli，SYNTHESIS：一种自动组装正确的分布式组件系统的工具程序。2007年ICSE
[4] 贝克尔，S。；布罗基，A。；I.戈顿。；过热，S。；罗曼诺夫斯基，A。；Tivoli，M.，《面向组件适配的工程方法》（Heidelberg，S.B.，《用值得信赖的组件构建系统》，LNCS，3938（2006），Springer），193-215
[5] 博雷尔，M。；布鲁尼，R。；德尼古拉，R。；拉内斯，我。；洛雷蒂，M。；马丁斯，F。；蒙塔纳里，美国。；拉瓦拉，A。；Sangiorgi，D。；瓦康塞洛斯，V。；扎瓦塔罗，G。，合同专用条款：以服务为中心的微积分，（LNCS，4184（2006），Springer），38-57
[6] Braciali，A。；布罗基，A。；Canal，C.，《组件自适应的正式方法》，《系统与软件杂志》，74，45-54（2005）
[7] 布罗基，A。；运河，C。；Pimentel，E.，《软件适应的语义》，《计算机编程科学》，61136-151（2006）·Zbl 1101.68476号
[8] 布罗吉，A。；Popescu，R.，《BPEL适配器的自动生成》（ICSOC'06年公报）。程序。ICSOC’06，LNCS，4294（2006）），27-39
[9] Canal、C.、P.Poizat和G.Salaun，基于模型的行为不匹配成分自适应; Canal、C.、P.Poizat和G.Salaun，基于模型的行为不匹配成分自适应
[10] Cubo，J.、G.Salaün、C.Canal、E.Pimentel和P.Poizat，基于模型的WF/验证和调整方法。NET组件程序。2007年FACS; Cubo，J.、G.Salaün、C.Canal、E.Pimentel和P.Poizat，基于模型的WF/验证和调整方法。NET组件程序。2007年FACS
[11] Friedman-Hill，E.，《Jess in Action:Java Rule-Based Systems》（2003），Manning Publications Co。
[12] Ingolfsdottir，A。；Lin，H.，《值传递过程的符号方法》（《过程代数手册》（2001），爱思唯尔出版社）·Zbl 1027.68092号
[13] Milner，R.，《通信系统的微积分》（1982），施普林格
[14] O.Moser、F.Rosenberg和S.Dustdar，WS-BPEL的无干扰监测与自适应程序。WWW’08第页; O.Moser、F.Rosenberg和S.Dustdar，WS-BPEL的无干扰监测与自适应程序。WWW’08第页
[15] Motahari Nezhad，H.R.，B.Benatallah，A.Martens，F.Curbera和F.Casati，服务交互的半自动化适应程序。WWW'07的; Motahari Nezhad，H.R.，B.Benatallah，A.Martens，F.Curbera和F.Casati，服务交互的半自动化适应程序。WWW’07第页
[16] Pedersen，T.、S.Patwardhan和J.Michelizzi，网络：相似性-衡量概念的相关性程序。在AAAI举行的智能系统演示; Pedersen，T.、S.Patwardhan和J.Michelizzi，网络：相似性-衡量概念的相关性程序。在AAAI举行的智能系统演示
[17] Russel，S。；Norvig，P.，《人工智能：现代方法》（1995），Prentice-Hall·Zbl 0835.68093号
[18] Salaün，G。；波尔多，L。；Schaerf，M.，《使用流程代数描述和推理Web服务》，《国际业务流程集成与管理杂志》，116-128（2006）
[19] Schmidt，H.和R.Reussner，为并发组件协议同步生成适配器程序。FMOODS’02的; Schmidt，H.和R.Reussner，为并发组件协议同步生成适配器程序。FMOODS’02的·Zbl 1048.68017号
[20] 耶林，D。；Strom，R.，《协议规范和组件适配器》，ACM Trans。程序。语言系统。，19, 292-333 (1997)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。