[论文解读] On Behavioral Types for OSGi: From Theory to Implementation

Jan Olaf Blech, Harald Rueß+1 more|arXiv (Cornell University)|Jun 26, 2013

Advanced Software Engineering Methodologies参考文献 24被引用 4

一句话总结

该论文提出了BehT框架，这是一个基于Eclipse的OSGi组件系统行为类型实现，通过类型符合性、细化和兼容性检查，实现了组件行为的静态和运行时验证。通过集成AspectJ进行运行时强制执行，并提供类型比较和不兼容性解决工具，该框架确保了组件组合与细化的正确性，评估结果表明其在基于模型的OSGi开发中具有实际适用性。

ABSTRACT

This report presents our work on behavioral types for OSGi component systems. It extends previously published work and presents features and details that have not yet been published. In particular, we cover a discussion on behavioral types in general, and Eclipse based implementation work on behavioral types . The implementation work covers: editors, means for comparing types at development and runtime, a tool connection to resolve incompatibilities, and an AspectJ based infrastructure to ensure behavioral type correctness at runtime of a system. Furthermore, the implementation comprises various auxiliary operations. We present some evaluation work based on examples.

研究动机与目标

• 将传统组件类型扩展为捕捉交互协议和系统行为的行为类型。
• 通过支持组件正确性的静态和运行时验证，促进OSGi中的基于模型的开发。
• 在Eclipse中提供工具支持，用于定义、比较和解决行为类型不兼容性。
• 通过基于AspectJ的基础设施，在运行时确保行为类型的正确性。
• 在实际OSGi组件示例上评估该框架，证明其可行性和实用性。

提出的方法

• 该框架基于过程代数概念定义行为类型，支持抽象、符合性、细化、兼容性和推断。
• Eclipse插件提供用于定义和可视化OSGi组件行为类型的编辑器。
• 实现了类型比较机制，用于开发时和运行时的组件兼容性分析。
• 通过工具连接实现行为类型不兼容性的自动检测与解决，包括类型强制转换和胶合代码生成。
• 基于AspectJ的运行时基础设施通过注入验证组件交互的监控器，强制执行行为类型正确性。
• 辅助操作包括类型推断、模型到类型映射，以及与OSGi捆绑包生命周期的集成。

实验结果

研究问题

• RQ1 如何有效利用行为类型在OSGi系统的设计和运行时验证组件正确性？
• RQ2 在基于模型的OSGi开发过程中，需要哪些机制来支持类型符合性、细化和兼容性？
• RQ3 如何将行为类型集成到Eclipse IDE中以支持开发人员生产力？
• RQ4 使用AspectJ在运行时强制执行行为类型是否具有可行性和有效性？
• RQ5 行为类型如何支持OSGi中的动态重新配置和组件发现？

主要发现

• BehT框架成功地通过基于Eclipse的工具链和基于AspectJ的运行时强制执行，将行为类型集成到OSGi生态系统中。
• 类型符合性和细化检查可在静态和动态环境下执行，从而增强对组件实现的信心。
• 该框架通过类型强制转换和胶合代码生成，支持行为类型不兼容性的自动检测与解决。
• 通过AspectJ的运行时监控，确保了执行期间的行为类型正确性，防止无效交互。
• 在示例系统上的评估证实了该方法在实际OSGi开发场景中的实用性和可行性。
• 该框架通过将规范与实现解耦并支持多个开发生命周期阶段，实现了无缝的基于模型的开发。