西蒙娜·奥尔赞;范德波尔(Jaco van de Pol) 简单共享数据空间体系结构的分发。 (英语) Zbl 1114.68036号 芬丹。通知。 73,第4期,535-559(2006). 摘要:我们研究了一个简单的软件体系结构,其中组件通过写入全局集和从全局集读取来进行协调。这个简单的架构受到了工业软件架构Splice的启发。我们给出了两个结果。首先,给出了该体系结构的分布式实现,并在形式上证明了其正确性。在实现中,维护本地集,并在这些本地集之间交换数据项。接下来,我们将展示该体系结构在原则上具有足够的表达能力。特别是,系统行为的每个全局规范都可以划分为组件,这些组件仅通过全局集上的读写原语进行协调。我们严重依赖进程代数中的最新概念和证明方法。 引用于1文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) PDF格式BibTeX公司 XML格式引用 \textit{S.Orzan}和\textit{J.van de Pol},Fundam。通知。73,第4号,535--559(2006;Zbl 1114.68036)