UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world information is uncertain, therefore fuzzy UML diagram has been extensively used by system analyzers. This paper is an attempt to transform state diagrams created in fuzzy UML into fuzzy Petri net, so that the verification and performance evaluation operation could be performed formally, rather than exact visual analysis. تفاصيل المقالة

With recent developments in communication technologies, it is possible to access information any time and in any place; however, mobile environments bring forward certain requirements and exclusive challenges including low connection speeds and bandwidth limitations. Thus, we need to consider mobile limitations when using web services. Providing services and limited resource allocation to users and at the same time maintaining performance and quality is a challenging and somewhat difficult task. In this paper, an architecture is introduced and described for showing the mobile agent request process in mobile environments. A mathematical model is introduced for performance analysis; however, the main challenge is the state space explosion in Markov Chain, which complicates the relations. Hence, a model has been suggested using Stochastic Colored Petri Nets that encompasses two sections. A case study performed on mobile networks and the results of implementation are compared with the proposed method. Therefore, by using the proposed method, it is easy to analyze the effect of network limitations and connection methods on performance. تفاصيل المقالة