Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Subject Areas : Software Architecture
Abdolghader
pourali
1
(Author)
Keywords:
Abstract :
[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] http://www.iso.org/, 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.
