Authors: N. Salmi; Patrice Moreaux; Malika Ioualalen
Addresses: LSI, Faculty of Computer Science and Electronics, USTHB, BP 32, El-Alia, Bab-Ezzouar, 16111, Alger, Algerie. ' LISTIC, Université de Savoie, BP 80449, 74944, Annecy le Vieux, France. ' LSI, Faculty of Computer Science and Electronics, USTHB, BP 32, El-Alia, Bab-Ezzouar, 16111, Alger, Algerie
Abstract: 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 modelling and structured performance analysis of CBS. Modelling is based on stochastic well-formed nets (SWNs), 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 modelling 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.
Keywords: component-based systems; CBS; interconnected components; stochastic well-formed nets; SWNs; structured performance analysis; composition; synchronous interconnection; asynchronous interconnection; method invocation; event-based interaction; software design; stochastic Petri nets; modelling.
International Journal of Critical Computer-Based Systems, 2012 Vol.3 No.1/2, pp.96 - 131
Available online: 24 Jan 2012Full-text access for editors Access for subscribers Purchase this article Comment on this article