| ABSTRACT | 第4页 |
| TABLE OF CONTENTS | 第10-12页 |
| CHAPTER 1 INTRODUCTION | 第12-19页 |
| 1.1. Introduction and Motivation | 第12-16页 |
| 1.2. Objective and Research Questions | 第16-17页 |
| 1.3. Structure of Thesis | 第17-19页 |
| CHAPTER 2 INTER-ORGANIZATIONAL COLLABO RATION | 第19-32页 |
| 2.1. Communication as organization Relationships | 第19-20页 |
| 2.1.1. Communication Structure | 第19-20页 |
| 2.2. Levels of Organizational Communication | 第20-21页 |
| 2.3. Relationship Development | 第21-22页 |
| 2.4. Theories Related to Inter-organizational Collaboration | 第22-25页 |
| 2.5. Definitions of Different Types of Collaboration | 第25-26页 |
| 2.6. Towards a Strategic inter-organizational collaboration | 第26-27页 |
| 2.7. Continuum of Collaboration | 第27-28页 |
| 2.8. Characteristics of a Strategic Partnership | 第28-30页 |
| 2.9. π-calculus Outsourcing as the Context of Collaboration | 第30-31页 |
| 2.10. Conclusion | 第31-32页 |
| CHAPTER 3 COMMUNICATION IN INTER- ORGANIZATIONAL COLLABORATION | 第32-39页 |
| 3.1. The Significance of Communication in Inter- organizational Collaboration | 第32-33页 |
| 3.2. Messages and Relationships in Inter-organizational Collaboration | 第33-37页 |
| 3.2.1. Characteristics of Messages | 第34-35页 |
| 3.2.2. Characteristics of Relationships | 第35-37页 |
| 3.3. Model of Communication in Inter-organizational Collaboration | 第37-38页 |
| 3.4. Conclusion | 第38-39页 |
| CHAPTER 4 π-CALCULUS | 第39-57页 |
| 4.1. π-calculus its Actions | 第39-45页 |
| 4.1.1. π-Calculus Semantics | 第41页 |
| 4.1.2. The Asynchronous π-Calculus | 第41页 |
| 4.1.3. Encoding Between Calculi | 第41-45页 |
| 4.2. π -calculus and its extensions | 第45-52页 |
| 4.2.1. Monadic π -calculus | 第46-47页 |
| 4.2.2. Polyadic π-calculus | 第47-49页 |
| 4.2.3. The Join Calculus | 第49-51页 |
| 4.2.4. The Seal Calculus | 第51-52页 |
| 4.3. Related Work | 第52-56页 |
| 4.4. Conclusion | 第56-57页 |
| CHAPTER 5 AN ATTEMPT AT ORGANIZATIONAL AND INTER- ORGANIZATIONAL π-CALCULUS | 第57-83页 |
| 5.1. Syntax of IOπ-Calculus | 第57-59页 |
| 5.2. Scope and area | 第59-60页 |
| 5.3. Type system | 第60页 |
| 5.4. IOπ-calculus Technology | 第60-74页 |
| 5.4.1. Types for processes in the organizational π-calculus Technology | 第62页 |
| 5.4.2. π-calculus within organizations | 第62-64页 |
| 5.4.3. Operational linkage for organizational π-calculus technology | 第64页 |
| 5.4.4. Operational links | 第64-66页 |
| 5.4.5. π-calculus process action through Internet Server Daemon | 第66页 |
| 5.4.6. Service Activity through Internet Server Daemon | 第66-67页 |
| 5.4.7. Asynchronous π-calculus as a target π-calculus | 第67-68页 |
| 5.4.8. Compositional encoding of organizational π-term into the π-calculus | 第68-70页 |
| 5.4.9. Encoding correctness for Organizational π-process | 第70-73页 |
| 5.4.10. Encoding of the Internet Server Daemon | 第73-74页 |
| 5.5. Syntax and Semantic of π_(RBT)-calculus | 第74-81页 |
| 5.5.1. Syntax | 第74-76页 |
| 5.5.2. Semantics of the Language | 第76-78页 |
| 5.5.3. Reduction Relation | 第78-79页 |
| 5.5.4. Comparison with the π-calculus | 第79页 |
| 5.5.5. The Encoding of the π_(RBT)-calculus into the Asynchronous π-calculus | 第79-81页 |
| 5.6. Conclusion | 第81-83页 |
| CHAPTER 6 INTRODUCTION TO BPEL AND πBPEL PROCESS | 第83-118页 |
| 6.1. INTRODUCTION TO BPEL | 第83-88页 |
| 6.1.1. Correlation | 第84页 |
| 6.1.2. Data handling | 第84-85页 |
| 6.1.3. Long running business transactions | 第85页 |
| 6.1.4. Long-running business process, compensation behavior | 第85-86页 |
| 6.1.5. Formalization of the Web Services | 第86-87页 |
| 6.1.6. Advantages of πBPEL model | 第87-88页 |
| 6.1.7. Related work | 第88页 |
| 6.2. Formal Model of πBPEL Process within BPEL | 第88-93页 |
| 6.2.1. πBPEL | 第88-89页 |
| 6.2.2. Strategy for Representation of Activities | 第89-90页 |
| 6.2.3. Communication Actions | 第90-93页 |
| 6.3. Mapping Activity to Process | 第93-95页 |
| 6.3.1. BPEL Process and πBPEL | 第93-94页 |
| 6.3.2. Messaging Activities | 第94页 |
| 6.3.3. Structured Activities | 第94-95页 |
| 6.4. πBPEL basic interaction and its syntax | 第95页 |
| 6.5. Definition of Behaviors and Procedure | 第95-96页 |
| 6.6. Definition of Primitive Actions | 第96-97页 |
| 6.6.1. Migrate | 第96页 |
| 6.6.2. Clone | 第96-97页 |
| 6.7. Preservation of the BPEL Semantics | 第97页 |
| 6.8. Definition of Barbed Equivalence | 第97-98页 |
| 6.9. Equivalence in Integration Behaviors | 第98-101页 |
| 6.10. πBPEL Basic lemmas on Barbed Equivalence | 第101-102页 |
| 6.11. πPBEL Mapping from Activity to Process with example | 第102页 |
| 6.12. Formal Description | 第102-111页 |
| 6.13. Scenario | 第111-116页 |
| 6.13.1. Participants | 第111页 |
| 6.13.2. Constraints | 第111-116页 |
| 6.14. Conclusion | 第116-118页 |
| CHAPTER 7 CONCLUSION AND FUTUR WORK | 第118-122页 |
| 7.1. Conclusion | 第118-121页 |
| 7.2. Furture Work | 第121-122页 |
| REFERENCES | 第122-133页 |
| APPENDIX-A | 第133页 |
