Please use this identifier to cite or link to this item:
Title: On Recovering from Run-time Misbehaviour in ADR
Authors: Poyias, Kyriakos
Tuosto, Emilio
First Published: 17-Oct-2013
Citation: Electronic Proceedings in Theoretical Computer Science (EPTCS) 131, 2013, pp. 68-84, 2013
Abstract: 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.
DOI Link: 10.4204/EPTCS.131.7
ISSN: 2075-2180
Version: Publisher Version
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © 2016 the authors. This file is distributed under the Creative Commons “Attribution Non-Commercial No Derivatives” licence, further details of which can be found via the following link:
Description: In Proceedings ICE 2013, arXiv:1310.4019
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
1310.4574v1.pdfPublished (publisher PDF)266.39 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.