法国贝勒加德;雅克·朱利安德;奥尔加·库什纳伦科 B中事件系统的同步并行组合。 (英语) Zbl 1044.68115号 Bert,Didier(编辑)等人,ZB 2002:Z和B中的正式规范和开发。第二届B和Z用户国际会议,法国格勒诺布尔,2002年1月23日至25日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43166-7)。莱克特。注释计算。科学。2272, 436-457 (2002). 概要:大型系统通常是或可以分解为组件的组合。通常,这些组件必须协同工作,它们的组合是同步的并行组合。组件通常是反应系统。在B方法中,每个组件都是一个事件系统。然后,可以使用两种开发范式——细化和组件组合。为了提供这两种范式,我们有一个关于细化的同步并行合成的合成结果。我们利用这个结果得到了一种有效的方法来验证组件之间同步并行组合的细化。因此,我们的建议允许在B中引入第二个开发范式,即组件范式。关于整个系列,请参见[Zbl 0988.00083号]. MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 60年第68季度 规范和验证(程序逻辑、模型检查等) 软件:csp2B型 PDF格式BibTeX公司 XML格式引用 \textit{F.Bellegarde}等人,Lect。注释计算。科学。2272436--457(2002年;Zbl 1044.68115) 全文: 链接