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 c... View more
 T. Barros, A. Cansado, E. Madelaine, and M. Rivera. Model checking distributed components: The Vercors platform. In 3rd workshop on FACS. ENTCS, Sep 2006.
 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.
 S. Bernardi, S. Donatelli, and A. Horv´ath. Implementing compositionality for stochastic Petri nets. Int. J. STTT, 3(4):417-430, 2001.
 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.
 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.
 E. Bruneton, T. Coupaye, and J.B. Stefani. The fractal component model, version 2.0- 3. Technical report, Fractal team, http://fractal.objectweb.org/specification/ (Oct. 2006), Feb 2004.
 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.
 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.
 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.
 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.