Message redundancy system

Reference

L. Berardinelli, S.Bernardi, V. Cortellessa, J. Merseguer, UML profiles for non-functional properties at work: analyzing reliability, availability and performance, Second International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML), held within MODELS09, 4th October 2009, Denver (Colorado, USA).

Scaling parameters

Number of clients and network maximum capacity (initial marking of places upPDA,ClientThinking,MaxCap).

• No. of clients: 1, 10, 100
• Network capacity: 10, 100, 1000

Structural properties

• not all the places are covered by some P-invariant
• all the transitions are covered by some T-invariant
• deadlock-free
• not live
• the initial marking is not a home state