A Type System for ComponentsReport as inadecuate




A Type System for Components - Download this document for free, or read online. Document in PDF available to download.

1 FOCUS - Foundations of Component-based Ubiquitous Systems CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria Bologna 2 DISI - Dipartimento di Scienze dell-Informazione Bologna 3 DISI - Department of Computer Science and Engineering Bologna 4 PPS - Preuves, Programmes et Systèmes

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.





Author: Ornela Dardha - Elena Giachino - Michael Lienhardt -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents