Providing Formal Support for Standards Usage Within SEED

Providing Formal Support for Standards Usage Within SEED
复制标题

为 SEED 内的标准使用提供正式支持

DOI:
10.1061/(asce)1076-0431(1995)1:4(187
复制
发表时间:
1995
影响因子:
2
通讯作者:
Bong
Bong
中科院分区:
--
文献类型:
--
作者:
J. Garrett;Han Kiliccote;Bong

文献摘要

被引文献

相似文献

在诸如SEED系统的建筑设计系统内,必须解决适用的建筑规范和标准,以确保综合建筑解决方案符合这些标准。由于有许多设计标准、规范和公认的实践规范管理任何建筑类型的设计,因此对这些文件的正式处理是这种设计系统的必要组成部分。为支援SEED系统的标准行程需要,我们正发展标准支援环境,以在SEED系统支援的设计阶段行程以形式表示的建筑标准。SSE将由两个主要组成部分组成:标准处理框架(SPF),它将标准处理服务器表示为分布式代理,其行为类似于通过协议进行通信的黑盒抽象,并提供用于处理语言请求的功能,以定义,使用和审查标准模型;以及标准使用模块。
Within a building design system, such as the SEED system, applicable building codes and standards must be addressed so as to ensure that the synthesized building solution complies with these standards. Because there are many design standards, specifications, and codes of accepted practice that govern the design of any building type, a formal treatment of these documents is a necessary component of such a design system. To support the standards processing needs of the SEED system, we are developing the Standards Support Environment (SSE) for processing formally represented building standards during the stages of design supported in SEED. The SSE will be composed of two major components: The Standards Processing Framework (SPF), which represents standards processing servers as distributed agents behaving as black box abstractions that communicate via a protocal and provide functionalities for processing language requests for defining, using and reviewing the models of standards; and the Standards Usage Modu...