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

2010年 9月 内蒙古大学学报 (自然科学版) Sept． 2010 第4i卷第5期 JournalofInnerMongoliaUniversity Vo1．41 No．5 文章编号 ：1000—1638(2010)05—0562-05 面 向用例的构件行为适配模型 刘玉林 ，孙剑锋 (1．内蒙古大学计算机学院，呼和浩特 010021； 2．中国移动通信集团内蒙古有限公司呼伦贝尔分公司，内蒙古呼伦贝尔 021000) 摘要 ：基于构件的软件工程的目标是对已有软件构件的重用．实际上，由于构成系统的多个构 件之 间往往存在不兼容 的情况 ，所 以大部分构件不能直接集成到应用 中．因此在构件集成之 前，需要检测其接 口的兼容性并进行适配．针对构件行为的不兼容性，提出面 向用例的行为适 配算法，生成基于 Petri网的适配模型．最后通过检验 Petri网的活性，从而验证适配模型的兼 容性． 关键词 ：用例；接口；Petri网；兼容；行为适配模型 中图分类号 ：TP311．13 文献标志码 ：A 引 言 基于构件的软件工程 (CBSE)通过组装 已有软构件来组建新的系统 ，这些构件集成为一个整体来 实现系统的功能．然而 ，其 中一个主要 的问题是实际上任何软件构件都不可能完全符合系统的需求 ， 而且被集成到一起的不同构件也不一定能很好地配合．如果被复用的构件不符合 目标系统的需求或 软件体系结构就可能导致该构件无法正常工作 ，甚至影响整个系统的运行，这种情形称为失配 (mis— match) ．构件适配 (adaptation)的目的是调整构件使之满足 目标系统 的需求或体系结构．通常情况 下在重用构件时得不到构件的源代码 ，构件适配是指设计适配器来协调不同构件接 口之间的行为． CBSE要求必须通过构件的接 口重用 ，接 口构成所有的技术说明．接 口描述语言 (IDLs)的特性和 表达决定了我们能够使用的互操作的程度以及能够解决的问题的类型．根据文献[1—2]，给出几种互 操作以及接 口描述的层次 ：说明层 、行为层、语义层 、服务质量层．在每一层都可能发生不兼容的情况． 说明层的不兼容通常是指语法上的不匹配，例如参数的类型和个数不同等．工业的构件模型用接口描 述语言描述，能够解决大部分说明层上的交互失配问题 ，但是不能解决更高层 的不兼容问题．目前 已 经提出的很多方法解决行为层的兼容性 ，这些方法用协议扩展了构件接 口，产生了行为接 口描述语言 (BehavioralIDLs)(3-5)．文献 [2，6]提出利用 LTS和 Petri网解决行为层的兼容性的方法 ，将整个构件 软件系统表示为一个 LTS，再转换为 Petri网，这种方法 的缺点是当系统规模较大时，存在状态爆炸 的问题 ，无法用于较大规模 的程序． 论文提出一种面向用例的构件行为适配和验证方法，可以为行为不兼容的构件接 口间进行适配． 方法的基本过程为 ：首先基于接 口petri网模拟构件接 口的行为 ，然后以用例为单位 ，检查接 口之间行 为的兼容性并进行适配 ，生成行为适配模型．最后通过验证适配模型的活性来验证模型的兼容性． 1 接 口Petri网 在基于构件的系统中，构件的接 口是访问构件的人 口，接 口包含服务．通过接口，一个构件可以作 * 收稿 日期 ：2009—12—04；修回 日期 ：2010—05—06 基金项 目：国家 自然科 学基 金 资助 项 目；内蒙古 自然 科学 基 金 资助项 目 (200711020809， 200607010804) 作者简介：刘玉林 (1971一)，女 ，内蒙古呼和浩特市人 ，副教授． 第 5期 刘玉林 ，孙剑锋 面向用例的构件行为适配模型 563 为服务器提供服务 ，也可以作为客户请求服务．为了获取服务 ，客户构件首先查看服务器构件的接 口 是否提供相应服务，然后向相应的接 口申请此服务功能，服务器构件提供此服务功能．服务