Towards Unified Business Process Modeling and Verification for Role-based Resource-oriented Service Composition

다국어 초록 (Multilingual Abstract)

With the prevalence of ubiquitous computing, big data, and Internet of things in cloud computing environment, it’s important to consider both of collaboration, heterogeneity, isolation of multi-tenant applications and information security and privacy in service composition. Current methods need to be readdressed to cope with cross-organizational, multi-roles participated and knowledge-intensive service composition in an integrated way. Based on the modeling and verification theories of hierarchical colored petri-net, a resource-oriented collaborative workflow model, its resource control model and the joint modeling and verification method are proposed which present a unified solution bridging the gap between traditional structure-oriented workflow execution model and resource-oriented workflow domain model taking into account the underlying roles, tasks, resources and their association and coordination in design-time and runtime as well. In our approach, a business process is divided into three layers: the backbone top-level process, the task fulfillment sub-process and the task execution sub-process in order to reduce the complexity of model verification. In addition this paper gives in-depth discussions on the fine control of implicit parallel and multi-threaded process executions. Finally, the case studies show that the proposed methods are not only applicable to modeling and verification of traditional task-oriented workflows, but also suited for knowledge or data-intensive workflows which involve

목차 (Table of Contents)

• Abstract
• 1. Introduction
• 2. Related Work
• 3. Background
• 3.1. Petri-net
• 3.2. Colored Petri-net and HCPN
• 4. Formalized Model Definition
• 4.1. Resource-Oriented Collaborative Workflow Model (ROCWF)
• 4.2. Task Resource Multi-role Collaboration Model (TRRC)
• 4.3. Hierarchical ROCWF Model
• 5. Model Verification and Case Studies
• 5.1. Verification for Backbone Top-Level Process
• 5.2. Verification for Task Fulfillment Sub-Process
• 5.3. Verification for Task Execution Control Sub-Process
• 6. Conclusion and Future Work
• Acknowledgements
• References