A Formal Framework for Scalable Component-Based Systems

Chafia Bouanaka, Ahmed Amar Debza, Faiza Belala and Nadia Zeghib
Additional contact information
Chafia Bouanaka: LIRE Laboratory, University of Constantine2-Abdelhamid Mehri, Constantine, Algeria
Ahmed Amar Debza: LIRE Laboratory, University of Constantine2-Abdelhamid Mehri, Constantine, Algeria
Faiza Belala: LIRE Laboratory, University of Constantine2-Abdelhamid Mehri, Constantine, Algeria
Nadia Zeghib: LIRE Laboratory, University of Constantine 2- Abdelhamid Mehri, Constantine, Algeria

International Journal of Information System Modeling and Design (IJISMD), 2017, vol. 8, issue 1, 1-23

Abstract: Constructing systems from components and building components for different systems require well-established methodologies and processes. This article proposes a formal framework for designing and specifying component-based systems (CBS). The two-dimensional evolutions of CBS are architectural reconfiguration and behavioral adaptation, when user requirements and/or runtime contexts change. This framework provides an incremental design methodology where component interfaces and their corresponding ports are the basic units of software construction, rather than components. Conceptually, interfaces serve to assemble simple components to obtain more complex ones. Behaviorally, they serve to propagate side effects of visible changes of a component on its neighbors. Interfaces also supply interactions and synchronization effects on the underlying sub-system. The calculation process is guided by changes on interfaces where the hierarchical structure of the underlying CBS is maintained. In this framework, CBS specification is supported by some execution tools based on Maude.

Date: 2017
References: Add references at CitEc
Citations:

Downloads: (external link)
https://services.igi-global.com/resolvedoi/resolve ... 18/IJISMD.2017010101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jismd0:v:8:y:2017:i:1:p:1-23

Access Statistics for this article

International Journal of Information System Modeling and Design (IJISMD) is currently edited by Thierry O. C. Edoh

More articles in International Journal of Information System Modeling and Design (IJISMD) from IGI Global
Bibliographic data for series maintained by Journal Editor ().