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 (rollbacking).IOTt-calculus and TiRBT-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 rcBPEL model and implemented in formalization of framework, where declarative descriptions are added to a BPEL process in order to introduce JtBPEL 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.