Design and Implementation of a Webservice for the Evaluation of Queueing Network Models Based on Different Tools
The purpose of this thesis is to create a webservice to evaluate the performance of queuing network models described, or rather modeled, in the "PMIF" language (PMIF: Performance Model Interchange Format), an XML formalism to describe queueing networks, through the use of some commercial and public domain tools, which implement algorithms typical of queuing theory.
This thesis aims to demonstrate how the webservice can be used to facilitate the sharing of tools and algorithms for the analysis of models in queuing networks via the web (Remote Execution), without the need to have local (User PC) availability of the software tools executables.
(PDF ITA)
Last Update:
PLASTIC - IST STREP Project: Development process and tools: assessment and revision
This document contain a citation of my thesis Abstract
This document is the third deliverable produced within WP2 in the PLASTIC project and it presents an
evaluation of the PLASTIC development process and tools.
D2.3 follows D2.1, where language and analysis techniques were presented for the PLASTIC
development process, and D2.2 where the tools and analysis techniques for the PLASTIC development
process were delivered.
The PLASTIC development environment produced in WP2 comprises tools and techniques for:
(i) the development of resource-aware services by means of modeling tools (such as the UML service
model editor), analysis tools (such as COBRA and Mosquito), and model transformation tools that
enable the automatic generation of code (WSDL, Java, and Service Level Agreements) from the
PLASTIC UML model;
(ii) the development of Service Level Agreements defined in the SLAng language by means of a
graphical editor, the automatic generation of WS-Agreements to be used by the verification tools, and
the automatic generation of monitors for on-line verification of the SLAs.
In the remainder of this document, all the techniques and tools are reviewed and evaluated against
scenarios provided by the industrial partners of the PLASTIC project.
Last Update:
PMIF Editor V 1.0 aka QNS-WSC V 1.0 aka Weasel Client V 1.0
The Queueing Network Solver Web Service Client and PMIF Editor. Program to create visual PMIF 2.0 queueing network models. The program can solve the model using the Weasel webservice.
Weasel Webservice Latest Active Access Point
The following list contain the latest entry point for active weasel webservice:
Weasel Windows Webservice @UnivAQ.it [HTTP] [WSDL]
If you want to have the "Weasel" source code to install your own copy of the webservice, please contact Professor at University of L'AquilaSEALAB Quality Group at DISIM Department to establish the terms and conditions of use of the source code and to have the dowload link.
Last Update:
How to display a queueing network model using the PMIF 2.0 modeling language and the weasel webservice
We would like to talk about a new feature implemented in the Linux version of the web service "Weasel",
that Is the ability to generate an image depicting the "PMIF 2.0" queueing network model.
We have extended the class implementing the web service with a new method named "ToImage".
The new method have the following syntax:
model: is a string containing the model. At this time only PMIF 2.0 models are supported.
model_type: is a string containing the model type. At this stime can be only: "PMIF 2.0".
output_format: can be one of : "GIF", "PNG", "JPG", "SVG"
option: is a string used to pass extended options to the method. At this time, the only supported extended options are: "workload:true", "workload:false". If the workload parameter is set to "true" then you will see the network of queues with workload instead of arcs .
In the following images we show some output example. The first one show the PNG output without extended options set:
In the second one we set workload extended parameter to true to obtain the graph of workloads path:
Thats all! if you want to try it yourself follow this
link
and enjoy the magic.