×
于，岳;任尚平;卡罗琳·塔尔科特

在基于半环的时间约束下协调异步和开放分布式系统。 （英语） Zbl 1347.68032号

Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，133-153（2009）。
摘要：对于异步和开放分布式系统，动态性、开放性和严格的服务质量要求对此类系统的建模和开发提出了巨大挑战。行动者-角色-协调人（ARC）模型以前曾被提出用于解决这些挑战。模型中的角色概念通过提供参与者行为的抽象来解决动态性和开放性问题。在本文中，我们重点关注通过基于事件的时间约束的消息操作来协调参与者和角色。此外，将不同类型的时序约束推广到基于半环的约束结构中；应用闭半环上的全对极值路径算法，导出了最严格的约束，这些约束是原始约束集的逻辑蕴涵。导出的隐式约束进一步用于测试约束包含并确定时序约束集的可行区域之间的交集。ARC模型和基于半环的时序约束模型的集成是使用重写逻辑语言Maude进行原型化的。我们进一步使用所提出的方法来解决哲学家餐厅问题，并说明了ARC和基于半环的时间约束模型对于开放系统的外部和可组合协调的表达能力。
关于整个系列，请参见[Zbl 1280.68018号]。

引用于1文件

MSC公司：

68米14 分布式系统
68号30 软件工程的数学方面（规范、验证、度量、需求等）
2012年第68季度 语法和重写系统
60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

协调模型;时间约束模型;弧;莫德

软件：

科莱姆;琳达;石灰;重新规范;莫德
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Yu｝等人，电子。注释Theor。计算。科学。229，第2号，133--153（2009；Zbl 1347.68032）
全文： 内政部

参考文献：

[1] Agha，G。；梅森，I.A。；史密斯，S.F。；Talcott，C.L.，行动者计算基础，函数编程杂志，7，1-72（1997）·Zbl 0870.68091号
[2] 阿巴布·F·。，IWIM：一种协作系统的通信模型第二届合作系统设计国际会议记录; 阿巴布·F·。，IWIM：一种协作系统的通信模型第二届合作系统设计国际会议论文集
[3] 阿巴布·F·。，一种基于通道的构件组装协调模型; 阿巴布·F·。，一种基于通道的构件组装协调模型·Zbl 1085.68552号
[4] Arbab，F.，《抽象行为类型：组件及其组合的基础模型》，《计算机编程科学》，55，3-52（2005）·Zbl 1075.68014号
[5] Arbab，F。；Rutten，J.，组件连接器的共导演算，（第16届代数发展技术国际研讨会论文集。第16届国际代数发展技术研讨会论文集，LNCS，2755（2002）），34-55·Zbl 1278.68200号
[6] 比斯塔雷利，S。；蒙塔纳里，美国。；Rossi，F.，基于半环的约束满足和优化，ACM杂志，44201-236（1997）·Zbl 0890.68032号
[7] 乔提亚，T。；Kleijn，J.，Q-自动机：对并发组件的资源使用进行建模，第五届协调语言和软件架构基础国际研讨会论文集。第五届协调语言和软件架构基础国际研讨会会议记录，FOCLASA 2006。第五届协调语言和软件架构基础国际研讨会论文集。第五届协调语言和软件架构基础国际研讨会论文集，FOCLASA 2006，ENTCS，175，153-167（2007）
[8] Ciancarini，P。，开放系统设计的协调语言计算机语言国际会议记录; Ciancarini，P。，开放系统设计的协调语言计算机语言国际会议记录
[9] 克拉维尔，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；梅塞盖尔，J。；Talcott，C.，《关于莫德的一切：高性能逻辑框架》（2007），施普林格出版社·兹比尔1115.68046
[10] 科尔曼，A。；Han，J.，基于角色的自适应软件中的协调系统，（《第七届协调模型和语言国际会议论文集》，第七届国际协调模型与语言会议论文集，LNCS，3454（2005）），63-78
[11] 克鲁兹，J.-C。；Ducasse，S.，CoLaS:一种基于群体的主动物体协调方法，（第三届国际协调语言和模型会议论文集。第三届协调语言和模式国际会议论文集，LNCS，1594（1999）），355-371
[12] De Nicola，R.、G.L.Ferrari、U.Montanari、R.Pugliese和E.Tuosto，QoS感知应用程序的过程演算第七届国际协调模式和语言会议记录; De Nicola，R.、G.L.Ferrari、U.Montanari、R.Pugliese和E.Tuosto，QoS感知应用程序的进程演算第七届国际协调模式和语言会议记录
[13] 德尼古拉，R。；法拉利，G.L。；Pugliese，R.，KLAIM:代理交互和移动性的核心语言，IEEE软件工程汇刊，24315-330（1998），（移动性和网络感知计算专刊）
[14] 德尼古拉，R。；卡托恩，J.-P。；拉特拉，D。；Massink，M.，《走向性能和移动性的逻辑》，第三届编程语言定量方面研讨会论文集。编程语言定量方面第三次研讨会论文集，QAPL05。第三届编程语言定量方面研讨会论文集。编程语言定量方面第三次研讨会论文集，QAPL05，ENTCS，153161-175（2005）
[15] Fletcher，J.G.，计算有向图顶点之间的闭半环代价的更通用算法，ACM的通信，23，350-351（1980）
[16] Gelernter，D.，《琳达的生殖传播》，TOPLAS，780-112（1985）·Zbl 0559.68030号
[17] 雅克·J·M。；Bosschere，K.D。；Brogi，A.，《关于时间协调语言》，（第四届国际协调语言和模型会议记录，第四届协调语言和模式国际会议记录，LNCS，1906（2000）），81-98
[18] 梅塞盖尔，J。；Talcott，C.L.，分布式对象反射的语义模型，（《第16届面向对象编程欧洲会议论文集》，第16届欧洲面向对象编程会议论文集，LNCS，2374（2002）），1-36·Zbl 1049.68815号
[19] Oh lveczky，P.C.，“实时Maude 2.3手册”（2007年）；Oh lveczky，P.C.，“实时Maude 2.3手册”（2007年）
[20] Omicini，A。；Denti，E。；Dovier，A。；Meo，M.C。；Omicini，A.，正式重新规范，说明性编程-AGP’00论文选集。声明性编程——AGP’00论文选集，ENTCS，48，179-196（2001）·Zbl 1263.68033号
[21] Omicini，A。；Denti，E.，《从元组空间到元组中心》，《计算机编程科学》，41，277-294（2001）·Zbl 0989.68120号
[22] 奥密西尼，A。；里奇，A。；Viroli，M.，《通过代理协调上下文正式规范和制定安全策略》，第一届协调模型、语言和系统安全问题国际研讨会论文集。第一届协调模型、语言和系统安全问题国际研讨会论文集，ENTCS，85，17-36（2003）
[23] Papadopoulos，G.A.和F.Arbab，流形中具有实时特性的系统的协调第20届计算机软件和应用会议记录; Papadopoulos，G.A.和F.Arbab，流形中具有实时特性的系统的协调第20届计算机软件和应用会议记录
[24] Papadopoulos，G.A.和F.Arbab，协调模型和语言; Papadopoulos，G.A.和F.Arbab，协调模型和语言
[25] Picco，G.、A.Murphy和G.-C.Roman，LIME：琳达遇到了机动性第21届国际软件工程会议论文集; Picco，G.、A.Murphy和G.-C.Roman，LIME：琳达遇到了机动性第21届国际软件工程会议论文集
[26] 任，S。；Yu，Y。；陈，N。；马思（Marth，K.）。；波洛，P.-E。；Shen，L.，参与者、角色和协调员——开放分布式和嵌入式系统的协调模型，（第八届协调模型和语言国际会议论文集。第八届国际协调模型和语文会议论文集，LNCS，4038（2006）），247-265
[27] V.萨拉斯瓦特、R.贾加迪桑和V.古普塔，定时并发约束编程的基础第九届IEEE计算机科学逻辑年会论文集; V.萨拉斯瓦特、R.贾加迪桑和V.古普塔，时间并发约束编程的基础第九届IEEE计算机科学逻辑年会论文集·Zbl 0942.68539号
[28] 塔尔科特，C。；Sirjani先生。；Ren，S.，比较三种协调模型：Reo、ARC和RRD，第六届协调语言和软件架构基础国际研讨会论文集。第六届协调语言和软件架构基础国际研讨会论文集，FOCLASA 2007。第六届协调语言和软件架构基础国际研讨会论文集。第六届协调语言和软件架构基础国际研讨会论文集，FOCLASA 2007，ENTCS，194，39-55（2007）·Zbl 1277.68208号
[29] 周，Y.和E.A.Lee，用于数据流死锁分析的因果关系接口第六届ACM&IEEE嵌入式软件国际会议记录; 周，Y.和E.A.Lee，数据流死锁分析的因果关系接口第六届ACM&IEEE嵌入式软件国际会议记录
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。