Evaluation of Non-Functional Requirements of Enterprise Architecture Using Formal Models

As the sensitive and important role of architecture is obvious, developing an appropriate architecture had significant impact in efficiency of enterprise and also in success or failure of enterprise. Enterprise Architecture by a process called enterprise architecture process will prepare. This process has three phases of IT strategic planning, enterprise architecture planning and implementation of enterprise architecture, and each phase is a prerequisite for the next phase. Reliability has considerable impact on the success of each phase, and ultimately the success of the entire architecture. if executable model of enterprise architecture products is created in the second phase and this model is used to reliability evaluation, this would be changed if reliability had not been filled in phase. In this study has been used unified modeling language and reliability parameter as generalize stereotypes have been added. Then, executable model of enterprise architecture products has been made by using Colored Petri Net. By using the results of simulation of this model we can compute the minimum and maximum of reliability (interval of reliability) and rate of occurrence of failure. The proposed approach than former methods has this privilege that by early computing of reliability in planning phase and consider the feedback on the model and modify the model, it is possible to avoid onerous costs of implementation.

کلیدواژه ها:

Enterprise Architecture ، Evaluation of Reliability ، Stereotype ، Executable Model ، Colored Petri Net