Document Type : Original Research Paper




Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architecture which if used prior to the running of architecture, its final behavior and function will be observed and as a result possible problems could be elevated and promoted. In this study we aimed at availability evaluation in object- oriented style. To ensure the applicability of the style the UML diagrams, especially the sequence diagram, were used to exhibit the architectural behavior. In the later stages, as the UML diagram is inapplicable, the following operations were done. First, metric annotation is used to tag clichés. Then, the studied style diagram was transformed into an applicable one. Afterwards and following the design of petri, using CpnTools, the applicable model based on color petri net was evaluated. In this research the availability evaluation on an ATM for the N=5 users was tested and the results of evaluation showed that the higher the rate of availability (approximately %100) the higher is the rate of usability of the system when needed.


Main Subjects

[1] Bass, L, Clements, P. and Kazman, R. (2010) “Software Architecture in Practice: Addison- Wesely Professional”. 2nd edition. Vol. 52, pp. 291-432.
[2] Cheung, C. (2009) “A user-oriented software reliability model,” Software Engineering, IEEE Transactions on, pp. 118-125.
[3] Roshandel, R., Medvidovic N. and Golubchik, L. (2007) “A Bayesian model for predicting reliability of software systems at the architectural level,” Software Architectures, Components, and Applications, pp. 108-126, 2007.
[4] Goshala, S.S., Wong, W E., (2011) “An analytical approach to architecture-based software performance and reliability prediction,” Performance Evaluation, vol. 58, pp. 3, 91-432
[5] Sharma, V.S.and Trivedi, K.S. (2009) “Quantifying software performance, reliability and security: An architecture-based approach, ” Journal of Systems and Software, vol. 80, pp. 493-509.
[6] YANG, N. And QIAN, Z. (2010) “Quantifying Software Security Based on Stochastic Petri nets, ” Journal of Computational Information Systems, vol. 6, pp. 3049-3056.
[7] Fukuzawa, K. and Saeki, M. (2002) “Evaluating software architectures by coloured petri nets, ” in Proceedings of the 14th international conference on Software engineering and knowledge engineering, pp. 263-270
[8] Garlan D. and Shaw, M. (2009) “An introduction to software architecture”.
[9], ISO/IEC 25010: (2011)", Systems and software engineering – Systems and software Quality Requirements and Evaluation (SquaRE) – System and software quality models",” (2009).
[10] Balsamo, S. Marco, A. D. (2004) “Model-Based Performance Prediction in Software Development: A Survey”, IEEE Transaction On Software Engineering, Vol 30, NO. 5.
[11] Shin, M., Levis, A., Wagenhals, L. (2007). “Transformation of UML-based System Model to Design/CPN model for Validating System Behavior In proc Of Compositional Verification of UML Models”, Workshop on Compositional Verification of UML’03 conference, USA, pp.126-145.
[12] Allen, R., Douence, A. (2007). “Specifying Dynamism in Software Architectures”, Journal of Systems Engineering, Vol. 6, No. 4, pp .52-94
[13] Jensen, K. (2013). “Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use”, EATCS Monographs on Theoretical Computer Science, Vol. 29, No .2, pp70-120.
[14] Cheung, R., Roshandel, N., Medvidovic, (2012). “Early Prediction of Software Component Reliability”, ICSE’ 08, Leipzig, Germany, pp. 111-120.
[15] “Generating Availibility Data System", North American Electric Reliability Corporation. July (2011). Pp. 7, 17. Retrieved 13 March 2014.
[16] Pourali, A., Malakoti, M., Yektaie, M.H.,(2014) ." Reliability evaluation Of a payment model in mobile e-commerce using colored Petri net" .(JACST), pp. 221-231.
[17] Email, S., And Shams, F., (2010)." Modeling of component diagrams using petri nets", Indian Journal of Science and Technology, Vol. 3 No. 12, pp. 1151-1161.
[18] Spiteri Staines, T., (2013). " Transforming UML Sequence Diagrams into Petri Nets", Journal of Communication and Computer, 10, PP 72-81.
[19] Jensen, k., Kristensen, L.M., (2009) . "Coloured Petri Nets, Modelling and Validation of Concurrent Systems", Springer, July 2009.
[20] Franco, J.M., Barbosa, R., Zenha-Rela, M., (2014)," Availability Evaluation of Software Architectures through Formal Methods", ", IEEE,, Conference: 23-26 Sept. 2014.
[21] Lian-Zhanga, Z, Fan-Sheng K., (2012) "Automatic Conversion from UML to CPN for Software Performance Evaluation", International Workshop on Information and Electronics Engineering, Elsevier Ltd, Procedia Engineering 29 (2012) PP. 2682 – 2686.