Software Architecture (SA) is one of the most important artifacts for life cycle of a software system because it incorporates some important decisions and principles for the system development. On the other hand, developing the systems based on uncertain and ambiguous requirement has been increased, significantly. Therefore, there have been significant attentions on SA requirements. In this paper, we present a new method for evaluation of performance characteristics based on a use case, response time, and queue length of SA. Since there are some ambiguities associated with considered systems, we use the idea of Fuzzy UML (F-UML) diagrams. In addition, these diagrams have been enriched with performance annotations using proposed Fuzzy-SPT sub profile, the extended version of SPT profile proposed by OMG. Then, these diagrams are mapped into an executable model based on Fuzzy Colored Petri Nets (FCPN) and finally the performance metrics are calculated using the proposed algorithms. We have implemented CPN-Tools for creating and evaluating the FCPN model.

Abroshan, V., Harounabadi, A & Mirabedini, S. (2013). Evaluation of software architecture using fuzzy colored Petri nets.Management Science Letters, 3(2), 665-682.

Akbari, E., Noorian Talooki, R., & Motameni, H.(2010). Mapping sequence diagram in Fuzzy UML to fuzzy Petri Net. Iranian Journal of Optimization, 3, 492–505

Balsamo, S., Person, V., & Inverardi, P. (2002). A review on queueing network models with finite capacity queues for software architectures performance prediction. Performance Evaluation, 974, 1–20.

Balsamo, S., & Maraolla, M. (2005). Performance Evaluation of UML Software Architectures with Multiclass Queueing Network Models. WOSP '05 Proceedings of the 5th international workshop on Software and performance, 37–42.

Bass, L., Clements, P., & Kazman, R. (2003). Software Architecture in Practice. Addison Wesley.

Bernardi, S., & Merseguer, J. (2007). Performance evaluation of UML design with stochastic well-formed nets. The Journal of Systems and Software, 80, 1843–1865.

Cooper, K., Dai, L., & Deng, Y.(2005). Performance modeling and analysis of software architectures: An aspect oriented

UML based approach. International Workshop on Systems and Software Architecting, Science of Computer Programming, 57, 89–108

Dobrica, L., & Niemela, E. (2002). Survey on software architecture analysis methods. IEEE Transactions on Software Engineering, 28(7), 638–653.

Haroonabadi, A., & Teshnehlab, M. (2008). A novel method for behavior modeling in uncertain information systems. International Journal of Electrical and Electronics Engineering, 2(7).Hong-Xia, Z., & Lian-Zhang, Z. (2009). Building dynamic model in UML using colored Petri Nets. IEEE, Computer Network and Multimedia Technology.Jensen, K. (1993). An introduction to the theoretical aspects of coloured Petri nets. A Decade of Concurrency, in: Lecture Notes in Computer Science, vol. 803, Springer-Verlag, 230–272.

Jensen, K., & Kristensen, L.M.(2009). Coloured Petri Nets. Springer.Lian-Zhang. Z., & Fan-Sheng, K.(2012). Automatic Conversion from UML to CPN for Software Performance Evaluation. 2012 International Workshop on Information and Electronics Engineering (IWIEE), Procedia Engineering, 29, 2682 – 2686

Lopez Grao, J.P., Merseguer, J., & Campos, J.(2004). From UML activity diagrams to stochastic Petri nets: application to software performance engineering. Proceedings of the Fourth International Workshop on Software and Performance (WOSP’04). ACM, Redwood City, CA, USA. 25–36.Ma. Z.M., Zhang, F., & Yan, L.(2011). Fuzzy information modeling in UML class diagram and relational database models. Applied Soft Computing, 11, 4236–4245.Medvidovic, N., & Taylor, J. (2000). A classification and comparison framework for software architecture description

languages. IEEE Transaction on Software Engineering, 26(1), 70–92.

Merseguer, J. (2003). Software Performance Modeling Based on UML and Petri Net. Ph.D thesis.Motameni, H., Movaghar, A., Daneshfar, I., Nemat Zadehand, H., & Bakhshi, J.(2008). Mapping to convert activity diagram in Fuzzy UML to fuzzy Petri Net. World Applied Sciences. 3(3), 514–521.

Object Management Group. (2005). UML profile for schedulability, performance and time specification version 1.1.Perez-Palcin, D., & Merseguer, J. (2010). Performance evaluation of self-reconfigurable service-oriented software with stochastic Petri Nets. Electronic Notes in Theoretical Computer Science, 261, 181–201.

Staines, T. (2008). Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based System.

Yeung, D.S., Liu, J.N.K., Shiu, S.C.K,. & Fung, G.S.K.(1996). fuzzy coloured petri nets in modelling flexible manufacturing systems. ISAI/IFIS 1996. Mexico-USA Collaboration in Intelligent Systems Technologies, IEEE.