UML ) QN( Transforming UML Specification of Software

  UML   ) QN(     Transforming UML Specification of Software

UML ) QN( Transforming UML Specification of Software Architectures into Queuing Networks (QN) Performance Model and Feedback .Provision from Performance Evaluation Results : ()ATM

: ()Measurement-based . ()Model-Based . : . . : ( %100 / ). .

(:]Smith90[)SPE SPE : SPE : : ( )PA ( )PN (UML )MSC ..... : LQN EQN SPN SPA ....

CASE ) Queuing Networks Model (QNM : : : : QN ) Layered QN (LQN )Extended QN (EQN Stochastic Process Algebra (SPA) Stochastic Timed Petri Nets (STPN) )Generalized Stochastic PN (GSPN ) )(SPE ( )1990 . (Software Performance Engineering SPE

: : . : QN . UML / - QNM - Deployment, Sequence, Class UML

UML MSC ][WS98 - EQNM Deployment, Sequence, Use Case UML: Sequence ][CM00 ][CM02 - QNM - Sequence MSC ][AABI00 - QNM

LQN UML-Collaboration, Use Case, Activity, Deployment, - Sequence, Class ][K01 UML: Activity,

][PW99 ][PS02 ][GP02 UML Collaboration ][DHLBP00 UML: Sequence ][AS00 UML

SPEED ][WS98 - ][CM00 ][CM02 -

][AABI00 OAT ][K01 ( ) ][PW99 ][PS02 ][GP02 SMG and OPNET

][DHLBP00 SimML JavaSim ][AS00 : CASE

UML QNM UML QNM

-1 -3 -4 ( ) XML Unisys XMI ) UML ( ()UML Rational Rose . .XML ) QNM ( ()QNM QNM .

QNM . UML -2 UML UML Collaboration Deployment Sequence Collaboration Use Case

)Performance and Time : UML (UML Profile for Schedulability, UML QNM- 1 . -2 ( UML ) . -3 . QNM QNM

: Splitting Merging Duplicating

UML QNM XML QN QNM XML

UML QNM : XML Rational Rose QN XML UML ()QNM QNM QNM XML XML

QNM QNM UML QNM UML UML UML UML XMI

Rational Rose XML XML UML ()QNM QNM QNM XML XML

QNM QNM UML QNM UML UML UML UML XMI Rational Rose

XML XML UML UML Use Case () Workloads Deployment Activity UML : ) (UML Profile for Schedulability, Performance and Time UML

UML ()QNM QNM QNM XML XML QNM QNM UML QNM UML

UML UML UML UML XMI Rational Rose XML XML

UML (UML ) UML ()Workload PApriority PAopenLoad PAclosedLoad Integer []1..0 PAoccurrence PAopenLoad RTarrivalPattern 1

PApopulation PAclosedLoad Integer 1 PAextDelay PAclosedLoad PAperfValue 1 UML Open( )Workload <> <> {PAoccurrence {PAoccurrence== (unbounded, (unbounded,exponential, exponential,20.0,s)} 20.0,s)}

Use Case 1 User Use Case N Closed( UML )Workload <> <> {PApopulation {PApopulation==10, 10, PAextDelay = (uniform,10.0,15.0,s)} PAextDelay = (uniform,10.0,15.0,s)} Use Case 1 User Use Case N UML

PAdemand PAperfValue 1 PAdelay PAperfValue []1..0 ) )( PArep Integer []1..0 ) ( )) ( PAinterval PAperfValue []1..0 PAname String 1

PAdevice String 1 UML Activity State Atomic Activity <> <> PArep PArep==55 PAdemand PAdemand==(msrd, (msrd,dist, dist,exponential, exponential,0.2,s) 0.2,s) PAdevice PAdevice==Workstation Workstation UML

PAschdPolicy PAhost :Enumeration {FIFO, RR, PS, PPS, }LIFO, IS 1 PAmultiplicity PAhost PAperfValue 1 PAcapacity PAhost String []1..0

PArate PAhost Real []1..0 ) ( MIPS . Workstation >><><

QNM QNM UML QNM UML UML

UML UML XMI Rational Rose XML XML UML ()QNM QNM QNM XML XML

QNM QNM UML QNM UML UML UML UML

XMI Rational Rose XML XML ) Queuing Networks Model (QNM : : : : Kendall : A S m ) B ( K SD

A/S/m/B/K/SD 1-p p

() FCFS A/S/m : A S : M D ) (job G ()Product-Form M/M/1-FCFS M/G/1-PS M/G/-IS : ( ) QNM QNM XML

QNM (name, Description,...) TimeDistribution Workload ServiceRequest (TimeDistID, TimeUnit, category, LowerBound, UpperBound mean, StandardDeviation, FixedType, FixedValue) (WorkloadID, priority) (NumberOfVisits ServiceTime, ServiceDemand, WorloadName, ServerName) ClosedWorkload (population, ThinkTime) Node (FromNode, ToNode, probability) ServerNode SinkNode (ServerID,

capacity, (ArrivalRate, quantity, ArrivesAt, DepartsAt) processingRate, SchedulingPolicy) OpenWorkload Arc (name) SourceNode (name) UML QNM UML QNM QNM ))Workloads ((Workloads ((Service ServiceCenters ))Centers

UML ((Use )Case )Use Case ((Deployment ))Deployment ((Activity )) Activity Tagged ))Tagged ((Values Values

UML QNM )(Nodes QNM )(PAschdPolicy )(PAmultiplicity )(PAcapacity ( )(PArate SchedulingPolicy Quantity Capacity ProcessingRate ()Arc

UML QNM )(PAopenLoad )(PApriority Priority ((PAextDealy )(PApopulation ArrivalRate ( ((PAoccurrence )(PAclosedLoad

QNM ThinkTime population QNM SourceNode SinkNode UML QNM

()PAdemand ()PAdevice QNM ServiceDemand ServiceTime )PAdemand =(msrd, dist, exponential, 0.2,s PAdevice = Disk A1 A1 UML QNM PAdevice = D1 D3 D1 D2 D2

1 1 0 D1 0 0 1 D2 0 0 0 D3 D3 D2 D1 0.5 0.5 0 D1 0

0 1 D2 0 0 0 D3 A1 A1 D1 PAdevice = D2 D3 D2 D1 D3 D1 D2 D1 A2 A2 PAdevice = D3 D3 A3 A3 D2

D1 UML ()QNM QNM QNM XML XML QNM QNM UML QNM

UML UML UML UML XMI Rational Rose XML XML

QNM product-form BCMP: 4 FCFS, PS, PR-LCFS, IS QNM M/M/m-FCFS, M/G/1-PS, M/G/-IS, M/G/1-LCFS PR ,MVA, Convolution : : : ,PEPSY, SHARPE

UML ()QNM QNM QNM XML XML QNM QNM UML QNM

UML UML UML UML XMI Rational Rose

XML XML : ATM : )( ATM / :ATM ATM Card Reader Central Bank System User Interface ATM Controller Printer Cash Dispenser : ATM ()Withdraw ()Check Balance ()Transfer Money ()Login ()Deposit

. . ATM . . . : ATM ATM : ATM ATM : ATM

QNM : ATM ATM : ATM : ATM UML QNM XML

XML UML QNM ATM ( UML ) : Blocking Non-product-form QNM : QNM

[CM00] V. Cortellessa, R. Mirandola "Deriving a Queueing Network based Performance Model from UML Diagrams" In WOSP2000, pp. 58-70. [CM02] V. Cortellessa and R. Mirandola. PRIMAUML: a Performance Validation Incremental Methodology on Early UML Diagrams. Science of Computer Programming 44 (2002), 101129. [DLHBP00] M. De Miguel, T. Lambolais, M. Hannouz, S. Betge-Brezetz, S. Piekarec "UML Extensions for the Specification and Evaluation of Latency Constraints in Architectural Models" In WOSP2000, pp. 83-88. [GP02] G. Gu, Dorina C. Petriu, XSLT transformation from UML models to LQN performance models, In WOSP2002, pp. 227234. [Hoe00] F. Hoeben "Using UML Models for Performance Calculation" In WOSP2000, pp. 77-82. [K01] P. Kahkipuro. UML-based performance modeling framework for component- based distributed systems. In R. R. Dumke, C. Rautenstrauch, A. Schmietendorf, and A. Scholz, editors, Performance Engineering, volume 2047 of LNCS, pages 167184. Springer-Verlag 2001. [KP99] P. King, R. Pooley "Derivation of Petri Net Performance Models from UML Specications of Communication Software" Proc. of XV UK Performance Engineering Workshop(1999). [P00] D. Petriu "Deriving Performance Models from UML Models by Graph Transformations" Tutorial material in WOSP2000. [PK99] R. Pooley, P. King "The Unified Modeling Language and Performance Engineering" Proc. of IEE Software (1999). [Poo99] R. Pooley "Using UML to Derive Stochastic Process Algebra Models" Proc. of XV UK Performance Engineering Workshop (1999). [PS02] Dorina C. Petriu, H. Shen, Applying UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications, Proceedings of the 7th International Conference on Modelling Techniques and Tools for Performance Evaluation, Springer LNCS 794, pp. 159177, 2002. [PW99] D. Petriu, X. Wang "From UML descriptions of High-Level Software Architectures to LQN Performance Models" Proc. of AGTIVE'99,Springer Verlag LNCS 1779, pp. 47-62 (1999). [Smi90] C.U. Smith, "Performance Engineering of Software Systems" Addison- Wesley (1990).

[SW02] C. U. Smith and L. Williams. Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley, 2002. [WS98] L.G. Williams, C.U. Smith "Performance Evaluation of Software Architectures" Proc. of WOSP'98, Santa Fe, New Mexico, USA, pp. 164-177 (1998).

Recently Viewed Presentations

  • The Spread of Islam

    The Spread of Islam

    Within a one hundred years, Muslims had conquered a vast territory. In this section, you will learn more about the expansion of Muslim rule and how it changed over time. caliphate: government rule of a land by a caliph Ali...
  • Some title - WordPress.com

    Some title - WordPress.com

    Micro comes from the Greek word . ... Economics as the subject area is based largely on simple logic. However, there is a difference between . following . and . learning. Economics must be studied actively, not passively. Active study....
  • Hip: Look

    Hip: Look

    Author: DR.Ahmed Saker 2o1O Created Date: 11/18/2013 21:52:08 Title: Hip: Look Last modified by: DR.Ahmed Saker 2o1O Company: Enjoy My Fine Releases.
  • First Aid On The Bus

    First Aid On The Bus

    You may find it necessary to perform some first aid techniques. Before you give care, make sure the scene is safe for You Your Students Those around you On Scene Safety is your number one priority. Who has germs? Kids...
  •  ( RDF,   OWL, ) 1     tags meta> tags

    ( RDF, OWL, ) 1 tags meta> tags

    (παράδειγμα) RDF graph RDF statements Resource Property Literal Πλαίσιο RDF Χρήση containers για περιγραφή ομάδας από resources Bag (rdf:Bag): resources (πιθανά με επαναλήψεις), χωρίς να ενδιαφέρει η διάταξη.
  • NITROGEN ATOM ISOTOPES - University of Colorado Boulder

    NITROGEN ATOM ISOTOPES - University of Colorado Boulder

    NH3 ammonia -3 NH4- ammonium -3 N2H4 hydrazine -2 NH20H Hydroxylamine -1 N2 Dinitrogen 0 N2O Nitrogen (I) oxide +1 (nitrous oxide) NO Nitrogen (II) oxide +2 (nitric oxide) HNO2 Nitrous Acid +3 NO2- Nitrite +3 NO2 Nitrogen (IV) oxide...
  • 總體介紹並講解課程一及二(1~3)內容

    總體介紹並講解課程一及二(1~3)內容

    Gilly Salmon的five-stage model 線上學習發展的五階段模型 有效帶領的原則 第1個原則:線上帶領同時發生在專業以及社交的情境中。(Moderating takes place in both a professional and a social context.) 第2個原則:在一旁指導的模式最適合帶領 ...
  • Crisis Intervention - Louisiana

    Crisis Intervention - Louisiana

    What staff communicate and the way they communicate will help shape an environment of mutual respect and cooperation. Effective communication reduces the need for physical management of aggression and creates a safer environment for the person served and staff alike.