Introduction
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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)
BOC-Group: ADONIS: Community Edition (2010), http://www.adonis-community.com/
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)
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)
Group, L.P.W.: Little-JIL 1.5 Language Report. Tech. rep., Laboratory for Advanced Software Engineering Research, University of Massachusetts, Amherst (1997-2006)
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)
Muehlen, M.z.: Workflow-based Process Controlling: Foundation, Design and Application of Workflow-driven Process Information Systems. Logos Verlag, Berlin (2002)
omg.org: Business process modeling notation (BPMN), version 1.2. Tech. rep., Object Managment Group(OMG) (January 2009)
Sandhu, R.S.: Role-based access control. In: Adv. in Computers, vol. 46, pp. 237–286. Academic Press, London (1998)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Donyina, A. (2010). Stochastic Modelling and Simulation of Dynamic Resource Allocation. In: Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds) Graph Transformations. ICGT 2010. Lecture Notes in Computer Science, vol 6372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15928-2_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-15928-2_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15927-5
Online ISBN: 978-3-642-15928-2
eBook Packages: Computer ScienceComputer Science (R0)