Unified modeling language is a semi-formal and standard language for describing software architecture easily used to meet requirement functionality and to describe behavioral and structural specifications in software engineering. However, since UML is not a formal model, direct evaluation of software architecture is not possible, directly. On the other hand, evaluating software architecture in initial phases helps us consider more requirements and it reduces designing expenditures. Therefore, converting pragmatic model to formal model is necessary for software architecture evaluation. For evaluating software architecture and making an executive model, using color Petri net are useful because of simplicity, high capability and enhancing theoretical mathematics. Using language variables and fuzzy logic causes a higher accuracy in computations associated with efficiency evaluation. In this paper, we present fuzzy logic and reaction analysis before implementation, which can improve efficiency of design problems.

Unified Modeling Language (UML) has been recognized as one of the most popular techniques to describe static and dynamic aspects of software systems. One of the primary issues in designing software packages is the existence of uncertainty associated with such models. Fuzzy-UML to describe software architecture has both static and dynamic perspective, simultaneously. The evaluation of software architecture design phase initiates always help us find some additional requirements, which helps reduce cost of design. In this paper, we use a fuzzy data model to describe the static aspects of software architecture and the fuzzy sequence diagram to illustrate the dynamic aspects of software architecture. We also transform these diagrams into Petri Nets and evaluate reliability of the architecture. The web-based hotel reservation system for further explanation has been studied.

C4ISR framework describes architecture in three views of information architecture and defines a set of products, which are main outputs of enterprise architecture design. Formats and templates, which are presented for C4ISR products, cannot describe uncertainty in process or data. Meanwhile, uncertainty in many information systems is unavoidable and using the concept of fuzzy numbers in architecture design helps architects handle uncertainty in process and data of organization. In this paper, we present a new template based on fuzzy-UML concept for some of C4ISR products such as Logical Data Model (OV-7), Operational Event/Trace Description (OV-6c) and Systems Event/Trace Description (SV-10c). To explain further, fictional Fast Pass system used at OilCo gas stations is used to demonstrate details of our proposed model.