원문정보
초록
영어
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
목차
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