| 一、前言 | 第1-9页 |
| 二、本文的主要工作和结构安排 | 第9-10页 |
| 三、Contract规格说明 | 第10-13页 |
| 四、UML | 第13-24页 |
| ·简介 | 第13-15页 |
| ·UML交互图 | 第15-24页 |
| ·Sequence diagram | 第15-19页 |
| ·Collaboration diagrama | 第19-24页 |
| 五、UML交互图到Contract规格说明的转换算法 | 第24-31页 |
| ·与转换相关的元模型元素 | 第24-29页 |
| ·转换算法 | 第29-31页 |
| 六、普遍的UML实现形式下的转换算法 | 第31-35页 |
| ·普遍的表示法以及实现形式 | 第31-34页 |
| ·Sequence图和Collaboration图中消息的标注 | 第31-32页 |
| ·Action和Operation | 第32-34页 |
| ·转换算法 | 第34-35页 |
| 七、从XML表示的UML交互图到Contract规格说明的转换算法 | 第35-43页 |
| ·XMI的运用 | 第35-37页 |
| ·XML | 第35-36页 |
| ·XMI | 第36-37页 |
| ·UML交互图中模型元素在XML文档中的表示 | 第37-40页 |
| ·转换算法 | 第40-43页 |
| 八、原型实现及实例 | 第43-58页 |
| ·实现算法 | 第43-47页 |
| ·数据结构 | 第47-49页 |
| ·试验结果 | 第49-58页 |
| 九、结论 | 第58-59页 |
| 参考文献 | 第59-61页 |
| 致谢 | 第61页 |
