Business Process Organizational Collaboration through π-calculus Technology.pdf

1、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 proc

2、esses 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 tec

3、hnologies 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 be

4、nefits 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

5、 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 imped

6、iments 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 indispen

7、sable. 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 ef

8、fectiveness 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 calc

9、ulus 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

10、 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 organizati

11、on 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 w

12、ith 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

13、 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

14、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 formal

15、ization 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

16、 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 tog