Component Reuse and Adaptation at the Specification Level
Component Reuse and Adaptation at the Specification Level
复制标题
规范级别的组件重用和改编
DOI：
--
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
J. Penix
中科院分区：
文献类型：
--
作者：
J. Penix
我们一直在探索使用形式化规范来支持规范级别的两个与重用相关的设计活动：1)标识和检索库组件，以及2)标识可用于适应或组合这些组件的结构(或体系结构)。确定组件可重用性的规范匹配可以使用自动定理证明器来执行。然而，尝试在大型组件库上进行规范匹配并不是一种实用的检索机制。因此，匹配必须限于数据库的一小部分。我们开发了一种启发式方法，用于近似表示组件可重用性的规范匹配，它基于规范的语义。使用体系结构理论可以提供对组件适配和组合的支持。体系结构理论抽象出体系结构的实现细节，并关注系统的行为与其子组件的行为之间的关系。这种关系是通过一组公理来捕获的，这些公理根据组件规范约束系统。架构理论可用于支持自上而下和自下而上的设计。通过集成现有的专门化和定理证明工具，正在开发自动化支持。研讨会目标：分享想法；扩大重用社区中的联系。
We have been exploring the use of formal speciications to support two reuse related activities of design at the speciication level: 1) identiication and retrieval of library components, and 2) identiication of structures (or architectures) available for adapting or composing these components. Speciication matching to determine component reusability can be carried out using an automated theorem prover. However, attempting speciication matching over a large library of components is not a practical retrieval mechanism. Therefore, matching must be restricted to a small subset of the database. We have developed a heuristic for approximating speciication matches that indicate component reusability that is based on the semantics of the speciications. Support for component adaptation and composition can be provided by the use of architecture theories. Architecture theories abstract away implementation details of an architecture and focus on the relationship between the behavior of a system and the behavior of its subcom-ponents. This relationship is captured via a collection of axioms which constrain the system in terms of the component speciications. Architecture theories can be used to support both top-down and bottom-up design. Automated support is being developed by integrating existing speciication and theorem proving tools. Workshop Goals: Share ideas; Expand connections in the reuse community.