×

并发抽象状态机。 (英语) Zbl 1352.68176号

并发抽象状态机(ASM)是一系列代理,每个代理都配有一个要执行的顺序ASM。作者通过并发ASM运行定义了并发ASM的语义,克服了Gurevich的分布式ASM运行的问题,并推广了Lamport的顺序一致运行。一个假设描述了对并发性的直观理解。它允许作者陈述并证明顺序ASM论文到并发ASM论文的扩展。与顺序ASM的主要区别在于,新状态是某个下一个状态,但不一定是并发运行中的下一个,此外,新状态可能是有限多个代理的结果,每个代理都引入在某个早期状态中计算的更新集。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

核心ASM
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abrial,J.R.:B-Book。剑桥大学出版社,剑桥(1996)·Zbl 0915.68015号 ·doi:10.1017/CBO9780511624162
[2] Abrial,J.R.:《事件建模——B》,剑桥大学出版社,剑桥(2010)·Zbl 1213.68214号 ·doi:10.1017/CBO9781139195881
[3] Agha,G.:分布式系统中的并发计算模型。麻省理工学院出版社,剑桥(1986)
[4] Banach,R.,Hall,A.,Stepney,S.:紧缩与原子模式。摘自:第五届IEEE软件工程和形式化方法国际会议,第37-46页(2007)·Zbl 0852.68055号
[5] Banach,R.,Jeske,C.,Hall,A.,Stepney,S.:原子性失效和紧缩原子模式。表Asp。计算。25, 439-464 (2013) ·doi:10.1007/s00165-011-0216-1
[6] Best,E.:顺序和并行程序的语义。普伦蒂斯·霍尔(Prentice Hall),恩格尔伍德悬崖(Englewood Cliffs)(1996)·Zbl 0860.68065号
[7] Blass,A.,Gurevich,Y.:抽象状态机捕获并行算法。ACM事务处理。计算。日志。4(4), 578-651 (2003) ·兹比尔1365.68253 ·数字对象标识代码:10.1145/93755.937561
[8] Blass,A.,Gurevich,Y.:普通交互式小步算法I.ACM Trans。计算。日志。7(2), 363-419 (2006) ·Zbl 1367.68094号 ·数字对象标识代码:10.1145/1131313.1131320
[9] Blass,A.,Gurevich,Y.:普通交互式小步算法II。ACM事务处理。计算。日志。8(3), 1-41 (2007) ·Zbl 1367.68095号
[10] Blass,A.,Gurevich,Y.:普通交互式小步算法III.ACM Trans。计算。日志。8(3), 1-51 (2007) ·Zbl 1367.68096号
[11] Blass,A.,Gurevich,Y.:抽象状态机捕获并行算法:校正和扩展。ACM事务处理。计算。日志。9(3),1-32(2008)·Zbl 1367.68097号
[12] Blass,A.,Gurevich,Y.,Rosenzweig,D.,Rossman,B.:交互式小步算法I:公理化。日志。方法计算。科学。3(4:3), 1-29 (2007) ·Zbl 1132.68029号
[13] Blass,A.、Gurevich,Y.、Rosenzweig,D.、Rossman,B.:交互式小步算法II:抽象状态机和特征定理。日志。方法计算。科学。3(4:4), 1-35 (2007) ·Zbl 1132.68030号
[14] Börger,E.:可计算性、复杂性、逻辑(Berechenbarkeit的英文翻译,Komplexität,Logik,Vieweg-Verlag 1985),《逻辑研究与数学基础》,第128卷。北荷兰(1989)
[15] Börger,E.:用于高级系统设计和分析的ASM方法的起源和发展。J.大学。计算。科学。8(1), 2-74 (2002)
[16] Börger,E.:ASM细化方法。表Asp。计算。15237-257(2003年)·Zbl 1093.68601号 ·doi:10.1007/s00165-003-0012-7
[17] Börger,E.:地面模型的构建和分析及其改进,作为验证基于计算机的系统的基础。表Asp。计算。19, 225-241 (2007) ·Zbl 1123.68036号 ·文件编号:10.1007/s00165-006-0019-y
[18] Börger,E.,Fleischmann,A.:抽象状态机网。缩小业务流程模型及其实现之间的差距。摘自:2015年S-BPM ONE会议记录。ACM数字图书馆。ACM公司。ISBN:978-1-4503-3312-2(2015)
[19] Börger,E.,Schewe,K.D.:指定事务控制以序列化并发程序执行。收录人:Ait-Ameur,Y.,Schewe,K.D.(编辑)《2014年ABZ会议录》,LNCS。斯普林格(2014)·Zbl 0281.68004号
[20] Börger,E.,Stärk,R.F.:抽象状态机:高级系统设计和分析的方法。柏林施普林格出版社(2003)·Zbl 1040.68042号 ·doi:10.1007/978-3642-18216-7
[21] Farahbod,R.等人:CoreASM项目。网址:http://www.coreasm.orghttp://www.github.com/coreasm ·Zbl 1118.68544号
[22] Ferrarotti,F.,Schewe,K.D.,Tec,L.,Wang,Q.:关于同步并行计算的新论文——简化并行ASM论文。CoRR abs/1504.06203(2015)。arXiv:1504.06203。已提交发布·Zbl 1355.68087号
[23] Fleischmann,A.,Schmidt,W.,Stary,C.,Obermeier,S.,Börger,E.:面向主题的业务流程管理。施普林格开放存取图书,海德堡(2012)。www.springer.com/978-3-642-32391-1
[24] Genrich,H.J.,Lautenbach,K.:用高级Petri网进行系统建模。西奥。计算。科学。13, 109-136 (1981) ·Zbl 0454.68052号 ·doi:10.1016/0304-3975(81)90113-4
[25] Grädel,E.,Nowack,A.:量子计算和抽象状态机。收录于:Börger,E.,Gargantini,A.,Riccobene,E.(编辑)《抽象状态机2003-理论与应用进展》,《计算机科学讲义》,第2589卷,第309-323页。柏林施普林格出版社(2003)·Zbl 1021.68037号
[26] Gurevich,Y.:重新考虑图灵的论文:朝向更现实的程序语义。密歇根大学EECS系CRL-TR-36-84技术报告(1984年)
[27] Gurevich,Y.,无文章标题,新论文。阿默尔。数学。Soc.,63117(1985年)
[28] Gurevich,Y.:进化代数1993:Lipari指南。摘自:Börger,E.(编辑)规范和验证方法,第9-36页。牛津大学出版社(1995)·Zbl 0852.68053号
[29] Gurevich,Y.:序列抽象状态机捕获序列算法。ACM事务处理。计算。日志。1(1), 77-111 (2000) ·Zbl 1365.68258号 ·doi:10.1145/343369.343384
[30] 古雷维奇,Y。;马尼,R。;Börger,E.(编辑),《组成员协议:规范和验证》,295-328(1995),牛津·Zbl 0852.68055号
[31] 古雷维奇,Y。;Rosenzweig博士。;Gurevich,Y.(编辑);Kutter,P.(编辑);Odersky,M.(编辑);Thiele,L.(编辑),《部分有序运行:案例研究》,第1912、131-150(2000)号,柏林·Zbl 0976.68512号 ·doi:10.1007/3-540-44518-89
[32] Gurevich,Y.,Tillmann,N.:部分更新。西奥。计算。科学。336(2-3), 311-342 (2005) ·Zbl 1080.68020号 ·doi:10.1016/j.tcs.2004.11.010
[33] 美国汉堡:Petri网参考书目。http://www.informatik.uni-hamburg.de/TGI/pnbib/index.html
[34] Harris,T.、Larus,J.、Rajwar,R.:《交易记忆》,第2版。Morgan和Claypool,Los Altos(2010年)
[35] 休伊特:什么是计算?演员模型与图灵模型。摘自:Zenil,H.(编辑)《可计算的宇宙:理解计算并探索作为计算的自然》。纪念阿兰·图灵诞辰100周年。世界科学出版社(2012)
[36] Hoare,C.A.R.:通信顺序过程。Prentice-Hall,Englewood Cliffs(1985)·Zbl 0637.68007号
[37] Jensen,K.:有色Petri网——基本概念、分析方法和实践。理论计算机科学专著。EATCS系列第3卷。施普林格,柏林(1997)。doi:10.1007/978-3642-60794-3·Zbl 0883.68098号
[38] Lamport,L.:Dijkstra并发编程问题的新解决方案。Commun公司。ACM 17(8),453-455(1974)·Zbl 0281.68004号 ·doi:10.1145/361082.361093
[39] Lamport,L.:分布式系统中的时间、时钟和事件顺序。Commun公司。ACM 21(7),558-565(1978)·Zbl 0378.68027号 ·doi:10.1145/359545.359563
[40] Lamport,L.:如何制作一台正确执行多进程程序的多处理器计算机。IEEE传输。计算。28(9), 690-691 (1979) ·Zbl 0419.68045号 ·doi:10.1109/TC.1979.1675439
[41] Lamport,L.:关于进程间通信。第一部分:基本形式主义。第二部分:算法。分布计算。1, 77-101 (1986) ·Zbl 0598.68022号 ·doi:10.1007/BF01786227
[42] Lamport,L.:《指定系统:面向硬件和软件工程师的TLA+语言和工具》。Addison-Wesley(2003)。网址:http://lamport.org
[43] Lamport,L.,Schneider,F.B.:假装原子性。DEC系统研究中心(1989)
[44] Lamport,L.,Lynch,N.:分布式计算:模型和方法。摘自:J.van Leeuwen(编辑)《理论计算机科学手册》,第1157-1199页。Elsevier(1990)·Zbl 0900.68089号
[45] Lynch,N.:分布式算法。Morgan Kaufmann(1996)。国际标准图书编号:978-1-55860-348-6·Zbl 0877.68061号
[46] Mazurkiewicz,A.:《痕迹理论》,第279-324页。柏林施普林格(1987)·Zbl 0633.68051号
[47] Mazurkiewicz,A。;Diekert,V.(编辑);Rozenberg,G.(编辑),《迹理论导论》,3-67(1995),新加坡·doi:10.1142/9789814261456_0001
[48] Milner,R.:通信系统的微积分。斯普林格(1982)。国际标准书号0-387-10235-3·兹比尔0452.68027
[49] Milner,R.:通信和移动系统:Pi-Calculus。施普林格(1999)。国际标准图书编号9780521658690·Zbl 0942.68002号
[50] Petri网理论与系统建模。Prentice-Hall,Englewood Cliffs(1981)·Zbl 0461.68059号
[51] Petri,C.A.:计算机自动化通讯。波恩大学数学仪器研究所博士论文(1962年)。Schriften des IIM编号2·Zbl 1132.68029号
[52] Plosila,J.、Sere,K.、Walden,M.:异步通信组件的设计。参见:de Boer等人,F.(编辑)《2002年FMCO会议记录》,LNCS第2852号,第424-442页。斯普林格(2003)·Zbl 1224.68029号
[53] 普林茨,A。;Sherrat,E。;阿伊特·阿梅尔(编辑);Schewe,KD(编辑),《分布式ASM陷阱和解决方案》,第8477、210-215号(2014),图卢兹·doi:10.1007/978-3-662-43652-318
[54] Karp,R.M.,Miller,R.:并行程序模式。J.计算。系统。科学。3, 147-195 (1969) ·Zbl 0198.32603号 ·doi:10.1016/S0022-0000(69)80011-5
[55] Roscoe,A.:并发的理论与实践。Prentice-Hall,Englewood Cliffs(1997)
[56] Schewe,K.D.,Wang,Q.:数据库转换的定制ASM论文。《网络学报》。19(4),765-805(2010)·Zbl 1224.68029号
[57] Schewe,K.D.,Wang,Q.:XML数据库转换。J.大学。计算。科学。16(20), 3043-3072 (2010) ·Zbl 1216.68094号
[58] 斯科韦,KD;王,Q。;Heimbürger,A.(编辑);等。,复合值数据库的部分更新,第225号、第37-56号(2011年),阿姆斯特丹
[59] Schewe,K.D.,Wang,Q.:简化的平行ASM论文。摘自:Derrick,J.等人(编辑)《抽象状态机,合金,B,VDM和Z-第三届国际会议》(ABZ 2012),LNCS,第7316卷,第341-344页。施普林格(2012)·Zbl 1367.68097号
[60] 斯科韦,KD;王,Q。;Lukasiewicz,T.(编辑);Sali,A.(编辑),《同步并行数据库转换》,编号7153、371-384(2012),柏林
[61] Schneider,F.,Lamport,L.:分布式程序的范例。收录于:分布式系统,LNCS,第190卷。斯普林格(1985)
[62] Stärk,R.F.,Schmid,J.,Börger,E.:Java和Java虚拟机:定义,验证,验证。施普林格,柏林(2001)·Zbl 0978.68033号 ·doi:10.1007/978-3-642-59495-3
[63] Wallace,C.、Tremblay,G.、Amaral,J.N.:位置一致性内存模型和缓存协议的抽象状态机规范和验证。J.大学。计算。科学。7(11), 1089-1113 (2001)
[64] Wang,Q.:复杂值数据库的数据库转换逻辑基础。Logos(2010)。http://logos-verlag.de/cgi-bin/engbuchmid?isbn=2563&lng=deu&id=
[65] Wegner,P.:为什么交互比算法更强大。Commun公司。ACM 40,80-91(1997)·doi:10.1145/253769.253801
[66] Winskel,G。;尼尔森,M。;Abramsky,S.(编辑);Gabbay,D.(编辑);Maibaum,TSE(编辑),并发模型,第4期,1-148(1995),牛津
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。