Loading...
A formalism for recongurability analysis in distributed non-blocking components
Niamanesh, M ; Sharif University of Technology | 2008
226
Viewed
- Type of Document: Article
- DOI: 10.1109/ICDCS.Workshops.2008.125
- Publisher: 2008
- Abstract:
- Reconfigurability for a component of a distributed component-based system means ability to replace the component with a new one, in presence of the other components. In this context, substitutability and compatibility of components should be analyzed. In this paper, we use I/O-Constraint Automata to model behavior of components and propose enough formalism for substitutability and compatibility analysis. We show that in the context of distributed non-blocking components, there is a relation weaker than usual simulation relation in automata theory for notion of substitutability. We illustrate the relation between substitutability and compatibility to reason about the reconfigurability of a component. © 2008 IEEE
- Keywords:
- Computer systems ; Reusability ; Translation (languages) ; Compatibility analysis ; Component-based systems ; Constraint automaton ; Distributed computing systems ; International conferences ; Non-blocking ; Re configurability ; Simulation relation ; Substitutability ; Automata theory
- Source: 28th International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2008, Beijing, 17 June 2008 through 20 June 2008 ; 2008 , Pages 453-458 ; 9780769531731 (ISBN)
- URL: https://ieeexplore.ieee.org/document/4577826