协作策略驱动构件组合行为提取.PDFVIP

协作策略驱动的构件组合行为提取∗ 刘奕明 赵文耘 彭鑫 唐姗 复旦大学计算机科学与工程系软件工程实验室，上海，200433 051021050@ 摘 要: 构件组合系统的行为通过构件之间的交互来体现.而构件交互遵循的协作策略往往决定组合系统所具有的性质,如安全性,活性和 公平性等.因此,如何从构件交互中提取遵循特定构件交互策略的构件组合行为,从而使系统具有某种良好性质就成为了一个亟待解决 的问题.本文提出了一种策略满足的构件组合行为提取方法.在这篇文章中,构件组合系统的设计和行为用接口自动机网络建模,它由一 组通过共享动作同步的接口自动机组成.而构件协作策略用线性时序逻辑(LTL)描述.这个方法首先将用户指定的构件协作策略强加于 组合系统的行为模型之上,并从结果模型中提取接受执行路径.然后,基于获取的行为构造协作环境,驱动组合系统中的构件以一种无死 锁,协作策略满足的方式一同工作,进而使运行系统具有良好的属性,如安全性,公平性等.为了说明这个方法的正确性和有效性,我们给 出了一个实例证明. 关键词: 基于构件软件开发, 构件, 行为提取, 接口自动机 Coordination Policy Driven Component Composition Behavior Derivation Liu Yiming Zhao Wenyun Peng Xin Tang Shan Computer Science and Engineering Department, Software Engineering Lab of Fudan University, Shanghai 200433 Abstract: The behaviors of component-based composed system are represented by the interaction of its composed components. And the coordination-policy that the interaction of components satisfied often determines the quality and properties of the composed systems, e.g. Safety, Liveness and Fairness etc. Therefore, the coordination policy-based behavior derivation of composed components is a significant problem that needs to be solved, where the coordination policies specify the user’s desired system properties. Aim to this problem, a policy-satisfying behavior derivation approach is proposed. In this paper, the design and behavior of composed system are modeled by Interface Automaton Network (IAN) which consists of a set of Interface Automata (IA) synchronized by shared actions, and user specific component coordination policies are specified by LTL. The approach firstly enforces user specific coordination policy upon the behavior model of the deadlock-free composed system, and then retrieves accepting execution paths from the resulting model. Finally, based on the retrieved behaviors the approach co