Loading...

A formalism for recongurability analysis in distributed non-blocking components

Niamanesh, M ; Sharif University of Technology | 2008

233 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/ICDCS.Workshops.2008.125
  3. Publisher: 2008
  4. Abstract:
  5. 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
  6. Keywords:
  7. 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
  8. 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)
  9. URL: https://ieeexplore.ieee.org/document/4577826