Stochastic Modelling and Simulation of Dynamic Resource Allocation

  • Adwoa Donyina
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6372)


In contrast to computer systems, human behaviour is only predictable to a certain degree of probability. In semi-automated business processes human actors are guided by predetermined policies and regulations but retain the freedom to react to unforeseen events. For example, if an urgent prescription has to be dispensed by a pharmacist and the current pharmacist on duty is busy, it is likely that they would interrupt their current activity. The assignment policies in a model of this process should accurately define exception handling procedures in order to realistically simulate business processes. Other policies may require task assignment to the least-qualified person available to do the job if the people involved have different levels of access rights and qualifications.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Agrawal, A., et al.: Web Service Human Task (WS-HumanTask), version 1.0. Tech. rep., Adobe and BEA and Oracle and Active Endpoints and IBM and SAP (June 2007)Google Scholar
  2. 2.
    BOC-Group: ADONIS: Community Edition (2010),
  3. 3.
    Depke, R., Heckel, R., Küster, J.M.: Formal agent-oriented modeling with UML and graph transformation. In: Sci. Comput. Program, vol. 44, pp. 229–252. Elsevier North-Holland, Inc., Amsterdam (2002)Google Scholar
  4. 4.
    Donyina, A., Heckel, R.: Formal visual modeling of human agents in service oriented systems. In: Fourth South-East European Workshop on Formal Methods (SEEFM 2009), pp. 25–32. IEEE Computer Society, Los Alamitos (2009)CrossRefGoogle Scholar
  5. 5.
    Group, L.P.W.: Little-JIL 1.5 Language Report. Tech. rep., Laboratory for Advanced Software Engineering Research, University of Massachusetts, Amherst (1997-2006)Google Scholar
  6. 6.
    Heckel, R., Wagner, A.: Ensuring consistency of conditional graph grammars - a constructive approach. In: Proc. of SEGRAGRA 1995 “Graph Rewriting and Computation”. ENTCS, p. 2 (1995)Google Scholar
  7. 7.
    Muehlen, M.z.: Workflow-based Process Controlling: Foundation, Design and Application of Workflow-driven Process Information Systems. Logos Verlag, Berlin (2002)Google Scholar
  8. 8. Business process modeling notation (BPMN), version 1.2. Tech. rep., Object Managment Group(OMG) (January 2009)Google Scholar
  9. 9.
    Sandhu, R.S.: Role-based access control. In: Adv. in Computers, vol. 46, pp. 237–286. Academic Press, London (1998)Google Scholar
  10. 10.
    Torrini, P., Heckel, R., Ráth, I.: Stochastic simulation of graph transformation systems. In: Rosenblum, D.S., Taentzer, G. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 6013, pp. 154–157. Springer, Heidelberg (2010)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Adwoa Donyina
    • 1
  1. 1.Department of Computer ScienceUniversity of LeicesterLeicesterUnited Kingdom

Personalised recommendations