A Minimal Set of Refactoring Rules for Object-Z

Authors:
Tim Mccomb;Graeme Smith
Affiliations:
ARC Centre of Excellence in Bioinformatics Institute for Molecular Bioscience, The University of Queensland, Australia;School of Information Technology and Electrical Engineering, The University of Queensland, Australia
Venue:
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Year:
2008

Citing 11
Cited 3

Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
The Object-Z specification language

The Object-Z specification language
Refinement in Z and object-Z: foundations and advanced applications

Refinement in Z and object-Z: foundations and advanced applications
Alloy: a lightweight object modelling notation

ACM Transactions on Software Engineering and Methodology (TOSEM)
The C++ Programming Language, Third Edition

The C++ Programming Language, Third Edition
Formal Object-Oriented Development

Formal Object-Oriented Development
Architectural Design in Object-Z

ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
Algebraic reasoning for object-oriented programming

Science of Computer Programming - Special issue on program transformation
Modelchecking Correctness of Refactorings - Some Experiments

Electronic Notes in Theoretical Computer Science (ENTCS)
Refactoring object-oriented specifications with data and processes

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Compositional class refinement in object-z

FM'06 Proceedings of the 14th international conference on Formal Methods

Formal Ensemble Engineering

Software-Intensive Systems and New Computing Paradigms
Property transformation under specification change

Frontiers of Computer Science in China
Model evolution and refinement

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.