...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Science of Computer Programming >Abstract Behavior Types: a foundation model for components and their composition
【24h】

Abstract Behavior Types: a foundation model for components and their composition

机译：抽象行为类型：组件及其组成的基础模型

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The notion of Abstract Data Type (ADT) has served as a foundation model for structured and object oriented programming for some thirty years. The current trend in software engineering toward component based systems requires a foundation model as well. The most basic inherent property of an ADT, i.e., that it provides a set of operations, subverts some highly desirable properties in emerging formal models for components that are based on the object oriented paradigm. We introduce the notion of Abstract Behavior Type (ABT) as a higher-level alternative to ADT and propose it as a proper foundation model for both components and their composition. An ABT defines an abstract behavior as a relation among a set of timed-data-streams, without specifying any detail about the operations that may be used to implement such behavior or the data types it may manipulate for its realization. The ABT model supports a much looser coupling than is possible with the ADT's operational interface, and is inherently amenable to exogenous coordination. We propose that both of these are highly desirable, if not essential, properties for models of components and their composition. To demonstrate the utility of the ABT model, we describe Reo: an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. We show the expressive power of Reo, and the applicability of ABT, through a number of examples.
机译：抽象数据类型（ADT）的概念已成为结构化和面向对象编程的基础模型已有30多年的历史了。当前软件工程向基于组件的系统发展的趋势也需要基础模型。 ADT的最基本固有属性（即它提供了一组操作）颠覆了基于面向对象范式的组件的新兴形式化模型中一些非常理想的属性。我们介绍了抽象行为类型（ABT）的概念，作为ADT的高级替代方法，并提出了它作为组件及其组成的适当基础模型。 ABT将抽象行为定义为一组定时数据流之间的关系，而没有指定有关可用于实现这种行为的操作的详细信息或为实现该行为而可能操作的数据类型。与ADT的操作界面相比，ABT模型所支持的耦合要宽松得多，并且固有地适合于外部协调。我们建议，对于组件及其组成模型，这两个属性都是非常理想的（即使不是必需的）属性。为了演示ABT模型的效用，我们描述了Reo：一种基于通道演算的组件连接器组成构造的外源协调语言。我们通过许多示例展示Reo的表达能力和ABT的适用性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号