![](https://csdnimg.cn/release/download_crawler_static/88626730/bg3.jpg)
P. Brada/Electronic Notes in Theoretical Computer Science 279
(
2
)(
2011
)
语境可替代性的概念。
论文的第二部分是对形式部分的验证。在第5节中,我们描述了OSGi组件框架的
方法的实现,并讨论了我们遇到的几个基本问题。在第6节中对该方法的形式和实
践方面进行了评估,并在论文的最后对后续工作进行了说明
2
相关工作
这项工作有助于在组件框架中的正确性和鲁棒性的挑战领域这仍然是一个相关的问
题,因为例如Taylor [23]指出,在面向服务的体系结构研究中,“很少关注跨服务
的. .)边界
在一个非常高的抽象层次上,Georgas等人[12]在运行时使用应用程序架构模型
来管理其演变。可以在控制进化(适应)的政策上指定约束条件,以保护选定的建
筑属性。然而,这项工作并没有提供有关模型、约束条件和检查方法的具体细节。
许多研究方法都使用具有全局完整性属性的整体方法来解决这一需求[21,11]。
例如,Chaki等人[9]使用组合推理和动态假设保证检查来提供形式上合理的可替代
性评估,其实际属性与我们的上下文属性相似。然而,这些方法中的大多数都是基
于高级形式系统(例如模型检查,行为子类型),通常由专门的规范符号支持。这
些方法倾向于支持禁止的算法或状态复杂性
[16
,
9]
,并且符号倾向于太复杂而不能
被使用。
软件开发者[15]
很少有研究工作涉及到工业组件框架的使用。 Polakovic等人[20]使用编译时类
型一致性验证和错误处理代码的组合,为资源受限的组件模型由于资源需求,我们
的做法在这些情况
在其精神上最接近我们的工作是
Belguidoum
和
Dagnat
这可以防止同一组件功能
(例如消息传递服务)的多个冲突实现使上下文不变量无效。虽然这是一个重要的
观察结果,但可替代性本身是在相当抽象的层面上形式化的,并且需要进一步细化
服务比较方法、组件安装(卸载)效果和禁止依赖表示,以使该方法完全适用
最后但并非最不重要的是,已经提出了几种使用类型系统的方法[11,17]。此
外,它们还可以实现多组分替代,这超出了本文提出的方法然而,他们的方法尚未
得到验证