From UML to Petri Nets: The PCM-Based Methodology

In this paper, we present an evaluation methodology to validate the performance of a UML model, representing a software architecture. The proposed approach is based on open and well-known standards: UML for software modeling and the OMG Profile for Schedulability, Performance, and Time Specification...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 2011-01, Vol.37 (1), p.65-79
Main Authors: Distefano, S, Scarpa, M, Puliafito, A
Format: Article
Language:English
Subjects:
Annotations
Application software
Computer programs
Context modeling
Design engineering
Digital Object Identifier
Inertia
Mapping
Methodology
Performance analysis
performances evaluation
Petri nets
Phase change materials
Simulation
Software
Software architecture
Software engineering
Software performance
software performance engineering
Specifications
Stochastic processes
Studies
UML
Unified Modeling Language
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper, we present an evaluation methodology to validate the performance of a UML model, representing a software architecture. The proposed approach is based on open and well-known standards: UML for software modeling and the OMG Profile for Schedulability, Performance, and Time Specification for the performance annotations into UML models. Such specifications are collected in an intermediate model, called the Performance Context Model (PCM). The intermediate model is translated into a performance model which is subsequently evaluated. The paper is focused on the mapping from the PCM to the performance domain. More specifically, we adopt Petri nets as the performance domain, specifying a mapping process based on a compositional approach we have entirely implemented in the ArgoPerformance tool. All of the rules to derive a Petri net from a PCM and the performance measures assessable from the former are carefully detailed. To validate the proposed technique, we provide an in-depth analysis of a web application for music streaming.
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.2010.10