软件体系结构_Lecture8要点.pptVIP

* * * 我们的问题是如何检测多个自适应规则的冲突和依赖关系。 自适应规则本身是否合理，有两个侧面，一个侧面是规则的效果是否能满足用户的需要，他的实施是否能够满足自适应的期望，此外，还有一个基本的问题，这些规则之间的一致性问题。在我们的工作框架下，我们讨论了一种自动化的一致性检测机制。已有工作从应用的侧面来选择规则，而没考虑规则之间本身的一致性问题 * 问题如果用形式化的语言描述一下就是：… 我们说对于基于体系结构的自适应规则，无论是传统的ECA模式还是不变式模式，他最终都要落实到体系结构重配置的动作之上，由于规则触发的条件不同的应用之间千变万化，而体系结构调整的动作可以被分解为有限个原子动作。这样，我们就可以吧规则的冲突检测问题划归为体系结构重配置的冲突机依赖关系检测问题，并利用图文法对体系结构建模，… * * * 因此，借鉴ACME的元素设计思想，抽象出若干底层软件体系结构重配置动作，归纳为组件的创建删除，连接子的创建与删除，端口，角色等的创建与删除等，然后应用图重写来描述元层次的重配置动作。将组件，端口，连接子角色等建模为节点，节点属性，边，边的属性等。 * * 有了这样的模型基础，我们就可以验证图重写规则之间的关系，我们先看看独立关系，独立关系分为两种，一种是并行独立，一种是串行独立。并行独立是指，图G的两个同时可用的并发规则映射的转换，如果第一个规则映像的左部，被第二个规则所保持，则转换1并行独立与转换2，如果转换2同时也并行独立与转换1，那么这两个转换就是并行独立的； 对于两个连续的转换而言，如果第2个转换的左部在第一个规则作用之前就已经存在，那么转换2就是穿行独立于转换1，如果同时转换1也串行独立于转换2，那么这两个图转换就是串行独立的。 * * Local church-rosser定理表了串行独立和并行独立之间的等价性，那么根据图的局部会合性质，我们可以知道，这两个转换，无所谓他们的作用先后，是可以达到共同图的，如果用体系结构重配置的话来说，这两个调整规则是没有冲突和依赖关系的。 * * 那么剔除了独立这一类之后，剩下的就是可能会导致冲突和依赖关系的规则。给两个图可同时施加于G的图转换，t1, t2：如果t1只能在t2之前施行，那么表明t1对于t2是非对称冲突，如果t1和t2彼此是对方失效，则表明两个转换对称冲突。无论是对称冲突还是非对称冲突，表明这两个转换构成了一个关键对。对应于两个连续的转换t1和t2,如果t1导致了t2的产生，那么这两者构成了依赖关系。产生冲突和依赖的原因无非以下四点：一个规则删除了另一个规则在途中的像，一个规则产生了另一个规则应用的限制条件，一个规则改变了另一个规则的匹配元素的属性，还有就是一个规则右部弥补了另一个规则的不匹配部分 * 为了进一步说明利用图文法检测体系结构重配置动作之间的冲突及依赖关系的有效性，我们设计了一个小的应用系统，左图时这个系统的类型图，我们设定了10个重配置动作，利用AGG系统内置的关键对分析工具进行静态的检测，可以自动地得到这些重配置规则之间的关系，从而为系统规则的管理上面提供了一些指导，比如，那些规则可以同时被触发，那些规则需要进一步考量等。关于这个例子的详细介绍，请参看论文。 * * * * * * * 在关键技术探讨的基础上，我们设计并实现了一个支撑系统。 * * * 这是集成方的界面，采用了基于eclipse的插件式实现，集成了图形编辑组件，AGG检查组件，本体的描述推理组件等，它的特色在于支持情景本体以及规则的编辑，推理，体系结构可视化编辑，连接子的动态组合，体系结构agent的生成、发送以及冲突依赖关系检测等。 * * 这个是系统的具体运行时的视图，我们设计了一个网络在线订票的例子，能够根据当前的网络状况自动调整体系结构以满足用户响应快的使用需求，我们的规则设定为当系统的相应延迟超过3秒钟时，自动增加一个主服务节点，以平衡负载，右上方的表格用于测试，采用基于反射式的体系结构和直接调用响应的功能函数的时间开销对比，可以看到由反射所引起的额外开销并不太大，右下方的表格反映的是用户平均的响应时间，可以看到在平均时间超过阈值，在左下图动态添加一个主服务节点之后，用户的平均响应时间有了显著的下降。 * * * * * * 我们以水利系统为背景，与相关单位合作，开发了一个有关水雨情信息会商的概念验证原型系统。 国内有很多大江大河，流经若干行政区域，对这些江河的水雨情信息监控是一项重要的水利任务。由于流域的宽广性和资源的有效性，不可能在每一处都设有观测站，当汛期来临之际，若干地点可能会发生险情，比如管涌，溃堤等。因此需要将险情信息动态的集成至当前系统以便资源调度。 Master/Slave体系结构风格是用来构建水雨情信息系统的合适选择。其中Master统一