First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007) (VECOS)
Verification and Evaluation of Computer and Communication Systems
5-6 May 2007
Over the last years, modern software system design has been turning into the use of the Component Based System paradigm. Components are developed in isolation or pre-exist, and are then assembled to build a system. In this paper, we present an example of performance analysis of an Enterprise JavaBeans /Common Object Request Broker infrastructure. with an approach exploiting the component architecture of the system. This approach starts from the definition of the components and their interactions, and applies a structurally-driven way for performance analysis of the whole system. Components are modelled with Stochastic Well-formed Net, a high level model of Stochastic Petri Nets which have proved to be efficient for performance analysis of complex systems with symmetrical behaviours. Structured interconnections of SWN allow an efficient analysis of the global system based on our previous work on decomposable SWN.