1网址：http://www.elsevier.nl/locate/entcs/volume66.html15页基于Fibred Automata1R. 巴拿赫2曼彻斯特大学计算机科学系，K.F. Arbab3软件工程部，CWI Kruislaan 413，1098 SJAmsterdam，NetherlandsG. A. Papadopoulos4塞浦路斯大学计算机科学系75 Kallipoleos St.，塞浦路斯尼科西亚J. R. W. Glauert5东英吉利大学信息系统学院，英国，NR4 7TJ。摘要协调编程有助于在复杂应用软件的协调活动的编程中分离关注点。它将协调和通信协议的开发、验证、维护和重用与应用程序的其他部分的开发分离开来;巧合的是，将这些实体制作成独立的产品。简要回顾了IWIM协调模型，并提出了该模型的形式化自动机理论版本，以基于振动的方法描述了该框架的要点。特别地，工人自动机家族的通信由管理者自动机的状态控制，其转换对应于重构。1 在KIT-INCO项目SEEDIS（合同号：（邮编：962114）2 电子邮件地址：banach@cs.man.ac.uk3 电子邮件地址：farhad@cwi.nl4 电子邮件地址：george@cs.ucy.ac.cy5 电邮地址：J. sys.uea.ac.ukc2002年由Elsevier Science B出版。V. CC BY-NC-ND许可下的开放访问。21介绍今天可以构建的大规模并行系统需要明确处理单个应用程序中大量实体之间协作的并发性的编程模型。今天的并发应用程序通常使用ad hoc模板来协调其组件的合作，这是缺乏适当的协调框架来描述复杂的合作协议在简单的原语和结构化构造方面的症状在大多数实际应用中，没有一种范式可以系统地讨论主动实体的协作，并且可以组成诸如客户端-服务器、工作者池等的协作场景， 一系列更基本的概念。因此，应用程序员必须直接处理较低级别的通信原语，这些原语实例化了并发应用程序的协作模型。这些原语通常分散在整个源代码中，散布在非通信应用程序代码中，并且协作模型从不以可分割的形式表现出来。因此，它不是一段可识别的源代码，可以与应用程序的其余部分隔离地设计，开发，调试，维护和重用。 这种无法处理的合作模式，并发应用显式地有助于开发包含大量活跃协作实体的工作并发应用的难度。高度并发应用程序中最流行的两种通信模型是共享内存和消息传递。在共享内存模型中，进程间同步原语起主导作用，进程间通信从属，而在消息传递模型中后者更大的灵活性往往使其在并发应用程序中更受欢迎。这两种模式都太低级，无法作为单独制定协议的基础，这一看法导致近年来协调框架和语言方面的活动激增。早期的一项调查[17]将协调描述为一门新兴学科。不同的方法与根在例如。行动者模型[1]，或逻辑程序设计[21]，是建立协调作为一个独立的学科的工具。[2019 - 04 -19][2019 - 04 - 19][2019 - 04 - 19]出现了一些更高层次的观点。其中有基于元组的方法，如Linda [15，11]，相比之下，基于连接控制的方法，如本文的主题IWIM在本文的其余部分，我们在第2节中非正式地调查了IWIM模型在第3节中，我们开发了一个基于自动机的模型来表达IWIM的要点，我们称之为IWIM系统模型。由于篇幅所限，我们将注意力集中在该模型的一个特例--基本IWIM上3系统.其基本思想是工人自动机家族在管理者自动机的监督下执行任务。管理者状态的改变对应于重组，于是工人自动机的不同家族可以承担负担。我们抽象出了工作者自己继续进行内部操作的能力;因此我们的模型无法捕获有关IWIM或任何特定实现的所有内容IWIM思想，如在MANIFOLD语言的正式规范中找到[4，10]。在第4节中，我们简要说明了我们的基本IWIM系统模型如何可以扩展到能够显示工人和经理特质的模型流程，我们讨论了如何可以异步实现recon gurations。我们提出了这些IWIM系统的代数组合问题，以及系统组合的通用方法与后者是两个较早的理论模型，探索IWIM的各个方面。对所有这些问题的更全面的处理可以在[8]中找到。第5节结束。2IWIM模型在本节中，我们将回顾被称为理想员工理想经理（IWIM）模型的通用协调框架[2，3，5]。IWIM模型中的基本概念是进程、事件、端口和通道。一个进程是一个黑盒子，它有明确的连接端口，通过这些端口它与环境中的其他进程交换信息单元。 端口是进程边界墙中的一个命名的开口，通过它使用标准I/O原语（如读和写）交换信息单元;我们假设每个端口只用于一个方向的信息交换：要么进入进程（输入端口），要么离开进程（输出端口）。进程端口之间的互连是通过通道实现的。通道将生产者进程的端口连接到消费者进程的端口。独立于通道，有一个事件机制的信息交换在IWIM。事件由其源广播到其环境中，从而产生事件发生。原则上，环境中的任何进程都可以拾取广播事件的发生。在实践中，通常只有少数几个进程会接收到每个事件的发生，因为只有它们才被调整到相关的源。IWIM模型支持匿名通信：一般来说，进程不知道也不需要知道与之交换信息的进程的身份。这一概念减少了流程对其环境的依赖，并使流程更可重用;它还使管理此类通信的原型更可重用。IWIM中的进程可以被视为工作进程或管理者4(or协调员）过程。工作进程的职责是执行任务。工作进程不负责获取执行任务所需的正确输入所需的通信，它也不负责向适当的接受者提供其产生的结果所必需的通信。通常，IWIM中没有进程负责自己与其他进程的通信。管理者进程的职责始终是安排和协调一组工作者进程之间的必要通信。在应用程序中，总是有一个底层的工作进程，称为原子在IWIM模型中，应用程序被构建为在此层之上的工作者和管理者进程的（动态）层次结构。除了原子工作者之外，将进程分类为工作者或管理者进程是主观的：协调多个工作者进程之间的通信的管理者进程人本身可以被负责协调人与其他进程的通信的另一个管理者进程视为工作者进程。在IWIM中，信道是一个通信链路，它携带一个比特序列，分组为单元。信道代表可靠的、有方向的、按时间顺序排列的信息流.这里，可靠意味着放置到信道中的比特被保证在没有丢失、错误或复制的情况下通过，并且它们的顺序被保留;并且定向意味着在信道中总是存在两个可识别的端：源和宿。一旦在生产者进程和消费者进程之间建立了通道，它就自主地操作并将单元从其源传输到其接收器。如果我们对通道c的生产者和消费者的内部操作不做任何假设，我们必须考虑c可能包含一些待定单元的可能性通道c的挂起单元是已经由其生产者交付给c，但尚未由c交付给其消费者的单元。通道中存在待处理单元的可能性赋予了它自己的身份，独立于其生产者和消费者。这使得通道在与另一端断开连接后在其一端保持连接是有意义的IWIM模型的全部细节对这一主题的许多变化进行了编码，但对于我们的目的，只要一端或另一端连接到流程，通道就会工作进程有两种通信方式：通过端口和通过事件。允许进程通过其端口交换数据的通信原语是传统的读写原语。一个进程可以尝试从它的一个输入端口读取数据。如果该端口当前没有数据可用，则挂起，并在数据可用时继续。类似地，进程可以尝试将数据写入其输出端口之一。如果端口当前未连接到任何通道，则挂起，并在建立通道连接以接受数据后继续。一个进程proc也可以通过引发一个事件e来将该事件广播给其环境中的所有其他进程事件e的标识与5进程PROC的标识包括事件发生。 一个进程还可以接收其他进程广播的事件并对它们做出反应。某些事件保证在特殊情况下广播在本文的其余部分中，我们的正式模型将受到很大的限制，因为我们只对重组事件进行建模。即使这样，为了简单起见，建模也将是同步的，这是我们稍后要解决的一个缺陷管理器进程可以创建新的进程实例（包括它自己），并广播和响应事件的发生。它还可以创建和销毁它所知道的流程实例（包括它自己的）的各个端口之间的通道连接。新流程实例的创建以及通信通道的安装具体地，这些动作可以由其检测到的事件发生来提示。每个管理器进程典型地控制在类似数据流的网络中的进程实例的动态族之间的通信。进程本身通常不知道它们的通信模式，这些通信模式可能会根据协调进程的决策而随时间变化。在我们的正式模型中，同样为了简单起见，我们避开了这些概念的全部通用性。我们的过程网络将被证明是静态定义的，尽管通过这个结构的执行轨迹将被动态确定。因此，它们可以被看作是对动态行为的隐含但更简洁的句法规范的静态展开，这种展开使我们能够将讨论仅限于语义层面，这是一种受欢迎的简化。3IWIM自动机在这一节中，我们将讨论刚才描述的思想的要点，以创建我们的语义模型。我们的想法是使用一个bration启发的策略，以反映IWIM事件拆除和重建进程家族之间的互连的方式。因此，基本IWIM自动机将在基本管理器自动机中具有描述基本IWIM系统的管理器部分如何移动的基本管理器自动机，并且在管理器自动机的每个状态之上，将有一个工人自动机的集合，根据管理器状态中包含的规定连接在一起各种工人的集合，然后集成到一个单一的基本IWIM系统使用的“以上”关系描述工人如何涉及到国家的管理者，一个建设的启发，在本质上由Grothendieck建设。因此，整个自动机的每个配置都可以以振动的方式投射到管理器的相关状态上。IWIM系统经由促使管理者执行重构活动的事件来重构自身的能力在此通过某些工作者移动（其表示事件的引发）到管理者移动（其表示事件的接收和处理6一BDESnLM[u;：]c-re c-> Da-o！v-> BC人Fig. 1. 一个基本的IWIM自动机系统从而导致重组）。与真正的IWIM系统不同，在我们的模型中，这是一个异步活动，但我们将在第4节中指出，异步方面可以在我们的框架中重新捕获。图图1用图片说明了我们刚才用文字描述的ele-EwiIM自动机。它显示了一个工人自动机的集合fA; B; C; D; E; S g坐在管理者M an之上，形成了一个基本的IWIM系统。人的状态，即fl; m; n g，每个映射到由端口和信道的有向图这些网络的端口双射地对应于工作者中的输入和输出端口，这些工作者不知道它们的输入消息来自何处以及它们的输出消息去往何处输入端口被示出为实心的，而输出端口是中空的。然而，这些双射在很大程度上模仿了个体的子结构，7将IWIM中的端口划分为私有部分和公共部分。此外，根据这些指标，工人可以发现哪些工人高于哪些管理层。注意，工作者B处于多个管理状态之上。这意味着当M从l过渡到m时，B是不受约束的，并继续像以前一样工作每个通道上都有一个消息队列，图中只为l一些通道可以是外部的，例如状态l的外部输入通道和状态n的外部输出通道;这些通道允许连接到外部世界并与外部世界交换然而，请注意，外部输入只能在l是当前管理状态时发生，外部输出只能在n是当前管理状态时发生。管理转换必须指定对消息队列进行的操作。这些队列由图中所示的附加数据映射，并合并到目标队列中。WorkerC显示了一个典型的worker输出转换;还有类似的worker输入转换。workerS的端口表明，端口在IWIM中实际上是非常通用的概念，能够容纳多个传入和传出通道。工作者S本身可以看作是为B; C;D提供串行化服务。工人D显示了一个重新配置事件转换。从转换到管理器的粗线说明原子转换标签rec被映射到从m到n的管理器转换。工人以这种方式挑起经理实施的报复3.1基本IWIM系统定义3.1IWIM管理器自动机是一个三元组（M;mI;R），其中M是一组管理状态，mI 2M是初始状态，R是一组重构跃迁。 这些组件进一步结构如下。Eachmanagementttatem本身是一对（Pm;Cm）的名称，其中Pm是一组端口名，Cm是一组c通道名称。有两个偏函数sm;tm：Cm ！Pm 其将C通道发送到源端口名称和目标端口名称。它们满足dom（sm）[dom（tm）=Cm，i.e. 每个通道连接到至少一个端口|c通道不在do m中（sm）被称为外部输入C通道，不在DOM（TM）中的C通道被称为外部输出C通道;在BDOM（SM）和DOM（TM）中的 C通道 被称为内部C通道。在重组过渡中，写作m-r-> n，r是c通道名称m上的部分注入的简写;n：Cm！ Cn.同样，对于每个管理状态m，我们具有一个标识转换m-idm-> 其中m;m部分注入是全恒等式。上述定义将管理器自动机的状态表征为连接网络，其中端口不具有唯一取向（作为输入或输出端口）。不同的状态m; n可以指相同的连接网络。重构将源状态的某些通道与目标状态的某些通道进行识别。8定义3.2 IWIM工作自动机是一个三元组（I; O; A），其中I是一组输入端口，与O不相交，O是一组输出端口; A =（St; Init; Tr）是一个状态为St的自动机，其中Init2St是初始状态，TrStAct St是一个过渡关系，其中Act是一组形式为？v或out！v或rec.在前两种作用中，在2I中，在2O中，我们假设存在一个包含v的全局值字母表Val。 在最后一种情况下， rec只是一个名称（旨在成为定义3.1中的 reconguration transition的名称）。在下面方便的地方，我们将使用符号a-in编写转换？v-> B或A出局！v-> b或a-rec-> B. WedneTrI=fa- 在哪？v-> b2Tr g，TrO=fa-out！v-> b2Tr g，TrR=fa-rec-> b2Tr g，sothatTr=TrI[TrO[TrR，该并集显然不相交。此外，我们定义了Rec=frecja-rec-> b2Tr g，那个工人到目前为止，工人是一种相当标准的自动机。现在我们来看看工人和管理者是如何粘在一起的。定义3.3基本IWIM系统（M an; W or）包括IWIM管理者自动机M an、基本劳动力W or和下面要描述的W or是一组工作者名称和一个映射wor，它为每个工作者w2W or生成一个IWIM工作者自动机wor（w）。此外，我们有：(i) Wor与Man的经营状况有一定的关系。我们假设，如果该对处于该关系中，则w或k是管理状态m的b。(ii) 如果w或k是管理状态m的下一个状态，则存在从w或k（w），in的重新配置动作到重新配置转换m的映射rw，m-r-> n的M。(iii) 对于每个管理状态m 2 M an，存在总双射m： ！IOm 其中IOm是所有输入的不相交并集，所有w或k的输出端口都是bovem;即，IOm=Uk^mfiji2Iwor（k）g]Uk^mforoj i2Owor（k）g.(iv) 与每个通道c2Cm（其中m是管理状态）相关联，有一个消息队列，我们将其写入c：[u0; u1;：：：]。每个ui都在V al中。这个队列的前面是u0。基本IWIM系统（M an; W or）的配置包括：(i) Man的状态m;(ii) 一组状态akoneperw或kerk的ests=fakjak2Stwor（k）; k2Worg;(iii) 一组qs=fc：qcjc：qc=c：[u0; u1;：];c2Cn;n2M g消息队列c：[u0; u1;：]，每个管理状态每个信道一个。注意，在上文中，est可以等效地被视为将每个工作者映射到其状态之一的函数的范围，使得k在形式上是有序对。由于我们非常关心各州，9k kk它们如何变化，我们将不使用更繁琐的功能装置。类似的评论也适用于qs，尽管这里的一些索引信息通常被抑制。基本IWIM系统（M an; W or）的配置是初始i：m是初始的，ak也都是初始的，并且与所有信道相关联的队列是空的。基本IWIM系统（M an; W or）在状态（m; ests; qs）中的转换是以下六种类型之一：（ENVI）环境将值添加到队列的输入端，该队列的源端未连接到任何端口（外部输入通道的队列）。c62dom（sm）;c2dom（tm）;qsrest=qsfc：[： ;un]g|||||||||||m！m ;ests！无害环境技术;qs！qsrest[fc：[： ;un;u]g（ENVO）环境从队列的输出端删除一个值，该队列的目标端没有连接到任何端口（外部输出通道的队列）。c2dom（sm）;c62dom（tm）;qs剩余= qsfc：[u; u1;：]g|||||||||||{m！m ;ests！无害环境技术;QS ！ qs rest[fc：[u 1;：]g(IN)一个工作者自动机在它的一个输入端口上执行一个输入，从连接到该端口的输入队列中删除前面的元素，其中必须至少有一个。k^m;a2ests;a-i？u-> b;m（p）=i2Iwor（k）;tm（c）=p;estsrest=estsfakg;qs剩余= qsfc：[u; u1;：]g|||||||||||{10m！m;ests！estsrest[fbkg，QS ！ qs rest[fc：[u 1;：]g(OUT)工作自动机在其输出端口之一上执行输出，11k kkR在连接到端口的任何输出队列的末尾添加一个值，其中必须至少有一个。k^m;a2ests;a-o！u-> b;m（p）=o2Owor（k）;6=Out=fdjsm（d）=pg;est=estfakg;qsrest=qsfd：[： ;ud;nd]jd2Outg||||||||||||||||{m！m;ests！ ests rest [f b kg，qs！qsrest[fd：[： ;ud;nd;u]jd2Out g(FOR)端口执行转发操作，从连接到端口的输入队列中删除前端元素，并将其（的副本）插入到连接到端口的所有输出队列中，其中必须至少有一个。tm（ c）= p;6=Out=fdjsm（d）=pg;qsrest=qsfc：[u;u1; ：]g [fd：[：;ud;nd]jd2Outg|||||||||||||||||||||||m！m ;ests！无害环境技术;qs！qsrest[fc：[u1; ：]g [fd：[：;ud;nd;u]jd2Out gNB.上面的符号旨在包括c2Out的情况，其中- uponc的队列的前端消息被移动到其尾部。（REC）一个w或ker自动机kr执行一个recactionakr -rec-> bkr，提出一项建议m-r-> n，由函数rk^m 给出。管理器自动机转换到新状态。 W或ker自动机k r完成其转换。除了k r之外，在新旧管理者状态之上的工人自动机保持不变。在旧的但不是新的管理者状态之上的工人自动机进入暂停状态。工人自动机不是在旧的管理者状态之上而是在新的管理者状态之上被唤醒。根据该数据移动通过信道重新配置数据重新分配的在旧管理器状态之上的信道的队列，与目标信道处的现有队列合并，并使始发信道处的队列为空。其他通道的排队情况与以前一样。12RRRk^m;a2ests;akr-rec-> bk;rk^m（rec）=m-r-> n=m;n：Cm！Cn;estsrest=estsfakrg;qsdel=fc：qcjc2Cm;c2dom（m;n）g[fd：qdjd2Cn;d2rng（m;n）g;qs剩余= qsqsdel;qsdom=fc：[ ] jc2Cm;c2 dom（m;n）g;qsmerge= f d： qcdj c： qc;c2Cm;c2 dom（m;n）;2019 - 05 - 25 01：02 01：03 02：03 02：0m;n）;d： qcd2 merge（ qc; qd）g|||||||||||||||||{m ! n;ests！estsrest[fbkrg，qs！ qs rest[qs dom [qs merge这种过渡制度有一些特点值得评论。请注意，输入/输出和转发活动是完全解耦的。由于这个原因，管理者连接一个端口同时用作广播设备和相关工作者的输入设备是没有意义的，因为输入消息和转发的消息必然是因此，由于即使是转发端口也必须属于某个worker，因此最好为此目的发明专用的虚拟worker第二个问题涉及进程的创建和销毁。在生与死的问题上，IWIM是完全善良的：没有谋杀，只有自杀。管理者最多能做到的就是麻醉。当重新配置转换由于工作器不在新的当前管理状态之上而使工作器脱离当前配置时，工作器休眠，因为在当前管理状态之上是所有六种转换类型的假设。当当前管理状态再次变为工作器处于其之上的状态时，它唤醒并且能够再次参与工作器转换。工人自己的责任是进入一种状态，如果它希望死亡，就不会出现过渡第三，在重组过渡期间出现了队列管理问题。我们选择将分配的队列与现有队列合并（对于给定的源和目标端口），以表示从源到目标的几个独立队列的潜在存在的抽象。后者将需要一个比我们希望卷入的更复杂的重建过渡概念。设EConfs（M an; W or）是（M an; W or）的所有配置的集合。为它配备刚才描述的转换使它成为一个转换系统。我们认为这个过渡系统是无标签的，因为所涉及的那种步骤总是可以从所讨论的一对congurations中推导出来。KR13蛮蛮蛮蛮在正常情况下，（M an; W or）的运行是EConfs（M an; W or）的连续转换序列，从初始配置开始（m;ests;qs）！（m0;ests0;qs0）！（m00;ests00;qs0）！* *设Mngr（Man; Wor）是EConfs（Man; Wor）中配置发生环的管理器状态的集合。 这些由函数e man给出 其中eman（m;ests;qs）=m。集合Mngr（Man; W or）可以配备有从EConfs（M an; W or）的（REC）转换导出的转换。 因此，过渡（m;ests;qs）！（m0;ests0;qs0）对应于Mngr（Man;Wor）跃迁e（m;ests;qs）！ e（m0;ests0;qs0），即m！ m0，（我们把这些跃迁也看作是无标号的）。 我们还添加了一个身份转换m！ m到M ngr（M an; W or）中的每个管理器状态。现在，尽管特定的工作者可能在几个管理者状态之上，使得从基本IWIM系统的静态结构到其管理者的投影的定义成问题，但是基本IWIM系统的配置集及其过渡系统EConfs（M an; W or）的情况并非如此，因为它与管理者状态集有关。在EConfs（M an; W or）中，一些特定的管理器状态总是索引构成配置一部分的任何工作状态，因此我们得到以下结果。命题3.4设（M an; W or）是基本IWIM系统。考虑EConfs（M an; Wor）（关联的转换系统）和M ngr（M an; W or）（对应的管理器转换集）。然后是一个投影：e：EConfs（M an; W or）！ M ngr（Man; W or），其通过以下方式映射状态：（m;ests;qs）7！eman（m;ests;qs），其通过以下方式映射（REC）转换（m;ests;qs）！（m0;ests0;qs0）7！m！m0 =e（m;ests;qs）！e（m0;ests0;qs0）并且其将（ENVI）、（ENVO）、（IN）、（OUT）转换映射到身份转换：（m;ests;qs）！（m;est0;qs0）7！M！M证据 明显24IWIM系统的性质与扩展在本节中，我们概述了IWIM系统模型的一些方面，由于篇幅有限第一个14问题是，在一般情况下，IWIM中的进程能够15表现出管理者和工人的行为。为了解决这个问题，一个更具综合性的形式化构造异步地组合了一个工人自动机和一个管理者自动机，就像我们在上面的基本IWIM系统中看到异步产品结构有一个状态空间，它是各个状态空间的Carnidual产品，允许工人或管理员移动的移动，每个移动都这种结构的相对分离的性质意味着，将工人与他们的管理者联系起来的所有设备都可以因此，工人可以同时由几个不同的经理管理，就像一个经理可以控制几个工人一样。唯一值得注意的技术点是，重组过渡现在在尽可能多的管理者之间同步，因为可怜的工人目前受到控制。由于该模型的同步重建方面与IWIM的真实性质不一致，我们强调我们可以通过模拟来恢复异步重建，这是我们列表中的第二个问题实际上，通过引入延迟自动机，异步重构相对容易模拟;每次出现一个工作者在管理者状态之上时，都有一个这样的自动机。延迟自动机的目的是缓冲从原始工人到原始管理者的传输中的事件。因此，代替如前所述的原始工作者引发事件，它在专用端口上发布对所需事件进行编码的消息，该消息通过通道连接广播到与工作者所处的所有管理器相对应的延迟自动机这些自动机然后挑起必要的recongurations一次一个在他们的休闲。第三个问题涉及以各种方式组合IWIM自动机的可能性。由于IWIM自动机包含各种属性，因此出现了大量的可能性。它们大致可分为两类，一般用途的和更具体的结构。在前者中，有一些相当自然的推出和拉回结构，它们存在于相对简单的条件下。这些必须逐步建立，以足够精确地处理所有细节层在后者中，有一些构造只适用于某种精确形式的自动机，这是因为自动 机 被 设 计 成 其 他 系 统 的 仿 真 。 相 关 案 例 来 自 Arbab 、 de Boer 和Bonsangue模型[6]，以及Katis、Sabadini和Walters模型[16]。这是两个正式的模型，从理论上探讨的一些特点可以给出IWIM自动机的通用构造（在本文的意义上），准确地反映这些模型的工作。此外，这些模型拥有自己的代数组合子（参见。特别是Katis，Sabadini和Walters模型），组合仿真的自然方式不是来自IWIM自动机的通用组合子，而是来自仅由于这些仿真所具有的强不变量而有效的特设构造。完整的细节可以在[8]中找到。165结论在前面的章节中，我们已经回顾了IWIM模型的要点，并构建了基本的IWIM系统作为自动机家族，这些自动机家族以抽象的方式捕获了IWIM的一些特征，或者IWIM的具体实现，如MANIFOLD。我们已经集中在ele-techniwim系统，因为他们说明了这种方法的建模iwim风格的协调在一个面向bration-oriented方案中的最重要的功能。我们在最后一节继续讨论，由于篇幅有限，我们无法全面讨论一些问题。除了我们提到的这些问题之外，还有一个有趣的问题，即如何在共享存储模型中检索与当前结构相似的结构，毕竟它必须能够表现出与IWIM模型相同的行为范围引用[1] 阿加湾《参与者：分布式系统中的并发计算模型》，麻省理工学院出版社，1986年。[2] 阿巴布湾大规模并发活动的协调。CWI技术报告CS-R9565，1995年。[3] 阿 巴 布 湾 并 行 活 动 协 调 的 IWIM 模 型 “ 见 ： Proc. COORD-96 ，Ciancarini，Hankin（eds.），LNCS1061， 34-56，Springer，1996年。[4] Arbab F. ， 赫 尔 曼 岛 Spilling P.\An overview of Manifold and itsImplementation. Concurrency ： Practice and Experience5 ， 23-70 ，1993.[5] Arbab F.，布洛姆角L.，汉堡F. J.，埃弗拉斯角T. H.用于大规模并发应用程序的Rusable协调模块。软件：实践与经验28，703-735，1998。[6] Arbab F.，德布尔湾美国，邦桑格湾M. 组件的逻辑接口描述语言。“in：Proc.COORD-00，Porto，Roman（eds.）， LNCS1906，249-266，Springer，2000。[7] Arbab F.，德布尔湾美国，邦桑格湾M.一种移动组件协调语言。“in：Proc. ACM SAC-00，166-173，2000年。[8] 巴拿赫河，Arbab F.，帕帕多普洛斯湾一、格劳尔特·JR. W. IWIM的多重“2002年提交[9] 最好的E，德维莱尔河，库特尼·M Petri网代数Springer，2000年。[10] 邦桑格湾M.，Arbab F.，de Bakker J. W.，鲁滕·J·J·M· M.， 萨瓦塔罗 ？ 斯 库 泰 拉 控 制 驱 动 协 调 语 言 MANIFOLD 的 转 换 系 统 语 义“Theor.Comp. Sci. 240，3-47，2000.17[11] Carriero N.，格勒恩特湾琳达在上下文中。“通信。ACM32， 444-458，1989。[12] 钱卡里尼P.，汉金角H. L.（编辑）1996年《协调语言和模型》（Proc.COORD-96）。LNCS1061， Springer，1996年。[13] 钱卡里尼P.，沃尔夫A L.（编辑）1999年《协调语言和模型》（Proc.COORD-99）。LNCS1594， Springer，1999年。[14] 加兰·D勒迈塔耶湾（编辑）1997年《协调语言和模型》LNCS1282，Springer，1997年。[15] 格勒恩特湾在琳达的生成通信ACM Trans.Prog. Lang.Sys. 7，80-112，1985.[16] Katis P.，Sabadini N.，沃尔特斯河F. C. IWIM模型的形式化“in：Proc. COORD-00，Porto，Roman（eds.），LNCS1906， 267-283，Springer，2000。[17] 马龙·T克劳斯顿湾协调的跨学科研究。“ACM公司调查。26，87-119，1994.[18] Omicini A.，Zambonelli F.，Klusch M.，托尔克斯多夫河互联网代理的协调：模型，技术和应用。Springer，2002年。[19] 帕帕多普洛斯湾一、 阿巴布湾协调模型和语言。“in：Advances inComputers { The Engineering of Large Systems，Zelkowitz（ed.），329-400，Academic，1998.[20] Porto A. ， 罗 曼 ·G·C （ 编 辑 ） 《 2000 年 协 调 语 言 和 模 型 》 （ Proc.COORD-00）。LNCS1906， Springer，2000年。[21] 夏皮罗并发逻辑语言家族。“ACM公司调查。21，412-510，1989.
我的内容管理
展开
