Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications

Abstract

The Object Management Group (OMG) is in the process of defining a UML Profile for Schedulability, Performance and Time that will enable the construction of models for making quantitative predictions regarding these characteristics. The paper proposes a graph-grammar based method for transforming automatically a UML model annotated with performance information into a Layered Queueing Network (LQN) performance model. The input to our transformation algorithm is an XML file that contains the UML model in XML format according to the standard XMI interface. The output is the corresponding LQN model description file, which can be read directly by existing LQN solvers. The LQN model structure is generated from the high-level software architecture and from deployment diagrams indicating the allocation of software components to hardware devices. The LQN model parameters are obtained from detailed models of key performance scenarios, represented as UML interaction or activity diagrams.

Software Model‐based Performance Analysis

“…The definition of UML performance annotations has enabled research to transform UML design specifications into many kinds of performance models, based for example on Queueing Networks (Cortellessa et al, 2000), Layered Queueing Networks (Petriu et al, 2002), (Petriu, 2005), (Woodside et al, 2005), Stochastic Petri nets (Bernardi et al, 2002), PEPA (Cavenet et al, 2004), and simulation (Balsamo et al, 2003).…”

“…Figure 4 gives the direct transformation algorithm from annotated UML to LQN, assuming that the scenario models are represented by sequence diagrams. A similar pattern-based approach is presented in (Petriu et al, 2002), where the scenarios are modeled as activity diagrams. A graph-grammar based algorithm was proposed to divide the activity diagram into activity subgraphs, which are further mapped to LQN phases or activities.…”

Completing UML Model of Component-Based System with Middleware for Performance Evaluation

“…Using transforming method, like proposed in [15], a LQN performance model can be derived from the UML models of Fig.7-Fig.9, which can be read directly by existing LQN solvers [16]. Then, performance estimates can be extracted for varying system parameters by using the LQN model.…”

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform

“…Work which is similar in spirit to our own approach is that of Petriu and Shen [16] where a layered queueing network model is automatically extracted from an input UML model with performance annotations in the format specified by a special-purpose UML profile [17]. We do not follow the same UML profile because it is not supported by our modelling tool.…”