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

Algorithm 5

Observer function of monitor Msg_Delivery_Latency.

Function description: calculate and gather data related with message transmission

Source code:

() fun obs (bindelem) =

()  let

()   fun obsBindElem (Recv_Proc'Deliver (1, ) = Real.fromInt (recvtime − (#AT msg))

()    BindElem_ = ~1.0

()  in

()    obsBindElem bindelem

()  end