×
科拉多·普里亚米

分布式和移动系统的基于语言的性能预测。 （英语） 兹比尔1012.68115

Inf.计算。 175，第2期，119-145（2002）.
摘要：我们提出了一个分布式和移动系统性能预测框架。我们依赖于进程计算及其结构操作语义。动态行为是通过转换系统来描述的，这些系统的转换是通过其证明的编码来标记的，然后我们将其映射到随机过程中。我们通过允许借助于在转换之间启用的概念的一般连续分布来增强相关工作。我们还讨论了可用资源的数量如何影响整个模型。最后，我们引入了一个考虑随机信息的互模拟概念，并证明了它是同余的。当只对指数分布感兴趣时，我们的等价性在潜在的马尔可夫过程上诱导了一个集总划分。

引用于5文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
第68季度55 计算理论中的语义学

软件：

皮克特；灵活
PDF格式BibTeX公司 XML格式引用
\textit{C.Priami}，信息计算。175，第2号，119--145（2002；Zbl 1012.68115）
全文： 内政部 链接

参考文献：

[1] Marsan M.Ajmone。；Balbo，G。；博比奥，A。；Chiola，G。；孔戴，G。；Cumani，A.，执行策略对随机Petri网语义和分析的影响，IEEE Trans。软件工程，15832-846（1989）
[2] Marsan M.Ajmone。；Bianco，A。；Ciminiera，L。；Sisto，R。；Valenzano，A.，分布式系统性能分析的LOTOS扩展，IEEE/ACM Trans。网络，2151-164（1994）
[3] 巴尔迪，M。；Picco，G.P.，评估网络管理应用中移动代码设计范式的权衡，ICSE’98会议录（1998），计算机协会。马赫数：关联计算。马赫纽约
[4] 伯纳多，M。；多纳蒂耶洛，L。；Gorrieri，R.，《在并发系统建模和分析中集成性能方面的正式方法》，Inform。和计算。，144, 83-154 (1998) ·Zbl 0909.68074号
[5] 博雷尔，M。；Sangiorgi，D.，π-演算双相似性的一些同余性质，定理。计算。科学。，198 (1998) ·兹伯利0902.68117
[6] 布多尔，G。；Castellani，I.，基于已证明的转换的CCS非干涉语义，基金会。通知。，十一、 433-452（1988）·Zbl 0657.68066号
[7] 布拉维蒂，M。；伯纳多，M。；Gorrieri，R.，《过程代数中一般分布的性能评估》，《CONCUR’98论文集》（1998），施普林格出版社：施普林格出版社，柏林/纽约，第405-422页
[8] 布拉维蒂，M。；Gorrieri，R.，交互式广义半马尔可夫过程，《PAPM’99会议录》（1999）
[9] Brinksma，E。；Katoen，J.-P。；兰格拉克，R。；Latella，D.，基于随机因果关系的过程代数，计算。J.，38，552-565（1995）
[10] 布罗多，L。；德加诺，P。；Priami，C.，《π-演算过程定量分析工具》，《PAPM’00会议录》（2000），卡尔顿科学：卡尔顿科学日内瓦
[11] Buchholz，P.1994，关于马尔科夫过程代数，技术报告500，Informatik IV，多特蒙德大学。；Buchholz，P.1994，《关于马尔科夫过程代数》，技术报告500，Informatik IV，多特蒙德大学。
[12] Cardelli，L。；Gordon，A.，《移动环境》，《FoSSaCS’98会议录》（1998年），《Springer-Verlag:Springer-Verlag Berlin》，第140-155页
[13] Carzaniga，A。；Picco，G.P。；Vigna，G.，《使用移动代码范例设计分布式应用程序》，《1997年ICSE会议论文集》（1997），Assoc.Compute。马赫数：关联计算。马赫纽约，第23-32页
[14] Cleaveland，R.，并发工作组的立场声明，ACM计算研究战略方向研讨会论文集（1996年），Assoc.Compute。马赫数：助理计算。马赫纽约
[15] D’Argenio，P.R.，《时间和随机系统的代数和自动机》（1999），特温特大学
[16] D’Argenio，P.R。；Katoen，J.-P。；Brinksma，E.，《随机系统规范的代数方法》，《PROCOMET’98学报》。《98年PROCOMET会议记录》，IFIP系列（1998），查普曼和霍尔：查普曼&霍尔伦敦/纽约，第126-147页
[17] 德加诺，P。；德尼古拉，R。；Montanari，U.，《CCS的偏序推导》，《FCT’85会议录》（1985），施普林格-弗拉格：柏林施普林格出版社，第520-533页·Zbl 0571.68016号
[18] 德加诺，P。；Priami，C.，《探明树木》，《ICALP’92会议录》（1992年），《Springer-Verlag:Springer-Verlag Berlin》，第629-640页·Zbl 1425.68291号
[19] 德加诺，P。；Priami，C.，增强操作语义，ACM计算。调查，28352-354（1996）
[20] 德加诺，P。；Priami，C.，移动进程的非交错语义，定理。计算。科学。，216, 237-270 (1999) ·Zbl 0914.68128号
[21] 德加诺，P。；Priami，C。；Leth，L。；Thomsen，B.，《调试移动代理的因果关系》，Acta Inform。，36, 335-374 (1999) ·Zbl 0932.68014号
[22] Fournet，C。；Gonthier，G。；利维，J.-J。；Maranget，L。；Remy，D.，《移动代理的演算》，《CONCUR’96会议录》（1996），《Springer-Verlag:Springer-Verlag Berlin》，第406-421页·Zbl 1514.68166号
[23] 贾卡隆，A。；米什拉，P。；Prasad，S.，Facile:并发编程和函数编程的对称集成，国际。J.并行编程，18121-160（1989）
[24] Götz，N，Herzog，U，and，Rettelbach，M.1992，TIPP-A定时过程和性能评估语言，技术报告4/92，IMMD VII，爱尔兰根大学。；Götz，N，Herzog，U，and，Rettelbach，M.1992，TIPP-A定时过程和性能评估语言，技术报告4/92，IMMD VII，爱尔兰根堡大学。
[25] 哥茨，N。；赫尔佐格，美国。；Rettelbach，M.，TIPP-协议性能分析的介绍和应用，Formale Beshriebungstechniken für verteilte Systeme。Formale Beshriebungstechniken für verteilte Systeme，FOKUS系列（1993），Saur出版社：Saur出版商慕尼黑
[26] Hansson，H。；Jonsson，B.，《具有时间和概率的通信系统演算》，IEEE RTSS’90会议录，佛罗里达州奥兰多（1990）
[27] 哈里森·P·G。；Strulo，B.，离散事件模拟的随机过程代数，并行系统中的定量方法（1995），第18-37页·Zbl 0846.68114号
[28] Hermanns，H。；赫尔佐格，美国。；Mertsiotakis，V.，LOTOS和Markov链之间的随机过程代数，计算。网络和ISDN系统，30901-924（1998）
[29] Herzog，U.，“基于图形的过程代数的概念，一般分布活动时间和层次建模，PAPM会议录”96（1996），第1-20页
[30] Hillston，J.，《绩效建模的组合方法》（1996），剑桥大学出版社：剑桥大学出版社
[31] Katoen，J.-P.，事件结构的定量和定性扩展（1996），特温特大学远程信息处理与信息技术中心
[32] Kemeny，J.G。；斯内尔，J.L.，《有限马尔可夫链》（1960），范诺斯特兰德：范诺斯特朗普林斯顿·兹比尔0112.09802
[33] Larsen，K.G。；Skou，A.，概率过程的组合验证，CONCUR’92（1992），Springer-Verlag:Springer-Verlag Berlin
[34] Maggiolo-Schettini，A。；Tini，S.，《将异步并发技术应用于同步语言》，基金会。通知。，40, 221-250 (1999) ·Zbl 0942.68029号
[35] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔：普伦蒂斯霍尔伦敦·Zbl 0683.68008号
[36] 米尔纳，R。；帕罗，J。；Walker，D.，移动进程演算，I，II，Inform。和计算。，100, 1-77 (1992) ·Zbl 0752.68037号
[37] 米尔纳，R。；帕罗，J。；Walker，D.，移动过程的模态逻辑，Theoret。计算。科学。，114, 149-171 (1993) ·Zbl 0778.68033号
[38] 尼克林，X。；Sifakis，J.，时间过程代数的概述和综合，实时：实践中的理论（1991），施普林格出版社：施普林格出版社，柏林，第526-548页
[39] 尼尔森，F。；Nielson，H.R.，《从CML到其过程代数》，理论。计算。科学。，155, 179-219 (1996) ·Zbl 0873.68131号
[40] 诺特加，C。；Priami，C。；Degano，P.，通过抽象机器对移动进程进行性能评估，IEEE TSE，27867-889（2001）
[41] 诺特加，C。；Priami，C。；德加诺。，P.，语义驱动的绩效评估，《FASE’99会议录》（1999），《Springer-Verlag:Springer-Verlag Berlin》，第204-218页
[42] 皮尔斯，公元前。；特纳，D.N.，《PICT：一种基于像素、证明、语言和交互的编程语言：罗宾·米尔纳的论文》（1999），麻省理工学院出版社：麻省理学院出版社剑桥
[43] Plotkin，G.1981，《操作语义的结构方法》，丹麦奥胡斯大学DAIMI FN-19技术报告。；Plotkin，G.1981，《操作语义学的结构方法》，丹麦奥胡斯大学DAMI FN-19技术报告。
[44] Priami，C.，随机π演算，计算。J.，38，578-589（1995）
[45] Priami，C.，《将行为和性能分析与拓扑信息相结合》，《第29届夏威夷国际系统科学会议论文集》，夏威夷毛伊岛（1996），IEEE出版社：IEEE出版社，纽约，第508-516页
[46] Priami，C.，《具有一般分布的随机π-演算》，PAPM’96（1996），CLUT:CLUT Torino，p.41-57
[47] Priami，C.，《随机过程代数中的启用和一般分布》，《意大利理论计算机科学会议论文集》，普拉托（1998），《世界科学：世界科学新加坡》，第192-203页
[48] Priami，C。；雷格夫，A。；夏皮罗，美国。；Silverman，W.，《随机命名演算在分子过程表示和模拟中的应用》，Inf.Process。莱特。，80, 25-31 (2001) ·兹比尔0997.92018
[49] Regev，A，Priami，C，Silverman，W，and，Shapiro，U。生物分子过程建模的随机过程代数。提交出版。；Regev，A，Priami，C，Silverman，W，and，Shapiro，U。生物分子过程建模的随机过程代数。提交出版·兹比尔0997.92018
[50] J.Riely。；Hennessy，M.，分布式移动进程的类型化语言，《98年POPL会议录》（1998），第378-390页
[51] Sangiorgi，D.，《在过程代数中表达移动性：一阶和高阶范式》（1992），爱丁堡大学
[52] Thomsen，B.，Plain CHOCS:高阶过程的第二代微积分，Acta Inform。，30, 1-59 (1993) ·Zbl 0790.68069号
[53] van Glabbeek，R.J。；斯莫尔卡，S.A。；Steffen，B.，概率过程的反应、生成和分层模型，Inform。和计算。，121, 59-80 (1995) ·Zbl 0832.68042号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。