Task Hibernation in a Formal Model of Agent-Oriented Computing Systems

  • Authors:
  • Maciej Smołka

  • Affiliations:
  • Institute of Computer Science, Jagiellonian University, Kraków, Poland

  • Venue:
  • ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

The paper contains recent enhancements of a formal model of agent-based computing systems. In such systems a computational task together with its data is enveloped in a shell to form a mobile agent. The shell carries the agent's logic, ie. abilities to make decisions about whether to migrate to a less loaded machine, split oneself or continue the task. The model describes an agent-based computational application as a controlled Markov chain. In this paper the operation of the agent hibernation, which is the last resort in the case of a server overload, is included in the model. This modification has an influence on the form of the state equations as well as the form of admissible control strategies.