| Table of Contents | 第1-9页 |
| Abstract | 第9-12页 |
| Acknowledgements | 第12-19页 |
| 1 Introduction | 第19-30页 |
| ·UML Summary | 第19-23页 |
| ·Primary artifacts of the UML | 第19-20页 |
| ·The development of UML | 第20-23页 |
| ·Research Areas Related to UML | 第23-24页 |
| ·Motivation and Related Work | 第24-27页 |
| ·Contribution | 第27-30页 |
| 2 An Overview of Denotational Semantics | 第30-42页 |
| ·The Basic Concepts | 第31-34页 |
| ·Alphabets | 第31-32页 |
| ·Signatures | 第32-33页 |
| ·Laws | 第33-34页 |
| ·Relations | 第34-40页 |
| ·Composition | 第35-36页 |
| ·Assignment | 第36-38页 |
| ·Non-determinism | 第38页 |
| ·Variables declarations and undeclarations | 第38-40页 |
| ·Comparison of varieties of presentation | 第40-42页 |
| 3 Predicative Semantics of UML Sequence Diagrams | 第42-71页 |
| ·Design Class Diagram and Sequence Diagram | 第43-48页 |
| ·Well-formedness Rules of Design Class Diagram and Sequence Diagram | 第48-51页 |
| ·Consistency between Design Class Diagram and Sequence Diagram | 第51-52页 |
| ·Semantics of Design Class Diagram | 第52-60页 |
| ·Object diagram | 第52-53页 |
| ·Specification of methods | 第53-59页 |
| ·Semantics of design class diagram | 第59-60页 |
| ·Semantics of Sequence Diagram | 第60-65页 |
| ·Chain | 第60-61页 |
| ·Step | 第61-64页 |
| ·Semantics of sequence diagram | 第64-65页 |
| ·Unifying Interaction Model with Conceptual Model and Use-Case Model | 第65-66页 |
| ·Case Study: Point-of-Sale Terminal | 第66-68页 |
| ·Conclusion and Discussion | 第68-71页 |
| 4 A Predicative Semantic Model for Integrating UML Models | 第71-115页 |
| ·Introduction | 第71-74页 |
| ·An Overview of Syntax of rCOS | 第74-78页 |
| ·Object-oriented systems | 第74-75页 |
| ·Expressions | 第75-76页 |
| ·Class declarations | 第76-77页 |
| ·Commands | 第77-78页 |
| ·Semantics of rCOS | 第78-92页 |
| ·Program are designs | 第78-80页 |
| ·Values, objects, variables and states | 第80-84页 |
| ·Evaluation of expressions | 第84-86页 |
| ·The semantics of commands | 第86-88页 |
| ·The semantics of class declarations | 第88-90页 |
| ·The semantics of a program | 第90-92页 |
| ·Syntax of Class Diagrams and Sequence Diagrams | 第92-109页 |
| ·Syntax of class diagrams | 第92-94页 |
| ·Syntax of sequence diagrams | 第94-97页 |
| ·Well-formedness of sequence diagrams | 第97-100页 |
| ·Requirement models in UML | 第100-102页 |
| ·Design models in UML | 第102-103页 |
| ·rCOS Semantics for UML Models | 第103-109页 |
| ·Model Refinement | 第109-112页 |
| ·Conclusions | 第112-114页 |
| ·Appendix A | 第114-115页 |
| 5 Integration and Consistency of UML Models | 第115-140页 |
| ·Introduction | 第115-117页 |
| ·Formalization of UML Models | 第117-134页 |
| ·Class diagram, sequence diagrams and state diagrams | 第117-125页 |
| ·Requirement models in UML | 第125-127页 |
| ·Design models in UML | 第127-134页 |
| ·Model Refinement | 第134-138页 |
| ·Conclusions | 第138-140页 |
| 6 Conclusion and Future Work | 第140-142页 |
| Bibliography | 第142-149页 |
| 附录 | 第149-150页 |
| 原创性声明 | 第150页 |
| 使用授权的声明 | 第150页 |
