Formalizing Design Spaces: Implicit Invocation Mechanisms
Formalizing Design Spaces: Implicit Invocation Mechanisms
复制标题
DOI：
10.1007/3-540-54834-3_5
复制
发表时间：
1991-10
期刊：
影响因子：
--
通讯作者：
D. Garlan;D. Notkin
中科院分区：
文献类型：
--
作者：
D. Garlan;D. Notkin
软件工程的一个重要目标是利用系统设计中的共性，以减少构建新系统的复杂性，支持大规模重用，并为系统开发提供自动化辅助。实现这一目标的一个重要障碍是，人们对系统的共同属性知之甚少。在本文中，我们认为形式化规范可以帮助解决这个问题。设计框架的正式定义可以识别一系列系统的共同属性，并明确专门化的维度。然后，新设计可以以一种有原则的方式在旧设计的基础上构建，从而降低设计者和实现者的成本。为了说明这些要点，我们提出了一种称为隐式调用的系统集成技术的形式化。我们展示了有多少先前不相关的系统可以被视为相同底层框架的实例。然后，我们简要地指出形式化如何允许我们对这些系统的某些属性以及不同系统之间的关系进行推理。
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support large-scale reuse, and provide automated assistance for system development. A significant roadblock to accomplishing this goal is that common properties of systems are poorly understood. In this paper we argue that formal specification can help solve this problem. A formal definition of a design framework can identify the common properties of a family of systems and make clear the dimensions of specialization. New designs can then be built out of old ones in a principled way, at reduced cost to designers and implementors.To illustrate these points, we present a formalization of a system integration technique called implicit invocation. We show how many previously unrelated systems can be viewed as instances of the same underlying framework. Then we briefly indicate how the formalization allows us to reason about certain properties of those systems as well as the relationships between different systems.