基于csp形式语义的构件组装研究-计算机应用技术专业论文.docxVIP

信息丁程人学硕J。学位论文摘 信息丁程人学硕J。学位论文 摘 要 随着软件系统规模的不断扩大，软件开发中存在着很多重复性环节，直接影响了软件 的开发效率与开发质量。CBSE／CBD是一种软件开发新方式，它是在一定构件模型的支持 下，复用构件库中的一个或多个软件构件，通过组合手段高效率、高质量地构造应用软件 系统的过程，有效地提高了软件开发的效率和质量。 本文以构件组装机制与方法为核心，开展了基于CSP的构件组装研究，探讨了构件组 装行为及其形式语义问题。首先引入原子构件与复合构件的概念，给出了构件模型的规约 化定义；借鉴程序设计基本结构与软件体系结构的思想，对顺序、选择、循环和接口绑定 四种构件组装机制进行了分析与研究；根据功能选择的技术思路，提出面向组装研究的一 个构件组装三级模型，并进行了图形与文本规约；最后，运用CSP中踪迹树的方法对复合 构件端口和行为的规约推导算法进行了形式化描述，并分析了构件组装行为，完成了相应 的规约推导。 基于CSP的构件组装研究，对构件组装行为和构件自动组装的研究具有一定的理论参 考价值。 关键字：软件复用；构件组装；形式语义；CSP；踪迹树；形式化分析 第v页 信息T程人学硕1学位论文ABSTRACT 信息T程人学硕1学位论文 ABSTRACT As the size and complexity of software increase，there are many repeated processes that affect effbciency and quality of software development．CBSE／CBD，a process of creating efficient application system by reuse of one or more software components in reusable software component library,is a new style of software development that improves software development efficiency and quality． This paper proposes a research on component composition and discusses behavior and specification of component centered on the mechanism and methods of component composition by formal methods．Firstly,it imports the concepts of atom component and compound component and presents a specification definition of component model．Based on studies on basic structure of software programming design and software architecture，four different types of component composition mechanisms．i．e．sequential，selected，circulative and interface binding， are analyzed and studied．Then a three—level component model is set forth and specified by graph and text specification conforming to a technical way of function selection．Finally,a formal description of a specification deduction algorithm on compound component interface and behavior is set forth，behaviors of component composition are analyzed and corresponding deductions of specification are completed． Based on CSP formal semantic，the research on component composition has meaningful value of theoretical reference to research on beh