1、ABZ 2018会议及相关研究成果解读

ABZ 2018会议及相关研究成果解读

1. ABZ 2018会议概述

ABZ 2018（第6届国际ASM、Alloy、B、TLA、VDM和Z会议）于2018年6月5 - 8日在英国南安普顿举行。该会议记录了基于状态的形式化方法、抽象状态机、Alloy、B、Circus、Event - B、TLS +、VDM和Z等领域的最新研究进展。此前，ABZ会议已在英国伦敦（2008年）、加拿大奥福德（2010年）、意大利比萨（2012年）、法国图卢兹（2014年）和奥地利林茨（2016年）成功举办。

会议上有四场主题演讲：
- 来自英国Altran的Janet Barnes和Angela Wallenburg联合发表了关于使形式化方法在工业实践中成为主流的演讲，并概述了Altran在使用形式化方法方面的一些成功经验和挑战。
- 奥地利软件能力中心哈根贝格的Klaus - Dieter Schewe发表了关于基于并发反射抽象状态机对自适应分布式系统进行形式化表征的演讲。
- 麻省理工学院的Daniel Jackson强调了软件设计在软件开发中的重要性。
- Jean - Raymond Abrial反思了B和Event - B开发和部署的原则、成功经验和挑战。

此外，2018年恰逢B方法于1993年在巴黎地铁14号线的铁路项目METEOR上首次大规模工业应用的25周年。为此，在会议上组织了一个小组讨论，探讨自1993年以来B方法在工业应用中的演变。

2. 会议案例研究与论文情况

与2014年和2016年的ABZ会议一样，第6届ABZ会议包含了专门针对共享现实案例研究的特别会议。本次案例研究由Thai Son