Dardha, O. , Giachino, E. and Lienhardt, M. (2013) A type system for components. In: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, pp. 167-181. (doi: 10.1007/978-3-642-40561-7_12)
|
Text
99560.pdf - Accepted Version 460kB |
Publisher's URL: http://dx.doi.org/10.1007/978-3-642-40561-7_12
Abstract
In modern distributed systems, dynamic reconfiguration, i.e., changing at runtime the communication pattern of a program, is chal- lenging. 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 up- dates 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.
Item Type: | Conference Proceedings |
---|---|
Additional Information: | Print ISBN: 9783642405600 ; Online ISBN: 9783642405617 |
Keywords: | ABS, components, concurrent object groups, type systems |
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Dardha, Dr Ornela |
Authors: | Dardha, O., Giachino, E., and Lienhardt, M. |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
College/School: | College of Science and Engineering > School of Computing Science |
Journal Name: | Lecture Notes in Computer Science |
Publisher: | Springer |
ISSN: | 0302-9743 |
ISSN (Online): | 1611-3349 |
Copyright Holders: | © 2013 Springer-Verlag Berlin Heidelberg |
First Published: | First published in Lecture Notes in Computer Science 8137:167-181 |
Publisher Policy: | Reproduced in accordance with the copyright policy of the publisher |
University Staff: Request a correction | Enlighten Editors: Update this record