Refactoring object-oriented frameworks
Refactoring object-oriented frameworks
Mapping a functional specification to an object-oriented specification in software re-engineering
CSC '96 Proceedings of the 1996 ACM 24th annual conference on Computer science
CSP-OZ: a combination of object-Z and CSP
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
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
Formal Object-Oriented Development
Formal Object-Oriented Development
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Introducing Reference Semantics via Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
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
Transformation laws for UML-RT
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Refactoring Real-time Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
We present a strategy for using the existing theory of class refinement in Object-Z to introduce an arbitrary number of object instances into a specification. Since class refinement applies only to a single class, the key part of the strategy is the use of references to objects of the class being refined. Once object instances have been introduced through local class refinements in this way, they can be turned into foreign class instantiations through the application of straight-forward equivalence preserving transformations. We introduce a set of logical classifiers to allow for the precise determination of which parts of the specification logic must be moved into the foreign class.