Modeling and evaluation of information systems using coloured petri network

Ehsan Zamirpour, Ali Harounabadi, Seyed Javad Mirabedini
2014 Management Science Letters  
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
more » ... ware 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.
doi:10.5267/j.msl.2014.6.015 fatcat:v4gouuf5mbhqpnxku2ebfnyzvi