Location of Repository

Stochastic Modelling & Analysis of Dynamic Human-Resource Allocation (StADy)

By Adwoa Dansoa Donyina


Business processes require involvement of technical components as well as humans to achieve their objectives. However, humans are only predictable to a degree of certainty because, while guided by policies and regulations, they retain the freedom to ignore established procedures or positively react to unforeseen events. Since we cannot change people, we have to be able to recognize their unpredictable behaviour by organising processes in such a way as to benefit from the flexibility of their actions and deal with the problems that arise from it. Business processes tend to be a structured sequence of events; however the assignment of humans to scheduled cases is unstructured. Hence, it is difficult to accurately model and simulate the flexibility of human resource allocation without considering the impact of unpredictable human behaviour.\ud While business processes often have a rigid structure, determining sequences of actions on each individual case, there is flexibility in the selection of cases to be processed as well as in the assignment of human resources. However, such a flexible use of resources poses its own challenges, making process execution difficult to model and predict.\ud In this thesis I propose a methodology and language to support the modelling and evaluation of business process executions with flexible assignment of human resources. The main idea is to model configurations of a business process as graphs and use graph transformation rules in a UML-like syntax to describe the process execution. This model allows to define conditions to temporarily permit actors to exceed their roles in exceptional (escalated) situations, without causing legal repercussions.\ud The evaluation of process execution models is supported by the use of stochastic graph transformations, which allow the qualitative analysis of different organizational policies through simulation.\ud The methodology is presented in four stages of (1) business modelling, (2) process execution design, (3) process encoding and (4) performance evaluation. A case study of a pharmacy process is used to evaluate the approach

Publisher: University of Leicester
Year: 2011
OAI identifier: oai:lra.le.ac.uk:2381/9915

Suggested articles



  1. (2007). A note on the exponential distribution. URL: http: // www.
  2. (1981). A priority queuing model of a hospital pharmacy unit. doi
  3. (2010). ADONIS:Community Edition. URL: http: // www. adonis-community. com/ ,
  4. (2000). Agent-oriented modeling with graph transformation. doi
  5. (1997). An Introduction to Distributed and Parallel Computing.
  6. (2011). Business dictionary. URL: http: // www. businessdictionary. com/ definition/ process-management. html ,
  7. (2011). Central limit theorem. URL: http: // mathworld. wolfram. com/ CentralLimitTheorem. html ,
  8. (2010). Corporation. General Algebraic Modeling System (GAMS). URL: http: // www. gams. com/ ,
  9. (2005). Determining the variation degree of feature models. doi
  10. (2010). Developing models for software design. Visual Studio,
  11. (2000). Discrete-Event System Simulation. Prentice Hall, third edition,
  12. (2006). Dispensing service research-pilot project.
  13. (2008). Domain-Specific Modeling. doi
  14. (2004). Dynamic rescheduling that simultaneously considers efficiency and stability. doi
  15. (2010). Dynamic resource scheduling in disruption-prone software development environments. doi
  16. (1996). DYNAMITE: dynamic task nets for software process management. doi
  17. (2005). Effective resource allocation for process simulation: A position paper.
  18. (1995). Ensuring consistency of conditional graph grammars - a constructive approach. doi
  19. (2005). Evaluating hospital pharmacy staffing and work scheduling using simulation. doi
  20. (2007). Extension for People
  21. (2002). Formal agentoriented modeling with UML and graph transformation. doi
  22. (2006). Fundamentals of Algebraic Graph Transformation (Monographs doi
  23. (2002). Fundamentals of Software Engineering. doi
  24. (2009). Gabriele Taentzer, and Gerd Wierse. Object flow definition for refined activity diagrams. doi
  25. (2011). Getting started with BPM part iv: The nature of work:
  26. (2010). Global constraints on feature models. doi
  27. (1995). Graph grammar engineering with PROGRES. doi
  28. (2005). Graphbased specification of access control policies. doi
  29. (2009). Group (OMG). BPMN elements and attributes.
  30. (2009). Group (OMG). Business process modeling notation (BPMN). doi
  31. (2011). Group (OMG). OMG’s MetaObject Facility (MOF). URL: http: // www. omg. org/ mof/ ,
  32. (2011). Group (OMG). UML resource page. doi
  33. (1994). Human-Computer Interaction. doi
  34. (1998). Image and Workflow Library FlowMark Design Guidelines. Number 2.3. IBM Redbooks,
  35. (1997). Is it an agent, or just a program?: A taxonomy for autonomous agents. doi
  36. (2001). Machines Corporation, and Microsoft. Web services description language (WSDL)
  37. (2011). Mathwave: Data analysis & simulation. URL: http: // www. mathwave. com/ ,
  38. (2008). Metamodelling for Software Engineering. doi
  39. (2000). Michelis. Improving flexibility of workflow management systems. doi
  40. (2003). Model-driven development: A metamodeling foundation. doi
  41. (2006). Model-Driven Software Development.
  42. (2010). Multi-objective scheduling of dynamic job shop using variable neighborhood search. Expert System Application, doi
  43. (2011). OASIS web services business process execution language (WSBPEL) doi
  44. (2004). On the Need for Megamodels. doi
  45. (2010). Optimum allocation of distributed service workflows with probabilistic real-time guarantees. Service Oriented Computing and Applications, doi
  46. (2001). Problem frames: analyzing and structuring software development problems. doi
  47. (1998). Role-based access control. doi
  48. (2005). Semi-markov PEPA: Modelling with generally distributed actions.
  49. (2007). service human task (WS-HumanTask).
  50. (2011). Shoppers Drug Mart Corporation. Shoppers Drug Mart. URL: http: // www. shoppersdrugmart. ca/ ,
  51. (2003). Software Engineering: Principles and Practice. doi
  52. (1999). Specification and implementation of exceptions in workflow management systems. doi
  53. (2007). Stability-oriented evaluation of rescheduling strategies, by using simulation. doi
  54. (2010). Stochastic modelling and simulation of mobile systems. doi
  55. (1996). Stochastic pi-calculus with general distributions. doi
  56. (1995). Stochastic pi-calculus. doi
  57. Stochastic simulation and monte carlo methods applied to the assessment of hydro-thermal generating system operation. doi
  58. (2010). Stochastic simulation of graph transformation systems. doi
  59. (2005). The aspects of business processes: An open and formalism independent ontology.
  60. (2006). The Cambridge Dictionary of Statistics. doi
  61. (2000). The NIST model for role-based access control: Towards a unified standard. In doi
  62. (1994). The PEPA workbench: A tool to support a process algebra-based approach to performance modelling. In doi
  63. (2006). The VIATRA -i model transformation framework pattern language specification.
  64. (2007). The VIATRA -I model transformation framework users’ guide. URL: http: // www. eclipse. org/ gmt/ VIATRA2/ doc/ viatratut. pdf ,
  65. (2009). Traceability of requirements and consistency verification of UML usecase, activity and class diagram: A formal approach. doi
  66. (2002). Using real time information for effective dynamic scheduling. doi
  67. (2010). VIsual Automated model TRAnsformations framework.
  68. (2003). VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and doi
  69. (1996). Workflow and data management in inconcert. doi
  70. (2002). Workflow Management: Models, Methods, and Systems. doi
  71. (2002). Workflow-based Process Controlling: Foundation,Design, and Application of Workflow-driven Process Information Systems. Logos Verlag
  72. (1997). Working Group. Little-JIL 1.5 Language Report.
  73. (2005). WS-BPEL extension for people BPEL4People.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.