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 379
- Downloads 16
The Analysis of Reading Strategies used by Extrovert and Introvert Intermediate Students in ilam Province, Iran
This study investigates the relationship between extraversion/introversion personality dimension and the use of strategic competence (SC) in oral referential communication by Iranian FL learners. The ability to comprehen...
DEVELOPMENT OF A NOVEL BIOBEVERAGE – BIOFEVITA
Milk is a rich source of calcium and phosphorus whereas it is lack of iron and hence it has to be fortified with some nutrients. Consumer demands are very high over the milk beverages, a novel milk based biobeverage is p...
Studying bankruptcy risk, productivity and firm strategy in companies listed in Tehran stock exchange
The purpose of this research is to examine the relationship between productivity, firm strategy and bankruptcy risk in companies listed in Tehran stock exchange. In case of bankruptcy all groups that are somehow related...
The Effect of Dedicated Facilities Efficiency Increase on the Amount of Delayed Requisition in West Azerbaijan Melli Bank
The current study aims at surveying the effect of increasing dedicated facilities efficiency on delayed requisition in west Azarbaijan Meli Bank. Increasing demand of institutes and organizations to use bank requisitions...
The relationship between Cash flows from operating activities in five-section and return on investment in four-section models of statement of cash flows with the quality of disclosure
This research has studied the relationship between Cash flows from operating activities in five-section model and return on investment in four-section model with the quality of disclosure. In this regard the accuracy of...