×

简单共享数据空间体系结构的分发。 (英语) Zbl 1114.68036号

摘要:我们研究了一个简单的软件体系结构,其中组件通过写入全局集和从全局集读取来进行协调。这个简单的架构受到了工业软件架构Splice的启发。我们给出了两个结果。首先,给出了该体系结构的分布式实现,并在形式上证明了其正确性。在实现中,维护本地集,并在这些本地集之间交换数据项。接下来,我们将展示该体系结构在原则上具有足够的表达能力。特别是,系统行为的每个全局规范都可以划分为组件,这些组件仅通过全局集上的读写原语进行协调。我们严重依赖进程代数中的最新概念和证明方法。

MSC公司:

68号30 软件工程的数学方面(规范、验证、度量、需求等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用