分布式组件的正确组成：形式化和工具
Verifying the correct composition of distributed components: Formalisation and Tool
摘要：
本文提供了形式化的定义，描述了组件的良构组合，以保证它们的安全部署和执行。我们的工作集中在组件组合的结构方面;它将许多组件模型中常见的大多数概念放在一起，但从未作为一个整体形式化。我们的形式化特征正确的组件架构的功能和非功能方面，都作为组件组装结构。拦截器链可以用于两个方面之间的安全和受控的交互。我们的格式良好的组件保证了一组属性，确保部署的组件系统具有正确的体系结构并可以安全运行。最后，这些定义构成了我们的基于组件的应用程序的开发和规范的基于XML的环境的正式基础。
英文摘要：
This article provides formal definitions characterizing well-formed composition of components in order to guarantee their safe deployment and execution. Our work focuses on the structural aspects of component composition; it puts together most of the concepts common to many component models, but never formalized as a whole. Our formalization characterizes correct component architectures made of functional and non-functional aspects, both structured as component assemblies. Interceptor chains can be used for a safe and controlled interaction between the two aspects. Our well-formed components guarantee a set of properties ensuring that the deployed component system has a correct architecture and can run safely. Finally, those definitions constitute the formal basis for our Eclipse-based environment for the development and specification of component-based applications.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
