顺序图与状态图的一致性研究

第1章 绪论	第1-12页
·问题的提出	第7-8页
·相关工作研究现状	第8-9页
·UML 模型一致性概述	第9-10页
·本文的工作	第10-12页
第2章 相关技术	第12-24页
·UML 中的顺序图和状态图	第12-14页
·有限状态过程	第14-15页
·标签转换系统	第15-17页
·标签转换系统的定义	第15-16页
·标签转换系统分析器	第16-17页
·可扩展的标记语言	第17页
·XML 元数据交换	第17-19页
·可扩展的样式表转换语言	第19-24页
第3章 状态图与顺序图的一致性验证	第24-29页
·UML 模型的一致性	第24-26页
·一致性问题的维	第24-25页
·验证UML 模型语义一致性的一般方法	第25-26页
·UML 顺序图与状态图一致性验证的方法	第26-29页
第4章 基于状态机的一致性验证方法应用示例	第29-43页
·示例描述	第29页
·一致性检查的实现	第29-43页
·建立UML 顺序图和状态图模型	第29-32页
·XMI 文档的转换	第32-41页
·一致性检查的实现	第41-43页
第5章 结束语	第43-44页
参考文献	第44-47页
摘要	第47-50页
ABSTRACT	第50-53页
致谢	第53页