约翰内斯·加里斯;杰拉尔德·吕特根;艾琳·辛科;沃尔特·福格勒 共享内存的接口自动机。 (英语) Zbl 1519.68118号 Margaria,Tiziana(编辑)等人,《模型、心态、元:什么、如何以及为什么不?》?在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。11200,151-166(2019年)。 总结:基于接口自动机(IA)是基于组件的并发系统规范的形式化。其基本同步机制的扩展允许对数据进行建模,但在涉及模态转换系统的更复杂和更具表现力的环境中进行研究,暗示了诸如确定性等严重限制,或不从内部计算中抽象。在本文中,我们展示了de Alfaro和Henzinger的原始IA理论如何通过共享内存数据保守地扩展,而不牺牲简单性或施加限制。我们的分机用于共享内存的IA(IAM)在共享变量上的算术表达式上使用前置和后置条件装饰转换,IA的组件兼容性概念考虑了这些条件。IAM可以嵌入到IA中,因此保持了简单性,从而将IA的兼容性概念准确地提升到共享内存中。我们还为IAM提供了一个基础语义,表明我们在IA的开放系统视图中对数据的抽象处理忠实于封闭系统中数据的标准处理。关于整个系列,请参见[Zbl 1425.68013号]. 引用于1文件 MSC公司: 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) PDF格式BibTeX公司 XML格式引用 \textit{J.Gareis}等人,Lect。注释计算。科学。11200151-166(2019年;Zbl 1519.68118) 全文: 内政部 链接