软件体系结构_Lecture8.ppt

* * * 我们的问题是如何检测多个自适应规则的冲突和依赖关系。 自适应规则本身是否合理，有两个侧面，一个侧面是规则的效果是否能满足用户的需要，他的实施是否能够满足自适应的期望，此外，还有一个基本的问题，这些规则之间的一致性问题。在我们的工作框架下，我们讨论了一种自动化的一致性检测机制。已有工作从应用的侧面来选择规则，而没考虑规则之间本身的一致性问题 * 问题如果用形式化的语言描述一下就是：… 我们说对于基于体系结构的自适应规则，无论是传统的ECA模式还是不变式模式，他最终都要落实到体系结构重配置的动作之上，由于规则触发的条件不同的应用之间千变万化，而体系结构调整的动作可以被分解为有限个原子动作。这样，我们就可以吧规则的冲突检测问题划归为体系结构重配置的冲突机依赖关系检测问题，并利用图文法对体系结构建模，… * * * 因此，借鉴ACME的元素设计思想，抽象出若干底层软件体系结构重配置动作，归纳为组件的创建删除，连接子的创建与删除，端口，角色等的创建与删除等，然后应用图重写来描述元层次的重配置动作。将组件，端口，连接子角色等建模为节点，节点属性，边，边的属性等。 * * 有了这样的模型基础，我们就可以验证图重写规则之间的关系，我们先看看独立关系，独立关系分为两种，一种是并行独立，一种是串行独立。并行独立是指，图G的两个同时可用的并发规则映射的转换，如果第一个规则映像的左部，被第二个