硕士学位论文框架结构实例.doc

资料来源: /, 博士论文、硕士论文、本科论文，开题报告，毕业论文海量资料尽在 博硕论文辅导网。 文章框架已经出来，第二章的内容已经完成，本文主要难点就是基于第二章提出的MSC范畴结构来写第三章 ，其他的就是除了核心内容的一些文字描述 （提供相关的参考资料）（下面有大致的框架可以先看一下） 文章设计思路：（基于范畴结构MSC的需求行为建模（文章题目也可以为这个）） 给出MSC的范畴结构?在此结构基础上通过范畴的一些运算完成行为建模（主要的就是用范畴的运算 如：和、积、推出、回拉、伴随等等等等 完成行为建模中的 msc片段合并、去除重复场景、找出隐含场景等 最后出来一个合并后的模型）?用一个实例片段进行验证此方法的有效性 硕 士 学 位 论 文 题 目：一种形式化需求引出及其行为建模的方法（或者 基于范畴结构MSC的需求行为建模） 学 科 专 业： 计算机软件与理论 年 级: 2008级 学 号: （只是一个大体框架，里面可以加内容 修改内容，只要文章思路和这个一样就好） 摘 要 （摘要） ABSTRACT 1 绪论 1.1研究背景 (主要是需求工程及形式化建模的发展 以下只是参考) 1.2国内外研究现状 （需求建模 及形式化方法 还有范畴的研究现状） 1.3研究内容 需求工程中有效地捕获用户的真正需求已经成为软件工程学科研究的重点，而场景被认为是引出、文档化和验证需求的较为有效的工具，其支持非形式化、叙述性和具体化的描述，关注用户与软件环境交互的动态特性，因而参与需求分析过程的实践者和用户都能很容易地使用场景来表达其对需求的理解，以达到最佳的交互状态，从而更好地获取用户需求。 MSC（Message Sequence Charts）是一种集图形和文本于一体的系统交互行为描述语言，核心语言是BMSC（Basic Message Sequence Charts）。MSC是一种强调消息的时序交互图，主要用于描述对象之间随着时间在某些行为方面的协作关系，捕获 用例的行为，同时显示在特定用例的时间 框架中的对象以及这些对象之间传递的消息。MSC最初只是作为SDL（Specification and Description Language）语言的补充[15]，但随着MSC的发展，及其应用领域越来越广，新的概念和内容被越来越多的使用者加入其中。 范畴是试图抓住一类数学对象的本质的数学结构，自范畴提出以来，其理论到现在已经有了很大的发展，它不仅可以用于数学基础或者用作其他数学分支，而且在计算机科学研究中有着广阔的前景。范畴主要强调各对象间保持对象结构不变的态射，而不像传统的数学方法那样只集中注意力于数学对象本身，范畴提供一个更高的抽象形式，是一个方便的概念语言，被越来越多的应用于计算机科学的研究中。 本文将提出一种形式化需求引出及其建模的方法。采用范畴论的理论方法进行行为建模，用消息序列图（Message Sequence Chart，简称MSC）来描述场景规约。 形式化需求引出及其建模的主要思路：我们首先基于范畴论的方法对MSC进行形式化描述，然后根据我们所得的抽象结构进行多场景合并，得出需求的一个初始化模型，再将得到的模型进行隐含场景检测，去除所有不期望的场景，最后进行系统行为建模，得到最终的一个行为模型。 1.4文章结构 2． MSC范畴结构构造 （其中2.3 MSC范畴结构构建是原创内容（自己小论文的内容），前后加一些东西，文章衔接好就行） 2.1 MSC简介 MSC（Message Sequence Charts）是一种集图形和文本于一体的系统交互行为描述语言，核心语言是BMSC（Basic Message Sequence Charts）。MSC是一种强调消息的时序交互图，主要用于描述对象之间随着时间在某些行为方面的协作关系，捕获 用例的行为，同时显示在特定用例的时间 框架中的对象以及这些对象之间传递的消息。 MSC最初只是作为SDL（Specification and Description Language）语言的补充，但随着MSC的发展，及其应用领域越来越广，新的概念和内容被越来越多的使用者加入其中。 范畴是试图抓住一类数学对象的本质的数学结构，自范畴提出以来，其理论到现在已经有了很大的发展，它不仅可以用于数学基础或者用作其他数学分支，而且在计算机科学研究中有着广阔的前景。范畴主要强调各对象间保持对象结构不变的态射，而不像传统的数学方法那样只集中注意力于数学对象本身，范畴提供一个更高的抽象形式，是一个方便的概念语言，被越来越多的应用于计算机科学的研究中。 本文试图利用范畴论的理论方法，给出一种MSC的形式化语义