真并发自动机：组件行为描述与接口兼容性检查

"并发自动机模型下的组件行为描述及接口兼容性检查方法" 这篇论文主要探讨了在并发环境下，如何使用并发自动机模型来精确描述组件的行为并进行接口兼容性检查。作者Michael W. Shields和Paul J. Krause来自英国萨里大学计算机系，他们提出了一种名为"真并发自动机"的新颖模型，该模型强调并发性作为结构属性的显式表示。 在并发系统中，组件的接口兼容性问题可能导致软件无法按照预期运行，尤其是当组件之间复杂的调用交互导致不一致时。为了解决这个问题，论文引入了一种基于自动机的语言，用于描述组件的可观察行为，包括操作调用的顺序以及组件对外部操作的响应顺序。这种描述方式同时包含了组件自身和其环境的行为，确保在组合组件时，只有当环境满足所有组件的假设时，才能成功组合。 并发自动机的创新之处在于它能够显式表达并发性，如竞争条件等现象，这些在传统的组件模型中可能难以捕捉。通过这种方式，开发者可以更准确地理解和预测组件在并发环境中的行为，从而预防潜在的错误和病态行为。 关键词涵盖了“构件行为”、“并发”和“自动机”，表明研究的核心是利用自动机模型来处理并发组件的行为建模和接口匹配。论文进一步讨论了如何从组件生成自动机，以及如何使用这些自动机来进行兼容性检查，这对于理解和验证高完整性软件系统中的组件交互至关重要。 1571-0661©2005ElsevierB.V.发布的这篇论文是在CC BY-NC-ND许可下开放获取的，可以在doi：10.1016/j.entcs.2005.04.035上找到，文章编号为S.Moschoyiannis等人理论计算机科学电子笔记141（2005）199。