Performance evaluation based on system modeling using Statecharts extensions

Abstract This paper presents two extensions for Statecharts: the Stochastic Statecharts, which use the original statecharts notation with a minor modification in the formal semantics and the Queuing Statecharts, which do not follow the pure Statecharts notation, but a join between Statecharts and queuing network representations. Some basic elements of Statecharts are redefined such as events and conditions, besides some concepts referring to the dynamic system behavior. The specification approaches show the basic behavior of a generic queuing system by means of templates and standard events. It is presented the PerformCharts, a new simulation environment based on Statecharts specification, which allows model solution using either Markov chains or the Network Simulator (NS).

[1]  Michael Mendler,et al.  Statecharts: From Visual Syntax to Model-Theoretic Semantics , 2001, GI Jahrestagung.

[2]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[3]  Myron Hlynka,et al.  Queueing Networks and Markov Chains (Modeling and Performance Evaluation With Computer Science Applications) , 2007, Technometrics.

[4]  Arnold O. Allen.  Introduction to Computer Performance Analysis With Mathematica , 1994 .

[5]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..

[6]  Diego Latella,et al.  Mobile UML Statecharts with Localities , 2004, Global Computing.

[7]  Nico M. van Dijk.  Queueing networks and product forms - a systems approach , 1993, Wiley-Interscience series in systems and optimization.

[8]  Diego Latella,et al.  On Mobility Extensions of UML Statecharts. A Pragmatic Approach , 2003, FMOODS.

[9]  Oliver A. McBryan,et al.  An Overview of Message Passing Environments , 1994, Parallel Comput..

[10]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[11]  Jack Dongarra,et al.  PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing , 1995 .

[12]  Rance Cleaveland,et al.  A compositional approach to statecharts semantics , 2000, SIGSOFT '00/FSE-8.

[13]  Raj Jain,et al.  The Art of Computer Systems Performance Analysis : Tech-niques for Experimental Design , 1991 .

[14]  Craig Larman,et al.  Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition) , 1997 .

[15]  Maria Cristina Ferreira de Oliveira,et al.  A statechart-based model for hypermedia applications , 2001, TOIS.

[16]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[17]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[18]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[19]  Heiko Krumm,et al.  Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs , 2002, Telecommun. Syst..

[20]  Igor N. Kovalenko,et al.  Introduction to Queuing Theory , 1989 .

[21]  Nandamudi Lankalapalli Vijaykumar.  Statecharts: their use in specifying and dealing with performance models , 1999 .

[22]  Raj Jain,et al.  The art of computer systems performance analysis - techniques for experimental design, measurement, simulation, and modeling , 1991, Wiley professional computing.

[23]  정인기,et al.  [서평]「Applying UML and Patterns - An Introduction to Object-Oriented Analysis and Design」 , 1998 .

[24]  Brent B Welch,et al.  Practical Programming in Tcl and Tk , 1999 .

[25]  Michael Mendler,et al.  Axiomatizing an Algebra of Step Reactions for Synchronous Languages , 2002, CONCUR.

[26]  Carlos Renato Lisboa Francês.  Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statecharts , 2001 .

[27]  J. R. Jackson.  Networks of Waiting Lines , 1957 .

[28]  Robert B. Cooper.  Introduction to Queuing Theory , 1990 .