基于行为描述的软件构件组合兼容性检查.pdfVIP

第36卷第12期 计算机工程 2010年6月 2010 VoL36No．12 ComputerEngineering June ·软件技术与数撬；库· 文章编号t 1000—3428(2010)12__0伽6一—m2文献标识码lA 中圈分类号-TP311． 基于行为描述的软件构件组合兼容性检查 张骢 (江西财经大学软件学院，南昌330013) 摘要：定义构件的基调视图和行为视图，给出将构件行为转化为丌演算进程表达的建模方法，并设计实现构件行为的霄演算描述自动转 换的算法。结合一个电子商务的实例，借助冗演算的操作语义和形式化推理技术实现对软件构件组合时的兼容性进行检查。 关健诃：软件构件；接121；行为视图；丌演算；兼容性 Software Compo