A Minimal Set of Refactoring Rules for Object-Z

A Minimal Set of Refactoring Rules for Object-Z
复制标题

Object-Z 的最小重构规则集

DOI：
10.1007/978-3-540-68863-1_11
复制
发表时间：
2008
期刊：
2004 Australian Software Engineering Conference. Proceedings.
影响因子：
--
通讯作者：
Graeme Smith
Graeme Smith
中科院分区：
--
文献类型：
--
作者：
Tim McComb;Graeme Smith

文献摘要

被引文献

相似文献

本文为 Object-Z 规范语言提出了一套最小且完整的结构重构规则，允许派生任意面向对象的体系结构。这些规则保持等价性，并与现有的类细化理论协同工作，因此使用规则集导出的任何设计都可以显示为与原始规范等效或细化。
This paper presents a minimal and complete set of structural refactoring rules for the Object-Z specification language that allow for the derivation of arbitrary object-oriented architectures. The rules are equivalence preserving and work in concert with existing class refinement theory, so that any design derived using the rule set can be shown to be equivalent to, or a refinement of, the original specification.