Earticle

초록

영어

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

목차

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

키워드

저자

• Ming Gao [ School of Management Science & Engineering Dongbei University of Finance & Economics, Dalian, 116025, China ] Corresponding author
• Lei Yang [ School of Management Science & Engineering Dongbei University of Finance & Economics, Dalian, 116025, China ]
• Chunhua Zhang [ School of Management Science & Engineering Dongbei University of Finance & Economics, Dalian, 116025, China ]
• Wen Guan [ School of Management Science & Engineering Dongbei University of Finance & Economics, Dalian, 116025, China ]
• Ailing Li [ School of Management Science & Engineering Dongbei University of Finance & Economics, Dalian, 116025, China ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Hybrid Information Technology

• 간기

  격월간

• pISSN

  1738-9968

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605