阿尔朗 swMATH ID: 22063 软件作者： 德尼古拉（De Nicola）、罗科（Rocco）；Duong，Tan；奥马尔·因弗索（Omar Inverso）；卡蒂亚·特鲁比亚尼 描述： AErlang正在工作。AErlangs是Erlang编程语言的扩展，它通过基于属性的通信进行了丰富。在AErlang中，Erlang发送和接收构造被扩展，通过依赖于谓词而非属性集来允许伙伴选择。AErlang避免了Erlang点对点通信的局限性，从而可以对现代系统中经常观察到的一些复杂交互特性进行建模，例如匿名性和自适应性。通过使用我们的原型扩展，我们展示了扩展的通信模式如何以自然和直观的方式捕获非平凡的进程交互。我们还概述了一种旨在自动验证AErlang系统的建模技术，并讨论了如何使用它来检查所考虑的案例研究的一些关键属性。 主页： https://link.springer.com/chapter/10.1007%2F978-3-319-51963-0_38 引用于： 0个文档