RIA: Design Strategies For Algebraic Specifications

缺少某些属性，如完整性或终止性， 抽象数据类型的代数规范通常是结果 设计错误，并可能对工艺产生重大影响， 例如代码实现或验证，这依赖于 规范. 为了缓解这个问题， 致力于更好地理解这些属性， 这可以保证某些属性的存在或检测它们的 缺席 到目前为止，还没有任何关于防止设计错误的工作发表 而不是纠正它们。 提出了两种策略， 合理的一般假设，可用于产生规格 它们是完整的、简约的、线性的和终止的。 程度 这些策略适用于哪些领域尚不清楚。 这些 如果由于某些原因造成的困难， 他们需要的簿记是机械化的。 一个原型实现 大大提高了设计规格的生产率， 规格质量。 该项目的目标如下： 探索这些策略的适用范围。 在一些 情况下，一个属性是没有实现，但它仍然不清楚 是否 是属性太强还是策略太弱 还有一个策略 并不是最方便的方法 situations. 调查是否存在其他策略。 实例表明 这些 战略足以实现理想的 属性，但不是 必要 其他类似的战略 目标和性能可以 存在. 执行现有的策略。 评估和改进他们的 有效性，通过他们的使用，设计一套基本的，一般的 规范.

The lack of certain properties, such as completeness or termination, in an algebraic specification of abstract data types is often the result of design errors and can have significant consequences on processes, such as code implementation or verification, which rely on the specification. To alleviate the problem substantial efforts have been devoted to understand better these properties and to implement tools which may guarantee the presence of some properties or detect their absence. To date, no work has yet been published for preventing design errors rather than correcting them. Two strageties are suggested which, under reasonably general assumptions, can be used to produce specifications which are complete, parsimonious, linear, and terminating. The extent to which these strategies are applicable is not yet known. These strategies are simple to use if the difficulties resulting from some book-keeping they require is mechanized. A prototipical implementation improves significantly the productivity of designing specifications and the specification quality. The project has the following goals: Explore the range of applicability of these strategies. In some situations, one property is not achieved, but it is still unclear whether the property is too strong or the strategy too weak. Also, one strategy is not the most convenient one in some situations. Investigate the existence of other strategies. Examples show that these strategies are sufficient for achieving desirable properties, but are not necessary. Other strategies with similar goals and performances may exist. Implement the available stategies. Evaluate and improve their effectiveness through their use for designing a set of basic, general specifications.