Towards a Formal Model of Human Workflow
نویسنده
چکیده
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of BPEL is the lack of so-called “human workflow” support. The BPEL4People specification tries to amend this by adding human task support to BPEL. In this paper, we propose a formal model of BPEL4People using the CSP process algebra, and discuss some issues we found through analyzing the model. Although based on BPEL4People, this is a general work, and can also be viewed as a formal model of human workflow.
منابع مشابه
Towards A Unified Model for Workflow Processes
The emergence of workflowmanagement systems offers supports for composing, coordinating and monitoring the execution of human tasks and component services. One of the key challenges is to provide a formal semantics and the facility to model, analyse and reason about workflow processes at both orchestration and choreography levels. This paper describes the formalisation of van der Aalst et al.’s...
متن کاملTowards a Formal Foundation for Aggregating Scientific Workflows
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowing multiple workflow systems to be coupled in a meta-workflow system with multiple execution models. In this paper we propose an approach for a formal model to perform the task of reasoning of about the execution model...
متن کاملA Novel Assisted History Matching Workflow and its Application in a Full Field Reservoir Simulation Model
The significant increase in using reservoir simulation models poses significant challenges in the design and calibration of models. Moreover, conventional model calibration, history matching, is usually performed using a trial and error process of adjusting model parameters until a satisfactory match is obtained. In addition, history matching is an inverse problem, and hence it may have non-uni...
متن کاملFormal workflow design analytics using data flow modeling
a r t i c l e i n f o Keywords: Workflow design Data dependency Activity dependency Activity relations Business process automation Workflow design has become a critical function in enterprise information management. However, only scant research attention has been paid to formal workflow design methodologies. As a result, existing design methods in business process management remain a manual and...
متن کاملan Application of the Logit Model to the Analysis of Informal Sector Activities
This paper reports on the results of a research carried out during 1993-94 aiming at studying street sellers as an informal sector activity and a source of socio-economic problems in Shiraz, Iran. This study makes use of two Logit models in order to present a unified framework depiciting the factors that seem to affect the developmeht of informal sector activities. The first model looks at thos...
متن کامل