构件演化中的系统行为一致性的研究

计算机科学 ›› 2008, Vol. 35 ›› Issue (1): 266-270.

构件演化中的系统行为一致性的研究

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本项目受国家863计划（2004AA112090,2005AA113160,2005AA113030）、国家973计划（2002CB312002）、国家自然科学基金（60273034,60233010,60403014）资助.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 构件技术的发展，减少了开发应用程序的时间和复杂度，同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系，将多个构件组织成一个统一的整体得到的。因此在构件演化时，例如对构件功能实现进行改变，可能导致系统运行偏离原来的系统行为。我们的工作就是在构件演化时对系统行为进行一致性检查，保证构件的功能实现的变化不会使系统行为偏离原来的系统。在本文中首先通过Petri—net的形式化方法，对系统实现中包括的构件的功能实现和构件间的交互进行建模，并通过以上信息推导得到系统行为。在此基础之上，

关键词: 构件演化系统行为行为一致性

Abstract: Component based software development （CBSD） facilitate the construction of software and support dynamic evolution. In CBSD, software is built by assembling components which are already developed and prepared for integration, so the software system behavio

Key words: Component evolution, System behavior, Behavior consistency

. 构件演化中的系统行为一致性的研究[J]. 计算机科学, 2008, 35(1): 266-270. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed