德拉甘·伊万诺维奇；曼纽尔·卡罗；曼努埃尔五世（Manuel V.Hermenegildo）。 一种基于共享的方法，用于支持服务组合中的自适应。 （英语） Zbl 1314.68065号 计算 95，第6期，453-492（2013）. 摘要：服务组合中涉及的活动的数据相关属性可用于促进几个设计时和运行时自适应任务，如服务演化、分布式制定和实例级自适应。许多这些属性可以用共享的概念表示。我们提出了一种基于共享分析的数据属性自动推断方法，该方法能够处理包含循环和子工作流的复杂控制结构的服务组合。推断的属性可以包括数据依赖性、信息内容、域定义的属性、隐私或机密级别等。该分析从最小和最大共享的角度对数据和活动进行了表征，然后可用于验证潜在适应行动的合规性，或作为生成行动的支持信息。这种共享分析方法可以在设计时和运行时使用。在后一种情况下，可以在执行时使用合成跟踪（执行日志）来优化分析结果，以支持运行时自适应。 MSC公司： 64岁以下 分布式系统 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 关键词：服务组合；适应；共享；静态分析；Horn子句 PDF格式BibTeX公司 XML格式引用 \textit{D.Ivanović}等人，Computing 95，No.6，453--492（2013；Zbl 1314.68065） 全文： 内政部 链接 参考文献： [1] Agrawal R，Imieliñski T，Swami A（1993）大型数据库中项目集之间的关联规则挖掘。在：1993年ACM SIGMOD数据管理国际会议记录，SIGMOD’93，第207-216页。ACM，纽约。doi:10.1145/170035.170072。http://doi.acm.org/10.1145/170035.170072 [2] Armstrong WW（1974）数据库关系的依赖结构。In:IFIP大会，第580-583页（1974年）·Zbl 0296.68038号 [3] Awad，A。；普尔曼，F。；Abramowicz，W.（编辑）；Fensel，D.（编辑），《业务流程模型中死锁的结构检测》，第7期，239-250（2008），柏林·数字对象标识代码：10.1007/978-3-540-79396-0_21 [4] Beauche S，Poizat P（2008），具有自适应规划的自动化服务组合。摘自：2008年ICSOC第六届面向服务计算国际会议记录。柏林施普林格。doi:10.1007/978-3-540-89652-4-42。http://dx.doi.org/10.1007/978-3-540-89652-4-42 [5] 毕洪华，赵JL（2004）将命题逻辑应用于工作流验证。信息技术管理5:293-318·doi:10.1023/B:ITEM.000031583.16306.0f [6] Bueno F，García de la Banda M，Hermenegildo M（1999）自动并行化中抽象解释的有效性：逻辑编程中的案例研究。ACM Toplas 21（2）：189-238·数字对象标识代码：10.1145/316686.316688 [7] Cousot P，Cousot R（1977）抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。摘自：ACM编程语言原则研讨会（POPL'77）。纽约ACM出版社·兹比尔1149.68389 [8] Cousot P，Cousot R（1977）抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。收录：POPL'77会议记录。纽约ACM出版社，第238-252页 [9] Davey BA，Priestley HA（2002）《格与序导论》，第二版。剑桥大学出版社·Zbl 1002.06001号 ·doi:10.1017/CBO9780511809088 [10] Dezani Ciancaglini M，De'Ligoro U（2010）会话和会话类型：概述。摘自：第六届Web服务和形式方法国际会议论文集，WS-FM’09。柏林施普林格，第1-28页。http://dl.acm.org/citation.cfm？id=1880906.1880907 [11] Di Nitto E、Ghezzi C、Metzger A、Papazoglou M、Pohl K（2008）《高度动态、自适应的基于服务的应用程序之旅》。Autom Softw Eng公司15:313-341。doi:10.1007/s10515-008-0032-x。http://dx.doi.org/10.1007/s10515-008-0032-x [12] DiNitto E（2009）S-Cube可交付成果CD-IA-2.2.2：收集行业最佳实践、场景和商业案例。S-Cube联合体技术代表 [13] Euzenat J，Shvaiko P（2007）《本体匹配》。海德堡施普林格·Zbl 1138.68488号 [14] Fdhila W，Yildiz U，Godart C（2009）使用依赖表实现自动流程去中心化的灵活方法。In:ICWS，第847-855页 [15] Ganter B、Stumme G、Wille R（eds）（2005年）《形式概念分析、基础和应用》。计算机科学课堂讲稿，第3626卷。柏林施普林格·Zbl 1087.68003号 [16] Hermenegildo MV、Bueno F、Carro M、López P、Mera E、Morales J、Puebla G（2010）《Ciao及其设计理念概述》。技术代表CLIP2/2010.0，马德里技术大学（UPM）计算机科学学院。正在考虑出版《逻辑编程理论与实践》（TPLP）·Zbl 1244.68019号 [17] Hintikka J（2004）独立友好逻辑和公理集理论。Ann Pure应用逻辑126（1-3）：313-333·Zbl 1052.03010号 [18] IvanovićD，Carro M，Hermenegildo M（2010）基于共享分析的工作流中的自动片段识别。收录人：Weske M、Yang J、Maglio P、Fantinato M（编辑）面向服务的计算——ICSOC 2010，第6470号。LNCS公司。施普林格，柏林，第350-364页·Zbl 0927.68018号 [19] IvanovićD，Carro M，Hermenegildo M（2011）基于共享分析的复杂服务工作流中的自动属性推理。摘自：第八届IEEE服务计算SCC 2011会议记录。IEEE出版社，纽约，第120-127页 [20] Jacobs D，Langen A（1989）北美逻辑编程会议。麻省理工学院出版社，剑桥 [21] Jordan D等人（2007）Web服务业务流程执行语言2.0版。技术代表、IBM、Microsoft等 [22] Khalaf R（2007）关于拆分BPEL-D业务流程的语法细节的注释。技术代表2007/2，IAAS，U.斯图加特 [23] Khalaf R，Leymann F（2012）分布式业务流程中零散循环和范围的协调。信息系统37（6）：593-610·doi:10.1016/j.i.s.2011.09.02 [24] Lagoon V，Stuckey P（2002）《逻辑程序的精确对共享分析》。In：声明式编程的原理和实践。纽约ACM出版社，第99-108页 [25] Lloyd J（1987）《逻辑编程基础》，第二版，扩展版。柏林施普林格·Zbl 0668.68004号 ·doi:10.1007/978-3-642-83189-8 [26] Ma Z，Leymann F（2009）《Bpel过程建模中模块化重用的Bpel片段》。收件人：Mauri JL、Giner VC、Tomas R、Serra T、Dini O（编辑）ICNS。IEEE计算机学会，纽约，第63-68页 [27] Mancioppi M、Danylevich O、Karastoyanova D、Leymann F（2011）《过程破碎技术的分类标准》。包含：BDP2011，与BPM’11共存 [28] Muthukumar K，Bueno F，de la Banda MG，Hermenegildo M（1999）针对受限、目标级、独立和并行的逻辑程序的自动编译时并行化。J逻辑程序38（2）：165-218·兹伯利0927.68018 ·doi:10.1016/S0743-1066（98）10022-5 [29] Muthukumar K，Hermenegildo M（1989）通过抽象解释确定编译时的变量相关性信息。In:北美逻辑编程会议。麻省理工学院出版社，剑桥，第166-189页 [30] Muthukumar K，Hermenegildo M（1991）通过抽象解释联合确定程序变量的共享和自由。包含：ICLP’91。麻省理工学院出版社，剑桥，第49-63页 [31] Navas J，Bueno F，Hermenegildo M（2006）使用团的高效自顶向下集共享分析。发表于：第八届声明性语言实用方面国际研讨会，编号2819。LNCS公司。柏林施普林格，第183-198页 [32] Nielson F、Nielson HR、Hankin C（2005）《程序分析原理》，第二版。柏林施普林格·Zbl 1069.68534号 [33] 对象管理组（2011）业务流程模型和符号（BPMN），2.0版。http://www.omg.org/spec/BPMN/2.0/PDF [34] Papazoglou MP、Pohl K、Parkin M、Metzger A（eds）（2010年），未来互联网的服务研究挑战和解决方案——面向工程、管理和适应基于服务的系统。计算机科学课堂讲稿，第6500卷。柏林施普林格 [35] 彭奇，J。；贝纳塔拉，B。；卡萨蒂，F。；Toumani，F。；Parent，C.（编辑）；Schewe，KD（编辑）；Storey，VC（编辑）；Thalheim，B.（ed.），定时web服务协议的细粒度兼容性和可替换性分析，第4801号，599-614（2007），柏林 [36] Shvaiko P（2005）基于模式的匹配方法分类。数据语义J 4:146-171·Zbl 1159.68398号 [37] Tan W，Fan Y（2007）分布式执行的动态工作流模型分段。计算指数58（5）：381-391。http://dx.doi.org/10.1016/j.compind.2006.07.004 [38] Ullman JD（1988）数据库和知识库系统，第1卷。马里兰州计算机科学出版社 [39] Väänänen J（2007）依赖逻辑：独立友好逻辑的新方法。剑桥大学出版社，剑桥（伦敦数学学会学生课本）·Zbl 1117.03037号 [40] Valtchev P、Missaoui R、Godin R（2004）《知识发现和数据挖掘的形式概念分析：新挑战》。收录：ICFCA，第352-371页·Zbl 1198.68246号 [41] 万维网联盟（2005）Web服务编排描述语言1.0版。http://www.w3.org/TR/ws-cdl-10/ [42] Yildiz U，Godart C（2007）《分散服务组合的信息流控制》。In:ICWS，第9-17页 [43] Zaplata S、Kottke K、Meiners M、Lamersdorf W（2009）《面向ws-bpel进程的运行时迁移》。摘自：ICSOC/ServiceWave研讨会，第477-487页 [44] Zemni MA、Benbernou S、Carro M（2010）基于软约束的qos软件服务选择方法。收录人：Weske M、Yang J、Maglio P、Fantinato M（编辑）面向服务的计算——ICSOC 2010，第6470号。LNCS公司。柏林施普林格，第596-602页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。