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

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.

[1]  Connie U. Smith,et al.  Performance Engineering of Software Systems , 1990, SIGMETRICS Perform. Evaluation Rev..

[2]  Daniel A. Menascé,et al.  Design and performance modeling of component interconnection patterns for distributed software architectures , 2000, WOSP '00.

[3]  Xin Wang,et al.  From UML Descriptions of High-Level Software Architectures to LQN Performance Models , 1999, AGTIVE.

[4]  A. Schfürr,et al.  Programmed graph replacement systems , 1997 .

[5]  Dorina C. Petriu,et al.  Architecture-Based Performance Analysis Applied to a Telecommunication System , 2000, IEEE Trans. Software Eng..

[6]  Raffaela Mirandola,et al.  Deriving a queueing network based performance model from UML diagrams , 2000, WOSP '00.

[7]  Andy Schürr,et al.  Programmed Graph Replacement Systems , 1997, Handbook of Graph Grammars.

[8]  N. Chapman,et al.  Performance engineering , 1997 .

[9]  C. Murray Woodside.  Throughput Calculation for Basic Stochastic Rendezvous Networks , 1989, Perform. Evaluation.

[10]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[11]  Shikharesh Majumdar,et al.  The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software , 1995, IEEE Trans. Computers.

[12]  S. Mohan,et al.  Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software [Book Review] , 2003, IEEE Software.

[13]  Dorina C. Petriu,et al.  Consistent Behaviour Representation in Activity and Sequence Diagrams , 2000, UML.

[14]  Dorina C. Petriu,et al.  Software Performance Evaluation: Graph Grammar-based Transformation of UML Design Models into Per , 2002 .

[15]  Jerome A. Rolia,et al.  Trace-Based Load Characterization for Gernerating Performance Software Models , 1999, IEEE Trans. Software Eng..

[16]  C. Murray Woodside,et al.  Performance analysis of distributed server systems , 2000 .

[17]  Jerome A. Rolia,et al.  A Toolset for Performance Engineering and Software Design of Client-Server Systems , 1995, Perform. Evaluation.

[18]  C. Murray Woodside,et al.  Evaluation and diagnosis of concurrency architectures , 2000 .

[19]  Connie U. Smith,et al.  New Book - Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software , 2001, Int. CMG Conference.

[20]  Marta Simeoni,et al.  On Transforming UML models into performance models , 2001 .

[21]  Pekka Kahkipuro.  UML-Based Performance Modeling Framework for Component-Based Distributed Systems , 2001, Performance Engineering.

[22]  Jerome A. Rolia,et al.  The Method of Layers , 1995, IEEE Trans. Software Eng..