速成原型研究概况(上)

1.研究摘要研究速成原型工作的目标是为了说明和检索可重用软部件开发规范方法,原型语言PSDL开发实现技术,并把这种语言和技术用于多处理机的原型模式。我们对部件规范的研究是以重写系统和按类生成的概念为基础的。寻求组合规范,因为它容许有效地简化用于部件检索的典型的或标准的形式。可重用软部件的原性抽象地支持软件库方案的设计,用按类生成的方法构造它,以便部件的检索。我们建立规范语言和软件库操作之间的关系。通过试验生成一系列原型语言PSDL的变换器,而这种变换器的产生借助于以变换器工具为基础的属性文法,从而为测试结果建立了试验条件。为了实现PSDL,我们还要寻求高效率的解释技术,把这种语言推广到分布式系统,并研究适合多处理机的调度算法。这项工作将解决以可重用部件为基础的自动化原型领域中的某些关键问题。用速成原型的方法确认软件的要求,取决于下列三个主要因素:原型语言,软件库和原型方法。这里研究的问题,对软件库和原型语言都会产生影响。