On Recovering from Run-time Misbehaviour in ADR
We propose a monitoring mechanism for recording the evolution of systems after certain computations, maintaining the history in a tree-like structure. Technically, we develop the monitoring mechanism in a variant of ADR (after Architectural Design Rewriting), a rule-based formal framework for modell...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2013-10-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1310.4574v1 |
| _version_ | 1818518513294245888 |
|---|---|
| author | Kyriakos Poyias Emilio Tuosto |
| author_facet | Kyriakos Poyias Emilio Tuosto |
| author_sort | Kyriakos Poyias |
| collection | DOAJ |
| description | We propose a monitoring mechanism for recording the evolution of systems after certain computations, maintaining the history in a tree-like structure. Technically, we develop the monitoring mechanism in a variant of ADR (after Architectural Design Rewriting), a rule-based formal framework for modelling the evolution of architectures of systems. The hierarchical nature of ADR allows us to take full advantage of the tree-like structure of the monitoring mechanism. We exploit this mechanism to formally define new rewriting mechanisms for ADR reconfiguration rules. Also, by monitoring the evolution we propose a way of identifying which part of a system has been affected when unexpected run-time behaviours emerge. Moreover, we propose a methodology to suggest reconfigurations that could potentially lead the system in a non-erroneous state. |
| first_indexed | 2024-12-11T01:11:06Z |
| format | Article |
| id | doaj.art-c1024f20b31e4ead822b1d78c77bdd3f |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-11T01:11:06Z |
| publishDate | 2013-10-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-c1024f20b31e4ead822b1d78c77bdd3f2022-12-22T01:26:02ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802013-10-01131Proc. ICE 2013688410.4204/EPTCS.131.7On Recovering from Run-time Misbehaviour in ADRKyriakos PoyiasEmilio TuostoWe propose a monitoring mechanism for recording the evolution of systems after certain computations, maintaining the history in a tree-like structure. Technically, we develop the monitoring mechanism in a variant of ADR (after Architectural Design Rewriting), a rule-based formal framework for modelling the evolution of architectures of systems. The hierarchical nature of ADR allows us to take full advantage of the tree-like structure of the monitoring mechanism. We exploit this mechanism to formally define new rewriting mechanisms for ADR reconfiguration rules. Also, by monitoring the evolution we propose a way of identifying which part of a system has been affected when unexpected run-time behaviours emerge. Moreover, we propose a methodology to suggest reconfigurations that could potentially lead the system in a non-erroneous state.http://arxiv.org/pdf/1310.4574v1 |
| spellingShingle | Kyriakos Poyias Emilio Tuosto On Recovering from Run-time Misbehaviour in ADR Electronic Proceedings in Theoretical Computer Science |
| title | On Recovering from Run-time Misbehaviour in ADR |
| title_full | On Recovering from Run-time Misbehaviour in ADR |
| title_fullStr | On Recovering from Run-time Misbehaviour in ADR |
| title_full_unstemmed | On Recovering from Run-time Misbehaviour in ADR |
| title_short | On Recovering from Run-time Misbehaviour in ADR |
| title_sort | on recovering from run time misbehaviour in adr |
| url | http://arxiv.org/pdf/1310.4574v1 |
| work_keys_str_mv | AT kyriakospoyias onrecoveringfromruntimemisbehaviourinadr AT emiliotuosto onrecoveringfromruntimemisbehaviourinadr |