Business Process Organizational Collaboration through π-calculus Technology

摘要

The rise of Web has spurred automation of cooperation among organizations. Inter-organizational process supports such co-operations in a way similar to traditional intra-organizational process that support business processes within organization. The distinct characteristics of inter-organizational process, such as heterogeneity and autonomy of the participating applications have lead to the development of several new agent-based technologies supporting inter-organizational cooperation. The organizations shall contribute with their core competence and thereby generate a “best-of-breed” construct in respect of required expertise. The propagated benefits are higher flexibility and quicker provision of customized services. Besides, be spoke customer solutions, dissolution of conventional organizational structures by concentrating on core competences, and the rapid development of technologies to collaborate and communicate between remote locations are further trends that render, this concept conceivable and promising.However, there are not many observations in practice. Many impediments and uncertainties must be overcome first. Knowledge, different organizational cultures,and the web service infrastructures must be managed. The collaboration and trust as glue between the organizations is indispensable. The goal of this thesis is to exploit the process calculus for model driven development of inter-organizational process. The power and limitation of these conventions and shared knowledge and enhance their effectiveness can be investigated by an appropriate calculus. I describe a development of the π-calculus that is particularly well suited to express such systems. IOπ-calculus andπRBT-calculus technologies are process calculus which extend the π-calculus. In this respect, several contributions are made. First, I am discussing few paradigmatic examples, its theory, by defining semantics and providing a correct encoding of IOπ-calculus technology. It is business process modeling protocol and distinctive features of the language. It supports for encoded into the π-calculus with conditional matching and works by replacing communication inside organization with communication on a new channel created. It replaces direct communication between two points with a system that broadcasts packets over ether. Second is πRBT-calculus technology to recover from error or cope with a change of plan, especially when rollback of a process is not possible. The organizational Web Services Business model of Compensation and error handling depends upon transaction completes successfully (commits), or it fails (aborts), or undoing (roll backing). IOπ-calculus and πRBT-calculus are process-oriented transactional business coordination model with hierarchical structure. It allows dependencies across hierarchies and supports various transactional behaviors of different services. It can ensure semantic atomicity for inter-organizational running web services composition. Finally, I proposed πBPEL model and implemented in formalization of framework, where declarative descriptions are added to a BPEL process in order to introduce πBPEL behaviors according to the environmental conditions while preserving the original collaboration logic. This thesis aims to make process calculus that is well suited express the conventions, uniform organizational resources and other shared idiosyncrasies that hold large organization communication and compensations methods together.

目录

英文文摘

DECLARATION

DEDICATION

ACKNOWLEDGEMENTS

CHAPTER 1 INTRODUCTION

1.1. Introduction and Motivation

1.2. Objective and Research Questions

1.3. Structure of Thesis

CHAPTER 2 INTER-ORGANIZATIONAL COLLABO RATION

2.1. Communication as organization Relationships

2.1.1. Communication Structure

2.2. Levels of Organizational Communication

2.3. Relationship Development

2.4. Theories Related to Inter-organizational Collaboration

2.5. Definitions of Different Types of Collaboration

2.6. Towards a Strategic inter-organizational collaboration

2.7. Continuum of Collaboration

2.8. Characteristics of a Strategic Partnership

2.9. π-calculus Outsourcing as the Context of Collaboration

2.10. Conclusion

CHAPTER 3 COMMUNICATION IN INTER- ORGANIZATIONAL COLLABORATION

3.1. The Significance of Communication in Inter- organizational Collaboration

3.2. Messages and Relationships in Inter-organizational Collaboration

3.2.1. Characteristics of Messages

3.2.2. Characteristics of Relationships

3.3. Model of Communication in Inter-organizational Collaboration

3.4. Conclusion

CHAPTER 4 π-CALCULUS

4.1. π-calculus its Actions

4.1.1. π-Calculus Semantics

4.1.2. The Asynchronous π-Calculus

4.1.3. Encoding Between Calculi

4.2. π -calculus and its extensions

4.2.1. Monadic π -calculus

4.2.2. Polyadic π-calculus

4.2.3. The Join Calculus

4.2.4. The Seal Calculus

4.3. Related Work

4.4. Conclusion

CHAPTER5ANATTEMPTATORGANIZATIONALANDINTER-ORGANIZATIONALπ-CALCULUS

5.1. Syntax of IOπ-Calculus

5.2. Scope and area

5.3. Type system

5.4. IOπ-calculus Technology

5.4.1. Types for processes in the organizational π-calculus Technology

5.4.2. π-calculus within organizations

5.4.3. Operational linkage for organizational π-calculus technology

5.4.4. Operational links

5.4.5. π-calculus process action through Internet Server Daemon

5.4.6. Service Activity through Internet Server Daemon

5.4.7. Asynchronous π-calculus as a target π-calculus

5.4.8. Compositional encoding of organizational π-term into the π-calculus

5.4.9. Encoding correctness for Organizational π-process

5.4.10. Encoding of the Internet Server Daemon

5.5. Syntax and Semantic of πRBT-calculus

5.5.1. Syntax

5.5.2. Semantics of the Language

5.5.3. Reduction Relation

5.5.4. Comparison with the π-calculus

5.5.5. The Encoding of the πRBT-calculus into the Asynchronous π-calculus

5.6. Conclusion

CHAPTER INTRODUCTION TO BPEL AND πBPEL PROCESS

6.1. INTRODUCTION TO BPEL

6.1.1. Correlation

6.1.2. Data handling

6.1.3. Long running business transactions

6.1.4. Long-running business process, compensation behavior

6.1.5. Formalization of the Web Services

6.1.6. Advantages of πBPEL model

6.1.7. Related work

6.2. Formal Model ofπBPEL Process within BPEL

6.2.1. πBPEL

6.2.2. Strategy for Representation of Activities

6.2.3. Communication Actions

6.3. Mapping Activity to Process

6.3.1. BPEL Process and πBPEL

6.3.2. Messaging Activities

6.3.3. Structured Activities

6.4. πBPEL basic interaction and its syntax

6.5. Definition of Behaviors and Procedure

6.6. Definition of Primitive Actions

6.6.1. Migrate

6.6.2. Clone

6.7. Preservation of the BPEL Semantics

6.8. Definition of Barbed Equivalence

6.9. Equivalence in Integration Behaviors

6.10. πBPEL Basic lemmas on Barbed Equivalence

6.11. πPBEL Mapping from Activity to Process with example

6.12. Formal Description

6.13. Scenario

6.13.1. Participants

6.13.2. Constraints

6.14. Conclusion

CHAPTER 7 CONCLUSION AND FUTUR WORK

7.1. Conclusion

7.2. Furture Work

REFERENCES

APPENDIX-A