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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Java 2 Platform Standard Edition 5.0, http://java.sun.com/j2se/1.5.0/guide/
Borba, P., Sampaio, A., Cavalcanti, A., Cornelio, M.: Algebraic Reasoning for Object-Oriented Programming. Sci. Comput. Program. 52(1-3), 53–100 (2004)
Derrick, J., Boiten, E.: Refinement in Z and Object-Z: Foundations and Advanced Applications. FACIT Series. Springer, Heidelberg (2001)
Estler, H.-C., Ruhroth, T., Wehrheim, H.: Modelchecking correctness of refactorings – some experiments. ENTCS 187, 3–17 (2007)
Gheyi, R., Borba, P.: Refactoring Alloy specifications. ENTCS 95, 227–243 (2004)
Jackson, D.: Alloy: a lightweight object modelling notation. Software Engineering and Methodology 11(2), 256–290 (2002)
Lano, K.: Formal Object-oriented Development. Springer, Heidelberg (1995)
Lano, K., Goldsack, S.: Refinement of Distributed Object Systems. In: Najm, E., Stefani, J.-B. (eds.) Proc. of Workshop on Formal Methods for Open Object-based Distributed Systems, pp. 99–114. Chapman and Hall, Boca Raton (1996)
McComb, T.: Refactoring Object-Z Specifications. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 69–83. Springer, Heidelberg (2004)
McComb, T.: Formal Derivation of Object-Oriented Designs. PhD thesis, The University of Queensland (2007)
McComb, T., Smith, G.: Architectural Design in Object-Z. In: Strooper, P. (ed.) ASWEC 2004: Australian Software Engineering Conference, pp. 77–86. IEEE Computer Society Press, Los Alamitos (2004)
McComb, T., Smith, G.: Compositional class refinement in Object-Z. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 205–220. Springer, Heidelberg (2006)
Ruhroth, T., Wehrheim, H.: Refactoring object-oriented specifications with data and processes. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 236–251. Springer, Heidelberg (2007)
Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)
Stroustrup, B.: The C + +  Programming Language, 3rd edn. Addison-Wesley Longman Publishing Co., Inc, Boston (1997)
Woodcock, J.C.P., Davies, J.: Using Z: Specification, Proof and Refinement. Prentice Hall International Series in Computer Science (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
McComb, T., Smith, G. (2008). A Minimal Set of Refactoring Rules for Object-Z. In: Barthe, G., de Boer, F.S. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2008. Lecture Notes in Computer Science, vol 5051. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68863-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-68863-1_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68862-4
Online ISBN: 978-3-540-68863-1
eBook Packages: Computer ScienceComputer Science (R0)