主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第6期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
张岩,胡军,于笑丰,张天,李宣东,郑国梁.场景驱动的构件行为抽取.软件学报,2007,18(1):50-61
场景驱动的构件行为抽取
Scenario-Driven Component Behavior Derivation
投稿时间:2006-02-14  修订日期:2006-05-11
DOI:
中文关键词:  接口自动机  消息序列图  极大包含环境  构件  行为抽取
英文关键词:interface automaton  MSC (message sequence chart)  supremum-inclusive environment  component  behavior derivation
基金项目: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 (江苏省自然科学基金)
作者单位
张岩 南京大学,计算机科学与技术系,江苏,南京,210093
计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093 
胡军 南京大学,计算机科学与技术系,江苏,南京,210093
计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093 
于笑丰 南京大学,计算机科学与技术系,江苏,南京,210093
计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093 
张天 南京大学,计算机科学与技术系,江苏,南京,210093
计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093 
李宣东 南京大学,计算机科学与技术系,江苏,南京,210093
计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093 
郑国梁 南京大学,计算机科学与技术系,江苏,南京,210093
计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093 
摘要点击次数: 4051
全文下载次数: 3308
中文摘要:
      如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境,使得场景规约中所描述的所有行为可以从构件中抽取出来,并保留到该构件与其极大包含环境的组合中.同时,构件中的其他行为,即不在场景规约中的行为,被尽可能地舍弃.用接口自动机为构件的行为建模,并将用消息序列图描述的场景规约抽象为一组活动序列.构件的组合描述为接口自动机的乘积.给出了基于场景进行构件行为抽取的相关算法,并用一个实例对文中所述方法进行了说明.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利