论文部分内容阅读
基于构件的软件工程的目标是对已有软件构件的重用．实际上，由于构成系统的多个构件之间往往存在不兼容的情况，所以大部分构件不能直接集成到应用中．因此在构件集成之前，需要检测其接口的兼容性并进行适配．针对构件行为的不兼容性，提出面向用例的行为适配算法，生成基于Petri网的适配模型．最后通过检验Petri网的活性，从而验证适配模型的兼容性．