面向用例的构件行为适配模型

Use Case Oriented Behavioral Adaptation Model of Components

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

Component-based software engineering focuses on the reuse of existing software components. In practice, most components can not be integrated directly into an application because they are incompatible. It is necessary to check whether it is compatible between components ＇ interfaces and to make adaption before building them into the new environment. A use case-oriented algorithm of adaptation is proposed. The algorithm can adapt components＇ behavioral and an adaptation model based Petri Net is generated. At last, the compatibility of the model is verified by checking the liveliness of the Petri Net.