Title
A calculus for boxes and traits in a java-like setting
Abstract
The box model is a component model for the object-oriented paradigm, that defines components (the boxes) with clear encapsulation boundaries. Having well-defined boundaries is crucial in component-based software development, because it enables to argue about the interference and interaction between a component and its context. In general, boxes contain several objects and inner boxes, of which some are local to the box and cannot be accessed from other boxes and some can be accessible by other boxes. A trait is a set of methods divorced from any class hierarchy. Traits can be composed together to form classes or other traits. We present a calculus for boxes and traits. Traits are units of fine-grained reuse, whereas boxes can be seen as units of coarse-grained reuse. The calculus is equipped with an ownership type system and allows us to combine coarse- and fine-grained reuse of code by maintaining encapsulation of components.
Year
DOI
Venue
2010
10.1007/978-3-642-13414-2_4
COORDINATION
Keywords
Field
DocType
object-oriented paradigm,ownership type system,component-based software development,box model,coarse-grained reuse,clear encapsulation boundary,java-like setting,class hierarchy,inner box,component model,fine-grained reuse,component based software development
Reuse,Computer science,Theoretical computer science,Class hierarchy,Software product line,Encapsulation (computer programming),Java,Calculus,Software development,Distributed computing
Conference
Volume
ISSN
ISBN
6116
0302-9743
3-642-13413-0
Citations 
PageRank 
References 
4
0.37
17
Authors
5
Name
Order
Citations
PageRank
Lorenzo Bettini187151.50
Ferruccio Damiani298971.30
Marco De Luca31025.98
Kathrin Geilmann4161.22
Jan Schäfer532014.02