首页> 外文期刊>Journal of Logic and Algebraic Programming >An 'abstract process' approach to algebraic dynamic architecture description
【24h】

An 'abstract process' approach to algebraic dynamic architecture description

机译:代数动态体系结构描述的“抽象过程”方法

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

摘要

Current software development methodologies recognize the critical importance of the architectural concerns during the design phase. Software Architecture promises to be the solution for a number of recurring problems; but to do so, the first task is to be able to obtain a precise description of a system architecture. In late years, a number of specific architecture description languages (ADLs) have been proposed in order to achieve the required precision. Most of them have solid formal foundations: among them, several process-algebraic ADLs stand out for their popularity and expressive power. The algebraic approach to architecture description is probably the most Successful in the field.There is a natural intuition relating the concepts of algebraic process and architectural component; anyway, none of the existing approaches seems to have found the right balance between them. This article explains what is the problem with them, and defines the informal concept of abstract process, trying to provide a reference for the right level of abstraction. After presenting the concept, the article presents a dynamic, reflective ADL named PiLar, which has been designed using this notion. The syntax and semantics of this language are briefly summarized and explained. Finally, the classic example of the Gas Station is described in terms of PiLar, and then compared to previous presentations in other ADLs. (c) 2004 Elsevier Inc. All rights reserved.
机译:当前的软件开发方法论在设计阶段就意识到了架构问题的重要性。软件体系结构有望成为许多重复出现的问题的解决方案。但要做到这一点,首要任务是能够获得对系统体系结构的精确描述。近年来,为了实现所需的精度,已经提出了许多特定的体系结构描述语言(ADL)。它们中的大多数都有坚实的正式基础:其中,几个过程代数ADL以其流行性和表达能力而引人注目。用代数描述体系结构的方法可能是该领域最成功的方法。关于代数过程和体系结构组件的概念有一种自然的直觉。无论如何,现有方法似乎都无法在两者之间找到适当的平衡。本文解释了它们的问题,并定义了抽象过程的非正式概念,试图为正确的抽象级别提供参考。在介绍了该概念之后,本文提出了一种动态的,反射性的ADL,称为PiLar,它是使用此概念设计的。简要总结和解释了该语言的语法和语义。最后,以PiLar的形式描述了加油站的经典示例,然后将其与其他ADL中的先前演示进行了比较。 (c)2004 Elsevier Inc.保留所有权利。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号