伊恩·卫尔曼；大卫·基钦；威廉·库克。；贾亚德夫·米斯拉 兽人的时间语义。 （英语） Zbl 1147.68436号 西奥。计算。科学。 402，编号2-3，234-248（2008）. 概要：Orc是结构化并发编程的核心语言。Orc提供了三个强大的组合器，用于定义并发计算的结构。这些组合器支持顺序和并发执行，以及带有阻塞和终止的并发执行。Orc特别适合于任务编排，这是一种与工作流、业务流程管理和web服务编排中的应用程序并行编程的形式。Orc提供了构造来协调服务的并发调用，同时管理服务或通信的超时、优先级和失败。我们之前关于Orc语义的工作主要关注其异步行为。计算中包含时间或延迟的影响尚未建模。在本文中，我们定义了Orc的操作语义，该语义允许对延迟进行推理，这些延迟由基于时间的构造显式引入，或由网络延迟隐式引入。我们在兽人表达式中发展了许多恒等式，并定义了一个同余的等式关系。我们还提出了一种指称语义，其中Orc程序的含义是一组痕迹，并证明了这两种语义是等价的。 引用于14文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 第68季度55 计算理论中的语义学 关键词：兽人；计算编排；语义学；时间；并发；进程代数；web服务 软件：莫德 PDF格式BibTeX公司 XML格式引用 \textit{I.Wehrman}等人，Theor。计算。科学。402，编号2--3，234--248（2008；Zbl 1147.68436） 全文： 内政部 参考文献： [1] Van Der Aalst，W.M.P。；Ter Hofstede，A.H.M。；基普什维斯基，B。；Barros，A.P.，工作流模式，分布式和并行数据库，14，1，5-51（2003） [2] 穆萨卜·阿尔图尔基；JoséMeseguer，《兽人的实时重写语义》，（Leuschel，Michael；Podelski，Andreas，PPDP（2007），ACM），131-142·Zbl 1329.68169号 [3] Aura、Tuomas；Lilius，Johan，《时间Petri网的时间过程》，（ICATPN.ICATPN，LNCS，第1248卷（1997）），136-155·Zbl 0951.68095号 [4] Baeten，J.C.M。；Bergstra，J.A.，离散时间过程代数，计算的形式方面，8188-208（1996）·Zbl 0849.68033号 [5] Berger，Martin，《两时间异步pi-calculi约化同余的基本理论》，（Gardner，Philippa；Yoshida，Nobuko，CONCUR.CONCUR，计算机科学讲稿，第3170卷（2004），Springer），115-130·Zbl 1099.68064号 [6] 马丁·伯杰；Honda，Kohei，扩展pi-calculus中的两阶段承诺协议，理论计算机科学电子笔记，39，1（2000）·Zbl 1260.68258号 [7] 米歇尔·博雷莱（Michele Boreale）；罗伯托·布鲁尼；凯雷斯，路易斯；德尼古拉（De Nicola）、罗科（Rocco）；伊凡·拉内斯；米歇尔·洛雷蒂；弗朗西斯科·马丁斯；乌戈·蒙塔纳里；安托尼奥·拉瓦拉；戴维·桑吉奥吉；图迪库姆（Thudichum Vasconcelos），瓦斯科（Vasco）；Zavattaro，Gianluigi，SCC:以服务为中心的微积分，（Bravetti，Mario；Nüñez，Manuel；Zavataro，Gianuligi，WS-FM.WS-FM，计算机科学讲稿，第4184卷（2006），Springer），38-57 [8] 克里斯蒂亚诺·布拉加；Manuel Clavel；弗朗西斯科·杜兰；史蒂文·艾克（Steven Eker）；阿扎德·法尔赞；乔·亨德里克斯；帕特里克·林肯；马丁·奥列特，纳西索；何塞·梅塞盖尔；Peter Olveczky；米盖尔·帕洛米诺；拉夫·萨西（Ralf Sasse）；斯特尔，马克·奥利弗；卡罗琳·塔尔科特；阿尔贝托·维尔德乔（All About Maude:A High-Performance Logical Framework.All About:A High-Performance-Logical Framework，计算机科学讲义，第4350卷（2007），施普林格）·Zbl 1115.68046号 [9] William R.Cook，Sourabh Patwardhan，Jayadev Misra，《兽人的工作流模式》，收录于：Proc。2006年国际协调模式和语言会议；William R.Cook，Sourabh Patwardhan，Jayadev Misra，《兽人的工作流模式》，收录于：Proc。2006年国际协调模式和语言会议 [10] 德波尔（Frank S.de Boer）。；毛里齐奥·加布里埃利；Meo，Maria Chiara，《时间型Linda语言及其指称语义》，《信息基础》，第63、4、309-330页（2004年）·兹比尔1082.68063 [11] Alois Ferscha，定时Petri网的并发执行，在：冬季模拟会议，1994年，第229-236页；Alois Ferscha，定时Petri网的并发执行，在：冬季模拟会议，1994年，第229-236页 [12] 轩尼诗，马修；里根，蒂姆，《时间系统、信息和计算的过程代数》，117，2，221-239（1995）·Zbl 0826.68068号 [13] Tony Hoare，Galen Menzel，Jayadev Misra，编配语言的树语义，收录于：Manfred Broy（Ed.），Proc。北约高级研究所，《软件密集型系统工程理论》，北约ASI系列，德国马克托伯多夫，2004年。另请访问：http://www.cs.utexas.edu/users/psp/Semantics.Orc.pdf; Tony Hoare，Galen Menzel，Jayadev Misra，编配语言的树语义，收录于：Manfred Broy（Ed.），Proc。北约高级研究所，《软件密集型系统工程理论》，北约ASI系列，德国马克托伯多夫，2004年。另请访问：http://www.cs.utexas.edu/users/psp/Semantics.Orc.pdf [14] David Kitchin，William R.Cook，Jayadev Misra，任务编排语言及其语义属性，收录于：CONCUR，2006年，第477-491页；David Kitchin，William R.Cook，Jayadev Misra，任务编排语言及其语义属性，收录于：CONCUR，2006年，第477-491页·Zbl 1151.68360号 [15] David Kitchin，William R.Cook，Jayadev Misra，异步Orc的语义属性，技术报告TR-06-32，德克萨斯大学奥斯汀分校，计算机科学系，2006年；David Kitchin，William R.Cook，Jayadev Misra，异步Orc的语义属性，技术报告TR-06-32，德克萨斯大学奥斯汀分校，计算机科学系，2006·Zbl 1151.68360号 [16] Kozen，Dexter，《关于Kleene代数和闭半环》（Proceedings，Math.Found.of Compute.Sci.，Proceeding，Math.Found.for Compute.Sic.，LNCS，vol.452（1990），Springer-Verlag），26-47·Zbl 0732.03047号 [17] 伊莎贝尔·林登；Jean-Marie Jacquet；De Bosschere，科恩；安东尼奥·布罗吉（Antonio Brogi），《关于时间协调模型的表现力》（On the expressiveity of timed coordination models），《计算机编程科学》（Science of Computer Programming），61，2，152-187（2006）·Zbl 1095.68567号 [18] Milner，R.（Hoare，C.A.R.，《通信与并发》，通信与并发，计算机科学国际丛书（1989），普伦蒂斯·霍尔）·Zbl 0683.68008号 [19] 罗宾·米尔纳，《通信与移动系统：微积分》（1999年5月），剑桥大学出版社·Zbl 0942.68002号 [20] 贾亚德夫·米斯拉；William R.Cook，《计算协调：广域计算的基础》，《软件与系统建模杂志》，2006年5月，可从以下网址下载：·Zbl 1151.68360号 [21] 尼克林，X。；Sifakis，J.，《时间过程的代数ATP：理论与应用，信息与计算》，114,1131-178（1994）·Zbl 0811.68093号 [22] G.D.Plotkin，《操作语义的结构方法》，《DAIMI FN-19技术报告》，奥胡斯大学，1981年；G.D.Plotkin，操作语义的结构方法，DAIMI FN-19技术报告，奥胡斯大学，1981年 [23] Sydney Rosario，Albert Benveniste，Stefan Haar，Claude Jard，Orc中建模的web服务编排的网络系统语义，技术报告PI 1780，IRISA，2006；Sydney Rosario，Albert Benveniste，Stefan Haar，Claude Jard，Orc中建模的web服务编排的网络系统语义，技术报告PI 1780，IRISA，2006 [24] Sydney Rosario、Albert Benveniste、Stefan Haar、Claude Jard，网络服务编排SLA，2006年，手稿（未出版）；Sydney Rosario、Albert Benveniste、Stefan Haar、Claude Jard，web服务编排SLA，2006年，手稿（未出版） [25] Stirling，Colin，《过程的模态和时间特性》（2001），Springer-Verrag纽约公司：Springer-Verlag纽约公司，美国纽约州纽约市·Zbl 0978.68102号 [26] Dimitrios Vardoulakis，Mitchell Wand，《兽人的合成跟踪语义》，《个人通信》，2007年；Dimitrios Vardoulakis，Mitchell Wand，《兽人的合成跟踪语义》，《个人通信》，2007年 [27] Ian Wehrman、David Kitchin、William R.Cook、Jayadev Misra，《兽人时间操作语义和指称语义的属性》，技术报告TR-07-65，德克萨斯大学奥斯汀分校，计算机科学系，2007年；Ian Wehrman、David Kitchin、William R.Cook、Jayadev Misra，《兽人时间操作语义和指称语义的属性》，技术报告TR-07-65，德克萨斯大学奥斯汀分校计算机科学系，2007年·Zbl 1147.68436号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。