A Formal Framework for Scalable Component-Based Systems-Reference-Cited by-同舟云学术

A Formal Framework for Scalable Component-Based Systems

Published:2017-01 Issue:1 Volume:8 Page:1-23
ISSN:1947-8186
Container-title:International Journal of Information System Modeling and Design
language:en
Short-container-title:

Author:

Bouanaka Chafia¹,Debza Ahmed Amar¹,Belala Faiza¹,Zeghib Nadia²

Affiliation:

1. LIRE Laboratory, University of Constantine2-Abdelhamid Mehri, Constantine, Algeria

2. LIRE Laboratory, University of Constantine 2- Abdelhamid Mehri, Constantine, Algeria

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.

Publisher

IGI Global

Subject

Management of Technology and Innovation,Information Systems

Reference28 articles.

1. Alturki, M. (2011). Rewriting-based formal modeling, analysis and implementation of real-time distributed services [Ph.D. thesis]. Department of Computer Science, University of Illinois at Urbana-Champaign.

2. Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.-H., & Sifakis, J. (2011). Rigorous component-based system design using the BIP framework. IEEE Software, 28(3), 41–48.

3. Bentea L., Olveczky P.C. & Bentea E. (2014). Formalization and simulation of synuclein aggregation and propagation under different pathobiological conditions in PSMaude (Research Report 432). University of Oslo, Dept. of Informatics.

4. Borovansky, P., Kirchner, C., Kirchner, H., Moreau, P. E., & Ringeissen, C. (1998). An overview of ELAN. In Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications(WRLA1998) (pp. 55–70).

5. Bruneton, E., Coupaye, T., & Stefani, J. B. (2004). The Fractal component model. Retrieved February 5, 2004 from http://fractal.objectweb.org/specification/index.html