基于场景的构件组合方式的研究-计算机软件与理论专业论文.docxVIP

1删必基于场景的构件组合方式的研究 1删必 基于场景的构件组合方式的研究 摘要 随着软件系统复杂度的不断增加，对软件需求的抽象变得越来越困难。在一个 复杂的软件系统中，需要对用户场景进行充分描述，并对系统结构进行形式化建模。 在软件工程中，构件可以是被封装的对象类、类树、软件框架、体系结构、一些功 能模块、文档、分析件和设计模式等，其具有的独立性、封装性、适应性和可移植 性等特性，使它成为实现软件复用的核心技术。当现有的构件不能满足应用需求时， 可以按照一定的软件规范去构建新的能够满足应用需求的构件。为实现高内聚和低 耦合的目标，研究并提出一种构件模型的形式化建模方法，通过对已有构件模型的 组合来开发新的应用系统，从而达到通过构件重用来设计开发复杂系统的目的。其 中，构件组合其实就是通过构件之间彼此的交互与协作来实现系统特定的功能与非 功能需求的一个过程，同时也是一个重新构建系统构件以实现业务增值功能的一个 过程。 本文在对构件复用技术与范畴论技术进行深入研究的基础上，结合范畴论和构 件技术，并参考形式化建模方法，提出一种基于事件轨迹的构件组合方法。当前一 般采用图形加文本的方式或形式化描述语言来为构件建模，这些方法不能很好地描 述构件的动态行为和互操作等特性，而范畴论集中考察对象之间的关系，它可以确 定系统构件之间的交互本质，所以文中采用进程理论规范来抽象应用需求，采用范 畴论对构件及构件组合的过程进行抽象，把构件划分为构件实现和构件接口两个组 成部分：采用带事件轨迹的进程行为描述构件实现，以轨迹为对象，以进程之间的 继承关系为态射，构造出一个完备的进程行为范畴，表明通过范畴回拉可以捕获进 程行为的并行复合；采用进程行为的观察结构描述构件接口，以构件为对象，构件 之间的功能包含关系作为态射，从而构造出一个余完备的构件范畴，余完备构件范 畴形成图表的余极限揭示了带同步限制的构件行为组合。由此也证明了运用范畴论 技术来解决构件行为交互问题的可行性。 本文以某校简化的教师一学生课程选择系统(TSCSS)为例，运用范畴论思想对构 件及构件组合的实现进行了初步的探讨，并详细例证了其在处理构件的带同步限制 件及构件组合的实现进行了初步的探讨，并详细例证了其在处理构件的带同步限制 的并行复合问题时的优越性，同时也验证了本文所提方法对解决构件组合问题是可 行的和有效的。进而，把范畴论作为一种高效的数学工具引入到软件工程领域。 关键字：构件组合；构件交互；进程行为；范畴推出；余极限 ∥l ‘ Ⅱ 漱 RESEARCH RESEARCH OF COMPONENT COMPOSITIoN BASED oN SCENAR 10S AB STRACT As the increase of the soRware system complexity,the abstraction of software requirements is becoming more and more difficult．In a complex software system,we need to fully describe the scenarios．and formally model the system s缸1lcn】re．In software engineering，the components call be encapsulated objeet class，class trees，software frameworks，software architecture，some functional modules，documents，analysis pieces and design patterns，and SO on．The characteristics of the components enable itself觞the core technology to achieve software reusability,such as independency,encapsulation, reusability and commonality．When the existed components Can not satisfy the application requirements．the software could bum new components to satisfy the application according to certain specific requirements．In order to achieve the goal of high cohesion and low coupling，a formal