卢多维奇·亨利奥;贾斯汀·罗切斯 多活动对象及其应用。 （英语） Zbl 1398.68087号 日志。计算方法。科学。 13，第4号，第12号论文，41页（2017年）. 摘要：为了解决并发和分布式系统的开发问题，主动对象编程模型为编程并发行为提供了高级抽象。目前已经存在各种针对广泛应用领域的活动对象框架：建模、验证、高效执行。然而，在这些框架中，很少有人考虑活动对象的多线程执行。简介受约束的活动对象中的并行性可以克服它们的一些限制。本文围绕多活动对象编程模型提出了一个完整的框架。我们通过积极主动，提供多活动对象的Java库，并通过多ASP，编程语言，允许我们的开发正式化。然后，我们展示了如何将带有协作多线程的主动对象语言编译成多主动对象。本文还介绍了不同的用例和开发支持，以说明我们语言的实用性。我们工作的形式化为程序员提供了多活动对象编程模型和编译器行为的保证。 引用于1文件 MSC公司： 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 68N20型 编译与解释理论 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 关键词：程序设计语言;分布式系统;活动对象 软件：防抱死制动系统;成本核算表;轻量级Java;SACO公司;积极主动 PDF格式BibTeX公司 XML格式引用 \textit{L.Henrio}和\textit{J.Rochas}，Log。计算方法。科学。13，第4号，第12号论文，41页（2017；Zbl 1398.68087） 全文： 内政部 arXiv公司