Formal framework for specifying dynamic reconfiguration of adaptive systems. Issue 5 (1st October 2013)

• Record Type: Journal Article
• Authors: Karimpour, Jaber; Alyari, Robab; Noroozi, Ali A.
• Is Part Of: IET software. Volume 7:Issue 5(2013)
• Page Start: 258
• Page End: 270
• Publication Date: 2013-10-01
• Subjects: adaptive systems -- formal specification -- software architecture -- synchronisation -- vectors; formal framework -- dynamic reconfiguration specification -- adaptive systems -- software systems -- software adaptation techniques -- change problem -- change reconfiguration -- adaptation contract -- system architecture -- mathematical model -- adaptor system -- synchronisation vectors; Computer software -- Periodicals; Software engineering -- Periodicals; 005.1
• DOI: 10.1049/iet-sen.2012.0163
• Languages: English
• ISSNs: 1751-8806

Abstract

Abstract : In the real‐world, there are many types of software systems and software engineers always deal with changes. The value of large systems decreases significantly as the requirements and operational environment change over time. Modern software systems are expected to have dynamic reconfigurations to cope with failure and changes. Software adaptation techniques try to overcome the change problem by reconfiguration. In this study, at first, the authors present a formal framework to represent the whole system and then, build a mathematical model called 'adaptor' based on adaptation contract and system architecture. The adaptor is used to define automatic fit between two different components of the system. Finally, for specifying the whole adaptor system the authors will introduce adaptor network using synchronisation vectors.