Title :
QoS assessment via stochastic analysis
Author :
Bernardi, Simona ; Merseguer, José
Author_Institution :
Torino Univ.
Abstract :
Using a stochastic modeling approach based on the Unified Modeling Language and enriched with annotations that conform to the UML profile for schedulability performance, and time, the authors propose a method for assessing quality of service (QoS) in fault-tolerant (FT) distributed systems. From the UML system specification, they produce a generalized stochastic Petri net (GSPN) performance model for assessing an FT application´s QoS via stochastic analysis. The ArgoSPE tool provides support for the proposed technique, helping to automatically produce the GSPN model
Keywords :
Petri nets; Unified Modeling Language; fault tolerant computing; formal specification; quality of service; scheduling; stochastic processes; ArgoSPE tool; GSPN performance model; QoS assessment; UML system specification; Unified Modeling Language; fault-tolerant distributed system; quality of service; schedulability performance; stochastic Petri net; stochastic analysis; Automation; Internet; Middleware; Performance analysis; Quality of service; Software systems; Spine; Stochastic processes; Stochastic systems; Unified modeling language; Performance measures; QoS; State diagrams; UML; design tools and techniques; fault tolerance; quality of service; stochastic models;
Journal_Title :
Internet Computing, IEEE
DOI :
10.1109/MIC.2006.63
