摘要
基于构件的软件工程的目标是对已有软件构件的重用.实际上,由于构成系统的多个构件之间往往存在不兼容的情况,所以大部分构件不能直接集成到应用中.因此在构件集成之前,需要检测其接口的兼容性并进行适配.针对构件行为的不兼容性,提出面向用例的行为适配算法,生成基于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.
出处
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2010年第5期562-566,共5页
Journal of Inner Mongolia University：Natural Science Edition
基金
国家自然科学基金资助项目(60863015)
内蒙古自然科学基金资助项目(200711020809
200607010804)
关键词
用例
接口
PETRI网
兼容
行为适配模型
use case
interface
Petri net
compatible
behavioral adaptation model
