A Calculus for Boxes and Traits in a Java-Like Setting
A Calculus for Boxes and Traits in a Java-Like Setting
复制标题
类 Java 环境中框和特征的微积分
DOI：
10.1007/978-3-642-13414-2_4
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Jan Schäfer
中科院分区：
文献类型：
--
作者：
Lorenzo Bettini;Ferruccio Damiani;M. D. Luca;Kathrin Geilmann;Jan Schäfer
盒子模型是面向对象范例的组件模型，它定义了具有清晰封装边界的组件（盒子）。在基于组件的软件开发中，定义良好的边界是至关重要的，因为它允许讨论组件与其上下文之间的干扰和交互。一般来说，盒子包含几个对象和内部盒子，其中一些是盒子本地的，不能从其他盒子访问，一些可以被其他盒子访问。trait是一组与任何类层次结构分离的方法。性状可以组合在一起形成类或其他性状。我们提出了一个演算盒和特征。Trait是细粒度重用的单元，而box可以被看作是粗粒度重用的单元。演算配备了所有权类型系统，并允许我们通过维护组件的封装来结合联合收割机粗粒度和细粒度的代码重用。
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.
通用 Java 的通用所有权
影响因子：
--
作者：
Potanin A
通讯作者：
Potanin A
简单松散所有权域的参数化类型系统
DOI：
10.5381/jot.2007.6.5.a3
发表时间：
2007
期刊：
J. Object Technol.
影响因子：
--
作者：
Schäfer;Poetzsch-Heffter
通讯作者：
Poetzsch-Heffter