Modeling Message Queueing Services with Reliability Guarantee in Cloud Computing Environment Using Colored Petri Nets

Algorithm 1

Function cancelTimer.

Function description: cancel the timer on the message and delete its real content in queue

Source code:

() fun cancelTimer (msgd: Msg, msgs: Msgs, indexxvis: IndexxVis, lindexxvis: LIndexxVis) =

()  let

()   val msgd0 = setOTimeZero (msgd)

()  in

()   if #1 indexxvis = #id msgd

()   then (listsub msgs [msgd0], lindexxvis)

()   else (msgs, indexxvis::lindexxvis)

()  end;