构件形式化描述及组合研究.pdf

构件的形式化描述及其组合研究绷 摘要 随着软件需求的刁i断增加，软件规模4i断扩人、功能lI趋复杂，传统的软件 丌发难以满足用户的需求，日日仃，基于构件的JI：发方法已经成为…个研究热点。 通过构件的复用和组合米构建软件系统，可以显著缩短丌发剧期、提高软件生成 效率、确保软件产品的质量。存犟丁构件的软件JI：发中，构件库中的单个构件功 能弱于用』lI需求，彳i能有效地实现用户f“j,Ik务功能，需要通过构件交瓦组合米获 得粒度更大，功能更强的系统构件。对此，本文首先对构件的形式化语义进行研 究，然后在此基础．卜研究多个构件的交瓦组合技术。 首先，采用范畴论，给出了一个构件的形式语义描述，定义了构件之间的态 射关系，提出了一个构件的范畴模型。把构件定义为山构件规约和构件实现组成 的二元组集合，通过对构件中的接r]、属性、功能及其结构特征的描述来定义构 件规约，利用接口及属性I’自J的映射关系来建立构件规约之I训的态射，进而刻画出 构件之间的关系。在此基础上，利用构件及其念射关系建立构件的范畴模型。 其次，利用范畴运算，给出了构件之I训的组合关系，利用范畴函子，构造出 系统的体系结构。针对两个相互独立的构件，采用范畴论中的和运算，组合成一‘ 个新的复合构件；针刈‘带交瓦的两个构件组合方式，利用推…运算构造m复合构 件。利用函予刻画了体系结构中表示层、业务逻辑层和数扔；访问层之间的逻辑关 系，最终构造…软件系统的体系结构。 ． 最后，通过勘察设计项日管理信息系统的JI：发实例研究，表明基于范畴论语 ● 义的构件建模和组合的开发方法是的可行的。采用三层体系结构为软件丌发框 架，通过在不同抽象层上对基本功能构件进行组合，给出了包括合同管理员、项 目管理员等五大角色功能模块的构件模型，最后利用构件范畴函子来映射体系结 构上不同抽象层间的关系，最终实王见了整个软件系统的构建。 关键词：形式化方法：构件纠i合；范畴模型；推出；函予 RESEARCHONCOMPONENTFORMALSEMANTICAND COMBINATION AB STRACT Withthe increaseofsoftware ambassadorscaleof rapid requirement，the software thefunctionofsoftware system，and is more becomingcomplex．Traditional ● softw／ire methodsaredifficulttomeettheneedsofusers development today． software becomesahot of Component—baseddevelbpmentmethodology topic software arebuilt reuseor engineering．Systemsbycomponentcombination，which shortenthesoftware and the of significantly developmentcycleimproveefficiency softwaretoensurethe ofsoftware CBSD，individual gene