###
DOI:
Journal of Software:2007.18(1):50-61

场景驱动的构件行为抽取
张岩,胡军,于笑丰,张天,李宣东,郑国梁
(南京大学,计算机科学与技术系,江苏,南京,210093;计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093)
Scenario-Driven Component Behavior Derivation
ZHANG Yan,HU Jun,YU Xiao-Feng,ZHANG Tian,LI Xuan-Dong,ZHENG Guo-Liang
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 4148   Download 3336
Received:February 14, 2006    Revised:May 11, 2006
> 中文摘要: 如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境,使得场景规约中所描述的所有行为可以从构件中抽取出来,并保留到该构件与其极大包含环境的组合中.同时,构件中的其他行为,即不在场景规约中的行为,被尽可能地舍弃.用接口自动机为构件的行为建模,并将用消息序列图描述的场景规约抽象为一组活动序列.构件的组合描述为接口自动机的乘积.给出了基于场景进行构件行为抽取的相关算法,并用一个实例对文中所述方法进行了说明.
Abstract:Components with redundant functionalities, especially with undesired functionalities, can not be used properly by users. Therefore, the scenario-based behavior derivation of components is a significant problem that needs to be solved, where the scenario specifies the user’s desired behavior. An approach is proposed to derive the desired behavior specified by a scenario specification from components. The main idea of this approach is that by constructing a special environment, i.e., supremum-inclusive environment (SIE), for a component, all behavior specified by a scenario specification can be extracted from the component to the composition of the component and its SIE, and other behavior of the component is discarded to the most extent. This paper uses interface automata to model the behavior of components and a set of action sequences to abstract the scenario specification in Message Sequence Charts (MSCs). The composition of the components is modeled by the product of interface automata. This paper gives the relevant algorithm in this approach and illustrates it by an example.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60233020, 60425204, 60673125 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312001 (国家重点基础研究发展规划(973)); the Natural Science Foundation of Jiangsu Province of China under Grant No.BK2004080 (江苏省自然科学基金) Supported by the National Natural Science Foundation of China under Grant Nos.60233020, 60425204, 60673125 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312001 (国家重点基础研究发展规划(973)); the Natural Science Foundation of Jiangsu Province of China under Grant No.BK2004080 (江苏省自然科学基金)
Foundation items:
Reference text:

张岩,胡军,于笑丰,张天,李宣东,郑国梁.场景驱动的构件行为抽取.软件学报,2007,18(1):50-61

ZHANG Yan,HU Jun,YU Xiao-Feng,ZHANG Tian,LI Xuan-Dong,ZHENG Guo-Liang.Scenario-Driven Component Behavior Derivation.Journal of Software,2007,18(1):50-61