Structured Performance Analysis for Component Based Systems

Article English OPEN
Salmi , N. ; Moreaux , Patrice ; Ioualalen , M. (2012)
  • Publisher: Inderscience
  • Related identifiers: doi: 10.1504/IJCCBS.2012.045078
  • Subject: évaluation de performances | [ INFO.INFO-PF ] Computer Science [cs]/Performance [cs.PF] | système logiciel à composants

International audience; The Component Based System (CBS) paradigm is now largely used to design software systems. In addition, performance and behavioural analysis remains a required step for the design and the construction of efficient systems. This is especially the case of CBS, which involve interconnected components running concurrent processes. % This paper proposes a compositional method for modeling and structured performance analysis of CBS. Modeling is based on Stochastic Well-formed Nets (SWN), a high level model of Stochastic Petri nets, widely used for dependability analysis of concurrent systems. Starting from the definition of the system given in a suitable Architecture Description Language, and from the definition of the elementary components, we build an SWN of the global system together with a set of SWNs modeling the components of the CBS and their connections. From these models, we derive performances of the system thanks to a structured analysis induced by the structure of the CBS. We describe the application of our method through an example designed in the framework of the CORBA Component Model.
  • References (33)
    33 references, page 1 of 4

    [1] T. Barros, A. Cansado, E. Madelaine, and M. Rivera. Model checking distributed components: The Vercors platform. In 3rd workshop on FACS. ENTCS, Sep 2006.

    [2] T. Barros, L. Henrio, and E. Madelaine. Behavioural models for hierarchical components. In Model Checking Software, 12th International SPIN Workshop, volume LNCS 3639, pages 154-168, San Francisco, CA, USA, August 2005. Springer.

    [3] S. Bernardi, S. Donatelli, and A. Horv´ath. Implementing compositionality for stochastic Petri nets. Int. J. STTT, 3(4):417-430, 2001.

    [4] A. Bertolino and R. Mirandola. Software performance engineering of componentbased systems. In Proc. of the WOSP 04, Redwood City, C.A., January 14-16 2004.

    [5] E. Bruneton, T. Coupaye, and J. Stefani. Recursive and dynamic software composition with sharing. In Proc. of the 7th ECOOP International Workshop on Component-Oriented Programming (WCOP02), June 2002.

    [6] E. Bruneton, T. Coupaye, and J.B. Stefani. The fractal component model, version 2.0- 3. Technical report, Fractal team, (Oct. 2006), Feb 2004.

    [7] G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic wellformed colored nets and symmetric modeling applications. IEEE Trans. on Comp., 42(11):1343-1360, Nov 1993.

    [8] C. Delamare, Y. Gardan, and P. Moreaux. Efficient implementation for performance evaluation of synchronous decomposition of high level stochastic Petri nets. In Proc. of the ICALP2003, pages 164-183, Eindhoven, Holland, June 21-22 2003. University of Dortmund, Germany.

    [9] C. Delamare, Y. Gardan, and P. Moreaux. Performance evaluation with asynchronously decomposable SWN: implementation and case study. In Proc. of the 10th Int. Workshop on PNPM03, pages 20-29, Urbana-Champaign, IL, USA, September 2-5 2003. IEEE Comp. Soc. Press.

    [10] L. Dias da Silva and A. Perkusich. Composition of software artifacts modelled using colored Petri nets. Science of Computer Programming, 56(1-2):171-189, Apr 2005.

  • Metrics
    No metrics available
Share - Bookmark