MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems
Abstract The architecture of distributed systems is subject to certain failures: component failure, downed connections etc. These failures come from the dynamicity and complexity of these systems. As a solution to cure this weakness, adaptation plans can be added. However, the main difficulty of sel...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Hindawi-IET
2021-08-01
|
| Series: | IET Software |
| Subjects: | |
| Online Access: | https://doi.org/10.1049/sfw2.12026 |
| _version_ | 1797429267559088128 |
|---|---|
| author | Mohamed Hadj Kacem Imen Tounsi Ahmed Hadj Kacem |
| author_facet | Mohamed Hadj Kacem Imen Tounsi Ahmed Hadj Kacem |
| author_sort | Mohamed Hadj Kacem |
| collection | DOAJ |
| description | Abstract The architecture of distributed systems is subject to certain failures: component failure, downed connections etc. These failures come from the dynamicity and complexity of these systems. As a solution to cure this weakness, adaptation plans can be added. However, the main difficulty of self‐adaptation emerges while considering the soundness of the adaptation and preservation of stylistic constraints of the system. The MeidyaCoM‐Policy, an architecture‐centric approach for modelling and checking repair policies to guarantee the success of the adaptation, is presented. This approach is a solution for applying self‐healing. A new unified modelling language (UML) profile that provides a visual notation for modelling repair policies is proposed to automatically transform UML models to Z notation using transformation rules coded in eXtensible styles language transformation (XSLT) language. These specifications are implemented under the Z/EVES theorem prover to prove specification soundness and consistency to guarantee the success of the adaptation. MeidyaCoM‐Policy applies to all architectural styles. It is instantiated for the publish/subscribe style and illustrated with a case study. An outline of the developed software environment is provided. |
| first_indexed | 2024-03-09T09:10:42Z |
| format | Article |
| id | doaj.art-20928a7455b84b62b5ba5d99b88e8e67 |
| institution | Directory Open Access Journal |
| issn | 1751-8806 1751-8814 |
| language | English |
| last_indexed | 2024-03-09T09:10:42Z |
| publishDate | 2021-08-01 |
| publisher | Hindawi-IET |
| record_format | Article |
| series | IET Software |
| spelling | doaj.art-20928a7455b84b62b5ba5d99b88e8e672023-12-02T08:45:46ZengHindawi-IETIET Software1751-88061751-88142021-08-0115426027610.1049/sfw2.12026MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systemsMohamed Hadj Kacem0Imen Tounsi1Ahmed Hadj Kacem2ReDCAD laboratory University of Sfax Sfax TunisiaReDCAD laboratory University of Sfax Sfax TunisiaReDCAD laboratory University of Sfax Sfax TunisiaAbstract The architecture of distributed systems is subject to certain failures: component failure, downed connections etc. These failures come from the dynamicity and complexity of these systems. As a solution to cure this weakness, adaptation plans can be added. However, the main difficulty of self‐adaptation emerges while considering the soundness of the adaptation and preservation of stylistic constraints of the system. The MeidyaCoM‐Policy, an architecture‐centric approach for modelling and checking repair policies to guarantee the success of the adaptation, is presented. This approach is a solution for applying self‐healing. A new unified modelling language (UML) profile that provides a visual notation for modelling repair policies is proposed to automatically transform UML models to Z notation using transformation rules coded in eXtensible styles language transformation (XSLT) language. These specifications are implemented under the Z/EVES theorem prover to prove specification soundness and consistency to guarantee the success of the adaptation. MeidyaCoM‐Policy applies to all architectural styles. It is instantiated for the publish/subscribe style and illustrated with a case study. An outline of the developed software environment is provided.https://doi.org/10.1049/sfw2.12026fault tolerant computingformal specificationmiddlewaretheorem provingUnified Modeling Language |
| spellingShingle | Mohamed Hadj Kacem Imen Tounsi Ahmed Hadj Kacem MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems IET Software fault tolerant computing formal specification middleware theorem proving Unified Modeling Language |
| title | MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems |
| title_full | MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems |
| title_fullStr | MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems |
| title_full_unstemmed | MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems |
| title_short | MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems |
| title_sort | meidyacom policy approach for modelling and checking repair policies for self healing systems |
| topic | fault tolerant computing formal specification middleware theorem proving Unified Modeling Language |
| url | https://doi.org/10.1049/sfw2.12026 |
| work_keys_str_mv | AT mohamedhadjkacem meidyacompolicyapproachformodellingandcheckingrepairpoliciesforselfhealingsystems AT imentounsi meidyacompolicyapproachformodellingandcheckingrepairpoliciesforselfhealingsystems AT ahmedhadjkacem meidyacompolicyapproachformodellingandcheckingrepairpoliciesforselfhealingsystems |