Abstract
Article history: Received January 4, 2014 Accepted 1 June 2014 Available online June 9 2014 Nowadays with the growth of organizations and their affiliates, the importance of information systems has increased. Functional and non-functional requirements of information systems in an organization are supported. There are literally several techniques to support the functional requirements in terms of software methodologies, but support for the second set of requirements has received little attention. Software Performance Engineering (SPE) forum tries to address this issue by presenting software methodologies to support both types of requirements. In this paper, we present a formal model for the evaluation of system performance based on a pragmatic model. Because of supporting the concurrency concepts, petri net has a higher priority than queuing system. For mapping UML to colored Petri net diagram, we use an intermediate graph. The preliminary results indicate that the proposed model may save significant amount of computations. © 2014 Growing Science Ltd. All rights reserved.
Highlights
IntroductionThe extent of information systems in different applications is undeniable. Many design problems are categorized into two groups of structure as well as object oriented techniques
Nowadays, the extent of information systems in different applications is undeniable
To the best of our knowledge, there is no study on the use of performance indexes in Petri net analysis for evaluating the system performance and in this paper, we present an empirical investigation to measure the performance of a system
Summary
The extent of information systems in different applications is undeniable. Many design problems are categorized into two groups of structure as well as object oriented techniques. Different colours in coloured Petri net Provides transfer for Beads, which carry data values and they are distinguishable from each other. In these nets, for a transition to fire, Coloured Petri needs to be consistent with present beads in input places as well as the expressions on the arcs. Coloured Petri Nets provide more accurate models of complex systems, which are non-phase processing. Among the formal model of Petri nets (Merseguer & Campos, 2004; Kumar & Jasperneite, 2010), queuing networks (Balsamo & Marzolla, 2005) and in the diagrams of UML (Eshuis & Wieringa, 2000; Behbahaninejad et al, 2012), the most activity is allocated to the state diagram. To the best of our knowledge, there is no study on the use of performance indexes in Petri net analysis for evaluating the system performance and in this paper, we present an empirical investigation to measure the performance of a system
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
