Designing an Event-based Style for Self-healing systems
Journal Title: International Research Journal of Applied and Basic Sciences - Year 2015, Vol 9, Issue 4
Abstract
A style that is very prevalent for large-scale distributed applications is the event-based style. In an event-based style, components communicate by generating and receiving event notifications . A self-healing component is able to detect object anomalies inside of the component,reconfigure inter-component and intra-components before and after repairing the sick object, repair it, and then test the healed object, the robust software architecture based on these components (self-healing components) and connectors is designed. These systems are critical in critical systems , the error in the software technology can bring disastrous results.To prevent such problems , have provided powerful analysis tools that can help software engineers to ensure the reliability of software . Since they include different software systems are complex , so the modeling and abstraction , an important role in the development of these systems plays . The use of graphs and graph transformation systems for software modeling and design looks good options . But even if the high-level software engineers make use of such a methodology , it is possible that errors in the system under design . Hence, the automatic formal model that meets their needs or not is checked. In this paper, we first convert the graph in systems , architectural components and the self-healing process of model checking with respect to these concepts , we introduce a style event for these systems . Then, using one of the tools in the field of graph transformation systems modeling , and model the behavior of these systems at the end of its model checking tools have covered.
Authors and Affiliations
Meisam Bahrami| Department of Computer Engineering, Malayer Branch,Islamic Azad University, Malayer, Iran. email: meisambahrami8589@gmail.com, Seyed Hamid Mahdiun| Department of Management, Malayer Branch,Islamic Azad University, Malayer, Iran
Keywords
Related Articles
- EP ID EP6957
- DOI -
- Views 324
- Downloads 16
The Impact of Teaching Knowledge Assessment Tools on the Writing Skill of Iranian EFL Teachers
The present study was carried out to investigate the washback effects of teaching knowledge tests, i.e. TKT, DELTA, and alternative assessment on the writing of Iranian EFL teachers. To fulfil the requirements of the stu...
Modeling and simulation of effective forces in the manipulation of cylindrical nanoparticles in a liquid medium
With the expansion in the use of the AFM (Atomic Force Microscope) nano-robot in the displacement of nanparticles, this article has focused on the effective forces in the displacement of cylindrical nanoparticles in liqu...
Stylistic techniques and their application to a poem by Hafiz
The purpose of this study is to examine one of Hafiz's poems in the framework of stylistics. As a branch of applied linguistics, stylistics is concerned with the study of style in literary works. Stylistics is practiced...
Design and Simulation of Z-Source Inverter for Brushless DC Motor Drive
This paper presents a Z-source inverter for controlling the speed and reducing the torque ripple of a brushless DC motor. This inverter uses a unique impedance network, coupled between a power source and the inverter cir...
The impression of unsecure stock on Import by applying Egarch in Iran country
This paper investigates the effect of exchange rate uncertainty on the Iran import trade's he exchange rate uncertainty series were generated utilizing the EGARCH model. This model analyzes the symmetric effects. The ana...