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

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