场景驱动构件行为抽取.pdfVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software, Vol.18, No.1, January 2007, pp .50−61 http://www.j DOI: 10. 1360/jos1 80050 Tel/Fax : +86-10 © 2007 by Journal of Software. All rights reserved. ∗ 场景驱动的构件行为抽取 1,2+ 1,2 1,2 1,2 1,2 1,2 张 岩 , 胡 军 , 于笑丰 , 张 天 , 李宣东 , 郑国梁 1(南京大学 计算机科学与技术系,江苏 南京 210093) 2(计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093) Scenario-Driven Component Behavior Derivation ZHANG Yan 1,2+, HU Jun1,2, YU Xiao-Feng 1,2, ZHANG Tian1,2, LI Xuan-Dong1,2, ZHENG Guo-Liang1,2 1(Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China) 2(State Key Laboratory for Novel Software Technology (Nanjing U niversity), Nanjing 210093, China) + Corresponding author: Phn: +86-25 Fax: +86-25 E-mail: zhangyan@seg.nju. Zhang Y, Hu J, Yu XF, Zhang T, Li XD, Zheng GL. Scenario-Driven component behavior derivation. Journal of Software, 2007,18(1):50−61. /1000-9825/18/50.htm 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