By Topic

The application of FSP models in Software Performance Engineering: A multi-threaded case-study

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Omid Bushehrian ; Department of Computer and IT, Shiraz University of Technology, Shiraz, Iran ; Hassan Ghaedi

Detecting and fixing the performance obstacles of software during the early stages of software development process is the main objective of Software Performance Engineering(SPE) activities. SPE is mostly depended on the formal modeling languages due to the fact that these languages enable us to simulate the software and analyze the performance parameters. Various modeling languages such as queuing networks(QN), layered queues (LQ), Petri Nets and Stochastic Process Algebras are suggested for modeling distributed systems. There are several issues that are needed to be addressed when translating software architectural models to a target formal model, which are synchronous and asynchronous invocations, active and reactive objects, multi-threading, object deployment over computational nodes and process (thread) scheduling for resource utilization. In this paper, first we present a one-to-one translation rule set that is used to translate software Sequence and Deployment Diagrams into their corresponding FSP(Finite State Process) model considering the above mentioned issues. The resulting model then is analyzed through discrete event simulation tools such as LTSA from the performance perspective. Second, we have applied our translation rule set on a real world multi-threaded web application to obtain its FSP model. The simulation results are also presented.

Published in:

Computers & Informatics (ISCI), 2011 IEEE Symposium on

Date of Conference:

20-23 March 2011