Zallocco.Net Webutation

 

Select Language:

Design and Implementation of a Webservice for the Evaluation of Queueing Network Models Based on Different Tools

Copertina Tesi Samuel Zallocco 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)


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.


PMIF Editor V 1.0 aka QNS-WSC V 1.0 aka Weasel Client V 1.0

PMIF Editor 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 Linux Webservice @UnivAQ.it [HTTP] [WSDL]
  • 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'Aquila SEALAB Quality Group at DISIM Department to establish the terms and conditions of use of the source code and to have the dowload link.


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:

  • ToImage_(model,model_type,output_format,option=NULL)
where:
  • 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:
ATM Orig PMIF 2.0 Example
In the second one we set workload extended parameter to true to obtain the graph of workloads path:

ATM Orig PMIF 2.0 Example Workloads
Thats all! if you want to try it yourself follow this link and enjoy the magic.