期刊文献+

场景驱动的构件行为舍弃 被引量:1

Scenario-driven component behavior abnegation
下载PDF
导出
摘要 如果构件含有冗余的行为,特别是有用户不想要的功能,则用户无法使用。因此,如何从构件中保留场景规约中用户需要的行为便是一个亟待解决的问题。给出了一种解决方法。该方法通过舍弃用户不需要的行为,保留场景规约中用户需要的行为,得到一个用户可以使用的构件。用带注释的接口自动机为构件的行为建模,用带注释的消息序列图(MSC)描述场景规约,给出了基于场景进行构件行为舍弃的方法。并用一个实例对文中所述的方法进行了说明。 Components with redundant functionalities, especially with undesired functionalities, can not be used by users. Therefore, the scenario-based behavior abnegation of components is an urgent problem, where the scenario specifies the user's desired behavior. An approach was proposed to abnegate the undesired behavior to get components that can be used, Annotate interface automata was used to model the behavior of components. The scenario specification was pictured by annotate Message Sequence Chart (MSC). The relevant algorithm was illustrated by an example.
出处 《计算机应用》 CSCD 北大核心 2008年第11期2936-2939,共4页 journal of Computer Applications
关键词 接口自动机 消息序列图 流体变量 构件 行为舍弃 interface automaton Message Sequence Chart (MSC) fluent component behavior abnegation
  • 相关文献

参考文献5

  • 1ITU-T. ITU-T recommendation Z. 120: Message Sequence Chart (MSC)[ S]. Geneva: ITU-T, 1999.
  • 2张岩,胡军,于笑丰,张天,李宣东,郑国梁.场景驱动的构件行为抽取[J].软件学报,2007,18(1):50-61. 被引量:16
  • 3DAMAS C, LAMBEAU B, DUPONT P, et al. Generating annotated behavior models from end-user scenarios[ J]. IEEE Transactions onsoftware Engineering, 2005, 31 (12), 1056 - 1073.
  • 4胡军,于笑丰,张岩,王林章,李宣东,郑国梁.基于场景规约的构件式系统设计分析与验证[J].计算机学报,2006,29(4):513-525. 被引量:40
  • 5UCHITEL S. KRAMER .J MAGEE J. Synthesis of behavioral models from scenarios[ J]. IEEE Transactions on software Engineering, 2003, 29(2), 99 - 116.

二级参考文献17

  • 1胡军,于笑丰,张岩,王林章,李宣东,郑国梁.基于场景规约的构件式系统设计分析与验证[J].计算机学报,2006,29(4):513-525. 被引量:40
  • 2de Alfaro L,Henzinger T.A.Interface automata.In:Proceedings of the Joint 8th European Software Engineering Conference and the 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering,Vienna,Austria,2001,109~120
  • 3Booch G,Rumbaugh J,Jacobson I..The Unified Modeling Language User Guide,2nd.Boston:Addison-Wesley,2005
  • 4Damn W,Harel David..LSCs:Breathing life into message sequence charts.Formal Methods in System Design,2001,19(1):45~80
  • 5Peled D.A..Software Reliability Methods.Springer,2001
  • 6Lynch N.A..Input/output automata:Basic,timed,hybrid,probabilistic,dynamic.In:Proceedings of the 14th International Conference on Concurrency Theory,Marseille,France,2003,187~188
  • 7de Alfaro L,Henzinger T.A,Stoelinga M..Timed interfaces.In:Proceedings of the 2nd International Conference on Embedded Software,Grenoble,France,2002,108~122
  • 8Chakrabarti A,de Alfaro L,Henzinger T.A,Stoelinga M..Resource interfaces.In:Proceedings of the 3rd International Conference on Embedded Software,Philadelphia,PA,USA,2003,117~133
  • 9Wen Y,Wang J,Qi Z..Bridging refinement of interface au tomata to forward simulation of I/O automata.In:Proceedings of the 6th International Conference on Formal Engineering Method,Seattle,USA,2004,259~273
  • 10Lee E.A,Xiong Y..System-level types for component-based design.In:Proceedings of the 1st International Workshop on Embedded Software,Tahoe City,CA,USA,2001,237~253

共引文献49

同被引文献8

  • 1胡军,于笑丰,张岩,王林章,李宣东,郑国梁.基于场景规约的构件式系统设计分析与验证[J].计算机学报,2006,29(4):513-525. 被引量:40
  • 2Cmkovic i, Larsson M. Challenges of Component-based Development[J]. The Journal of Systems & Software, 2002, 61 (3): 201-212.
  • 3Zhang Yam Yu Xiaofeng, Zhang Tian, et al. Scenario-based Component Behavior Filtration[C]//Proc. of IFIP Working Conference on Software Engineering Techniques. Boston, USA:Springer, 2006: 25-36.
  • 4Alfaro de L, Henzinger T. Interface Automata[C]//Proc. of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering. Vienna, Austria: [s. n.], 2001: 109-120.
  • 5Alfaro de L, Henzinger T. Interface-based Design[C]//Proc. of NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems. Berlin, Germany: Springer, 2004: 83-104.
  • 6王玉英,陈平,苏旸.生成有向图中全部简单回路的一种新算法[J].陕西师范大学学报(自然科学版),2008,36(4):12-15. 被引量:5
  • 7孟凡超,初佃辉,战德臣.基于行为的构件组合及存在性检查[J].计算机工程,2009,35(15):41-43. 被引量:2
  • 8朱庆,王小平,薛小平,司文婷.基于构件的网构软件系统动态演化[J].计算机工程,2010,36(1):55-57. 被引量:8

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部