东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

场景驱动的构件行为抽取

期刊名称：《软件学报》，Vol.18，No.1，2007
时间：0
分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
作者机构：[1]南京大学计算机科学与技术系,江苏南京210093, [2]计算机软件新技术国家重点实验室南京大学,江苏南京210093
相关基金：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 （江苏省自然科学基金）
相关项目：软件工程学

关键词：接口自动机, 消息序列图, 极大包含环境, 构件, 行为抽取, interface automaton, MSC （message sequence chart）, supremum-inclusive environment, component, behavior derivation

中文摘要：

如果构件含有冗余的功能，特别是含有用户不想要的功能，则无法被用户正确使用．因此，如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题．给出了解决谊问题的一种方法．谊方法通过为构件构造一个环境，即极大包含环境，使得场景规约中所描述的所有行为可以从构件中抽取出来，并保留到谊构件与其极大包含环境的组合中．同时，构件中的其他行为，即不在场景规约中的行为，被尽可能地舍弃．用接口自动机为构件的行为建模，并将用消息序列图描述的场景规约抽象为一组活动序列．构件的组合描述为接口自动机的乘积．给出了基于场景进行构件行为抽取的相关算法，并用一个实例对文中所述方法进行了说明．

英文摘要：

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.

同期刊论文项目