The PLASTIC UML to Performance Model Transformation Tool

-MOSQUITO-(Tutorial)

(MOdel driven conStruction of QUeuIng neTwOrks)

UDA

http://www.ist-plastic.org - 2

PLASTIC Development Environment

http://www.ist-plastic.org - 3

Contents

This tutorial shows how it is possible to use the “PLASTIC UML to Performance Model Transformation Tool” (i.e. MOSQUITO) to generate Queuing Networks (QNs) and Execution Graphs (EGs) of the PLASTIC services modeled by means of the PLASTIC service editor (i.e. MagicDraw)

http://www.ist-plastic.org - 4

MagicDraw ®(Service Model Editor) DSL Engine ®

Customization

Custom Diagrams

Customized GUI

UML PLASTIC Profile

Eclipse UML Export

Non Functional Analysis Tools

UML to Performance Model Transformation Tool

Eclipse UML Import

Model2Code Transformation Tools

UML2WSDL

Eclipse UML Import

UML2HUTN

Overview of the UML to QN Transformation Tool (1/2)

http://www.ist-plastic.org - 5

Overview of the UML to QN Transformation Tool (2/2)

http://www.ist-plastic.org - 6

Roadmap

• Install MagicDraw 14.0;• Install Eclipse platform with MOSQUITO client

plugin• Export the UML model of the PLASTIC service from

MagicDraw• Import the exported model in an Eclipse Project• Invoke the UML to Performance Model

Transformation Tool (Mosquito Web Service) from Eclipse.

• See the resulting models in the Eclipse Editor.

http://www.ist-plastic.org - 7

Install MagicDraw 14.0

• Please refer to Service Model Editor User Guide.

http://www-c.inria.fr/plastic/deliverables/m24/wp2-tools-training-material/service_model_editor_user_guide_2008-02-08.pdf/download

http://www.ist-plastic.org - 8

Install the Eclipse platform with MOSQUITO client plugin (1/2)

• Download and uncompress the MOSQUITO client within the eclipse/plugins directory.

• Shutdown and restart the eclipse platform with the –clean option (for windows users >eclipse.exe –clean from the DOS prompt)

http://www.ist-plastic.org - 9

Install the Eclipse platform with MOSQUITO client plugin (2/2)

http://www.ist-plastic.org - 10

Export the eHealth Service Modelin Eclipse .uml2 file format (1/2)

http://www.ist-plastic.org - 11

Export the eHealth Service Modelin Eclipse .uml2 file format (2/2)

http://www.ist-plastic.org - 12

Import the exported model in an Eclipse Project

http://www.ist-plastic.org - 13

Import the exported model in an Eclipse Project

http://www.ist-plastic.org - 14

Import the exported model in an Eclipse Project

http://www.ist-plastic.org - 15

Invoke the UML to Queuing Network Transformation Tool

http://www.ist-plastic.org - 16

Invoke the UML to Queuing Network Transformation Tool - SAPONE

The resulting models are sent

back by the server

to the Eclipse (client) platform