A Type System for Components

Abstract : In modern distributed systems, dynamic reconfiguration, i.e., changing at runtime the communication pattern of a program, is challenging. Generally, it is difficult to guarantee that such modifications will not disrupt ongoing computations. In a previous paper, a solution to this problem was proposed by extending the object-oriented language ABS with a component model allowing the programmer to: i) perform updates on objects by means of communication ports and their rebinding; and ii) precisely specify when such updates can safely occur in an object by means of critical sections. However, improper rebind operations could still occur and lead to runtime errors. The present paper introduces a type system for this component model that extends the ABS type system with the notion of ports and a precise analysis that statically enforces that no object will attempt illegal rebinding.
Type de document :
Communication dans un congrès
Robert M. Hierons and Mercedes G. Merayo and Mario Bravetti. SEFM - International Conference on Software Engineering and Formal Methods - 2013, 2013, Madrid, Spain. Springer, 8137, pp.167-181, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40561-7_12〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00909310
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 10:46:14
Dernière modification le : jeudi 15 novembre 2018 - 20:26:59
Document(s) archivé(s) le : lundi 3 mars 2014 - 16:11:25

Fichier

DGL13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | PPS | USPC

Citation

Ornela Dardha, Elena Giachino, Michael Lienhardt. A Type System for Components. Robert M. Hierons and Mercedes G. Merayo and Mario Bravetti. SEFM - International Conference on Software Engineering and Formal Methods - 2013, 2013, Madrid, Spain. Springer, 8137, pp.167-181, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40561-7_12〉. 〈hal-00909310〉

Partager

Métriques

Consultations de la notice

262

Téléchargements de fichiers

114