Welcome to the InfoSci Platform
A Formal Framework for Scalable Component-Based Systems

A Formal Framework for Scalable Component-Based Systems

Chafia Bouanaka, Ahmed Amar Debza, Faiza Belala, Nadia Zeghib
Copyright: © 2017 |Volume: 8 |Issue: 1 |Pages: 23
ISSN: 1947-8186|EISSN: 1947-8194|EISBN13: 9781522513773|DOI: 10.4018/IJISMD.2017010101
Cite Article Cite Article

MLA

Bouanaka, Chafia, et al. "A Formal Framework for Scalable Component-Based Systems." IJISMD vol.8, no.1 2017: pp.1-23. http://doi.org/10.4018/IJISMD.2017010101

APA

Bouanaka, C., Debza, A. A., Belala, F., & Zeghib, N. (2017). A Formal Framework for Scalable Component-Based Systems. International Journal of Information System Modeling and Design (IJISMD), 8(1), 1-23. http://doi.org/10.4018/IJISMD.2017010101

Chicago

Bouanaka, Chafia, et al. "A Formal Framework for Scalable Component-Based Systems," International Journal of Information System Modeling and Design (IJISMD) 8, no.1: 1-23. http://doi.org/10.4018/IJISMD.2017010101

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.