基于MSC的需求建模方法研究

摘要	第1-5页
ABSTRACT	第5-7页
目录	第7-9页
第1章 绪论	第9-17页
·研究背景	第9-10页
·国内外研究现状	第10-13页
·需求分析方法与工具	第10-11页
·形式化方法	第11-12页
·形式化建模	第12-13页
·研究内容	第13-15页
·系统需求的获取与描述	第13-14页
·系统需求的形式化	第14页
·形式化需求的合并	第14-15页
·系统需求的确认和验证	第15页
·文章结构	第15-17页
第二章 MSC的范畴论语义	第17-26页
·引言	第17-18页
·消息序列图(MSC)	第18-19页
·MSC的组成元素	第18页
·MSC的优点	第18-19页
·范畴简介	第19-20页
·MSC范畴结构构建	第20-24页
·MSC形式化语义的扩展	第24-25页
·总结	第25-26页
第三章 基于MSC的需求建模方法	第26-41页
·引言	第26-27页
·基于范畴结构MSC的需求形式化建模过程描述	第27-28页
·根据用户场景构造出范畴结构的MSC	第27-28页
·对范畴结构的MSC进行合并	第28页
·对合并所得模型进行确认和验证	第28页
·范畴结构MSC的合并	第28-40页
·相对独立的消息序列图	第29-30页
·带交互的消息序列图的并行组合	第30-40页
·需求模型的确认和验证	第40页
·本章小结	第40-41页
第四章 实例分析	第41-59页
·实例简介	第41页
·系统功能描述	第41-42页
·系统行为建模	第42-58页
·场景描述	第42-50页
·场景合并	第50-58页
·本章小结	第58-59页
第五章 总结	第59-61页
·主要工作	第59页
·未来工作	第59-61页
参考文献	第61-67页