μ-DSU:A Micro-Language Based Approach to Dynamic Software Updating

Cazzola, Walter and Chitchyan, Ruzanna and Rashid, Awais and Shaqiri, Albert (2018) μ-DSU:A Micro-Language Based Approach to Dynamic Software Updating. Computer Languages, Systems and Structures, 51. pp. 71-89. ISSN 1477-8424

[img]
Preview
PDF (1-s2.0-S1477842417300416-main)
1_s2.0_S1477842417300416_main.pdf - Accepted Version
Available under License Creative Commons Attribution-NonCommercial-NoDerivs.

Download (3MB)

Abstract

Today software systems play a critical role in society’s infrastructures and many are required to provide uninterrupted services in their constantly changing environments. As the problem domain and the operational context of such software changes, the software itself must be updated accordingly. In this paper we propose to support dynamic software updating through language semantic adaptation; this is done through use of micro-languages that confine the effect of the introduced change to specific application features. Micro-languages provide a logical layer over a programming language and associate an application feature with the portion of the programming language used to implement it. Thus, they permit to update the application feature by updating the underlying programming constructs without affecting the behaviour of the other application features. Such a linguistic approach provides the benefit of easy addition/removal of application features (with a special focus on non-functional features) to/from a running application by separating the implementation of the new feature from the original application, allowing for the application to remain unaware of any extensions. The feasibility of this approach is demonstrated with two studies; its benefits and drawbacks are also analysed.

Item Type:
Journal Article
Journal or Publication Title:
Computer Languages, Systems and Structures
Additional Information:
This is the author’s version of a work that was accepted for publication in Computer Languages, Systems and Structures . Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Computer Languages, Systems and Structures, 51, 2018 DOI: 10.1016/j.cl.2017.07.003
Uncontrolled Keywords:
/dk/atira/pure/subjectarea/asjc/1700/1712
Subjects:
ID Code:
87087
Deposited By:
Deposited On:
17 Jul 2017 15:52
Refereed?:
Yes
Published?:
Published
Last Modified:
25 Sep 2020 03:12