Title: Agilla 2.0


With the introduction of TinyOS 2.x, that is not compatible with the older TinyOS versions (TinyOS 1.x), it has been lost the possibility to exploit some of the old reference applications. Agilla is one of these applications, that allows creating, migrating and destroying software agents on WSN nodes at run-time, without service interruption. To continue to work with Agilla we needed to perform a porting of the original Agilla to TinyOS 2.x. Such a porting, called Agilla2.0, has been also released to the TinyOS community and it allows to exploit increased reliability of TinyOS2.x and new sensor nodetechnologies (i.e. those not supported by TinyOS1.x), in particular the Memsic IRIS node. Further, we made it resource-aware, by introducing a new battery instruction, and we introduced adaptation capabilities by improving and extending the default Injector.

Responsible: Stefano Pace (




Title: a framework for Adaptive Systems


An adaptive system is a set of interacting or inderdependent entities, real or abstract, forming an integrated whole that together are able to respond to environmental changes or changes in the interacting parts. Examples of adaprive systems include: natural ecosystems, individual organisms, human communities, human oganizations, and human families.

In the software domain, adaptive systems are able to modify their behaviour at run-time to respond to internal and external changes and to manage the growing need to maintain highly complex software systems. Architectures, middleware or languages must support dynamic behaviour changing and such feature should be available to programmers in a usable and effective way. The adaptation code often cross-cuts the system functionalities and careful engineering is required to manage the separation of concerns.

Responsible: Francesco Gallo (




Title: Agilla Modeling Framework


The Agilla Modeling Framework (AMF) is an executable fUML model library. It is a valid UML Model (fUML is a strict subset of UML without any heavyweight extension) and, at the same time, our executable artifact (i.e., the code). We designed (and developed it) using MagicDraw? as our modeling environment and its plug in Cameo Simulation Toolkit (CST) as our simulation engine since CST integrates the reference implementation of the fUML Virtual Machine by the OMG

AMF capabilities are then modeled/implemented on top of the fUML simulation one. The behavioral specification of all the algorithms included in the AMF model library are fUML-compliant, executable UML Activities. The figure below show the lists of fUML Activities that have been modeled to support the parsing and analysis capabilities of AMF.

The AMF capabilities have been designed on a per-instruction basis: distinct fUML Activities have been modeled and executed by the fUML VM i) to parse, ii) to simulate the semantics of Agilla instructions and iii) to analyze the Agent behaviors (e.g., collecting their execution times and calculate performance indices like the Agent response time).

Responsible: Luca Berardinelli (




Title: tool that transform Ĉmila specification in Queueing networks (PMIF)


TwoEagles is a software tool, which extends the architecture-centric tool TwoTowers – based on the stochastic process algebraic description language ÆMILIA – and integrates it into Eclipse. The extension consists of a Java-coded plugin that we have called AEmilia_to_QN. This plugin transforms ÆMILIA descriptions into queueing network models expressed in the XML schema PMIF, which can then be rendered via the QN_Editor tool or analyzed by multiple queueing network solvers that can be invoked through the Weasel web service.

eclipse plugins, readme document and study cases can be found here

Responsible: Mirko Flamminj (




Title: fUml and Profiles for Performance Analysis


Considering non-functional properties of a software system early in the development process is crucial for guaranteeing that non-functional requirements will be fulfilled by the system under development.

We developed a model-based analysis framework based on fUML for enabling the implementation of model-based analysis tools. This framework enables to carry out model-based analysis of non-functional properties of a software system based on runtime information in the form of traces obtained by executing UML models using the fUML virtual machine. Therefore, the framework integrates UML profile applications with execution traces to enable the consideration of additional information captured in profile applications in the model-based analysis as required for instance in performance analysis.

This work is done in collaboration with


Responsible: Luca Berardinelli (



Title: MOdel driven conStruction of QUeuIng neTwOrks


MOSQUITO is an in-house designed web service that allows users to send an annotated UML Software Model to the server and to receive back, depending on the invoked transformation process, Queuing Networks and/or Execution Graphs.

User guide is in progress

Responsible: Vittorio Cortellessa (



Title: Performance Antipatterns aNd FeeDback in Software Architectures


The problem of interpreting the results of performance analysis is quite critical in the software performance domain: mean values, variances, and probability distributions are hard to interpret for providing feedback to software architects. Support to the interpretation of such results that helps to fill the gap between numbers and architectural alternatives is still lacking.

PANDA is a framework for addressing the results interpretation and the feedback generation problems by means of performance antipatterns, that are recurring solutions to common mistakes (i.e. bad practices) in the software development. Such antipatterns can play a key role in the software performance domain, since they can be used in the search of performance problems as well as in the formulation of their solutions in terms of architectural alternatives.

Validation: UML, Palladio, AEmilia

Installation guide by Catia Trubiani

Responsible: Catia Trubiani (




Title: Web sErvice for Analyzing queueing networkS with multiplE soLvers


WEASEL is an in-house designed and developed web service that allows the user to send a QN model to the server and to receive back the model solution as values of performance indices.

Website (tools deployed on a windows machine):

Website (tools deployed on a linux machine):

Installation guide by Samuel Zallocco (

Responsible: Mirko Flamminj (

< Back  print


Valid XHTML | Valid CSS | Design downloaded from free website templates. Powered by beContent