Performance evaluation of UML design with Stochastic well-formed nets

被引：30
|
作者：
Bernardi, Simona [1 ]
Merseguer, Jose
机构：
[1] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy
[2] Univ Zaragoza, Dept Informat & Ingn Sistemas, Zaragoza 50018, Spain
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 2007年 / 80卷 / 11期
关键词：
unified modeling language; UML profile for schedulability performance and time; Stochastic Well-formed Net; Software performance; engineering; Model driven architecture;
D O I：
10.1016/j.jss.2007.02.029
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The paper presents a method to compute performance metrics (response time, sojourn time, throughput) on Unified Modeling Language design. The method starts with UML design annotated according to the UML Profile for Schedulability, Performance and Time. The UML design is transformed into a performance model where to compute the referred metrics. Being the performance model a Stochastic Well-formed Net, the method is enabled to analyze systems where the object identities are relevant as well as those where they are not. A complete case study reveals how to apply the method and its usefulness. (C) 2007 Elsevier Inc. All rights reserved.
引用
收藏
页码：1843 / 1865
页数：23
相关论文
共 50 条
  • [1] Expressiveness and efficient analysis of stochastic well-formed nets
    Franceschinis, G
    APPLICATIONS AND THEORY OF PETRI NETS 2005, PROCEEDINGS, 2005, 3536 : 1 - +
  • [2] Parametric stochastic well-formed nets and compositional modelling
    Ballarini, P
    Donatelli, S
    Franceschinis, G
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 43 - 62
  • [3] STOCHASTIC WELL-FORMED COLORED NETS AND SYMMETRICAL MODELING APPLICATIONS
    CHIOLA, G
    DUTHEILLET, C
    FRANCESCHINIS, G
    HADDAD, S
    IEEE TRANSACTIONS ON COMPUTERS, 1993, 42 (11) : 1343 - 1360
  • [4] COMPUTING BOUNDS FOR THE PERFORMANCE INDEXES OF QUASI-LUMPABLE STOCHASTIC WELL-FORMED NETS
    FRANCESCHINIS, G
    MUNTZ, RR
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (07) : 516 - 525
  • [5] EFFICIENT SIMULATION OF STOCHASTIC WELL-FORMED NETS THROUGH SYMMETRY EXPLOITATION
    Beccuti, Marco
    Franceschinis, Giuliana
    2012 WINTER SIMULATION CONFERENCE (WSC), 2012,
  • [6] Performance and dependability analysis of fault-tolerant memory mechanisms using Stochastic Well-Formed Nets
    Ballarini, P
    Capra, L
    Franceschinis, G
    COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 553 - 563
  • [7] Call Admission Control Performance Analysis in Mobile Networks Using Stochastic Well-Formed Petri Nets
    Mokdad, Lynda
    Sene, Mbaye
    Boukerche, Azzedine
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2011, 22 (08) : 1332 - 1341
  • [8] Automatic symmetry detection in well-formed nets
    Thierry-Mieg, Y
    Dutheillet, C
    Mounier, I
    APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 82 - 101
  • [9] Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets
    Bellettini, Carlo
    Capra, Lorenzo
    Monga, Mattia
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (04) : 59 - 77
  • [10] CONSTRUCTION OF WELL-FORMED PETRI NETS FROM STANDARD SUBNETS
    DRUZHININ, VA
    YUDITSKII, SA
    AUTOMATION AND REMOTE CONTROL, 1992, 53 (12) : 1922 - 1927
12345