首页> 外文期刊>Science of Computer Programming >Uncovering architectural mismatch in component behavior
【24h】

Uncovering architectural mismatch in component behavior

机译:发现组件行为中的体系结构不匹配

获取原文
获取原文并翻译 | 示例
       

摘要

When constructing software systems from existing components, the engineer is faced with the problem of potential conflicts in the interactions among the components. Of particular difficulty is guaranteeing compatibility in the dynamic interaction behavior. Using an architectural description of the system and its intended components, the engineer can reason about the interactions early and at a high level of abstraction. In this paper we give a case study of the Compressing Proxy system, which was first investigated by Garlan, Kindred, and Wing. We present architectural specifications and analyses of two versions of the system. One version is a seemingly obvious melding of the components. The other is a solution to deadlock problems uncovered by formal analyses of the first version. We use the Chemical Abstract Machine as an example of an architectural description formalism that can help uncover architectural mismatches in the behavior of components.
机译:当从现有组件构建软件系统时,工程师面临组件之间交互中潜在冲突的问题。特别困难的是保证动态交互行为的兼容性。使用系统及其预期组件的体系结构描述,工程师可以尽早并以较高的抽象水平推理交互。在本文中,我们给出了压缩代理系统的案例研究,该系统首先由Garlan,Kindred和Wing研究。我们介绍了体系结构规范并分析了系统的两个版本。一个版本是组件之间看似显而易见的融合。另一个是对第一个版本的正式分析中发现的死锁问题的解决方案。我们使用化学抽象机作为体系结构描述形式主义的示例,该体系结构可以帮助发现组件行为中的体系结构不匹配。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号