The Z notation: a reference manual
The Z notation: a reference manual
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
The Java Language Specification
The Java Language Specification
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Faster constraint solving with subtypes
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Formal refactorings for object models
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A rigorous approach for proving model refactorings
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A Static Semantics for Alloy and its Impact in Refactorings
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal model-driven program refactoring
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A theory of software product line refinement
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Synchronizing model and program refactoring
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Changing programs correctly: refactoring with specifications
FM'06 Proceedings of the 14th international conference on Formal Methods
A theory of software product line refinement
Theoretical Computer Science
Hi-index | 0.00 |
Equivalence notions for object models are usually too concrete in the sense that they assume that the compared models are formed by elements with the same names. This is not adequate in several situations: during model refactoring, when using auxiliary model elements, or when the compared models comprise distinct but corresponding elements. So, in this paper, we propose a more abstract and language-independent equivalence notion for object models. It supports, as desired, abstraction from names and elements when comparing models. We use the PVS system to specify and prove properties of our notion. It is illustrated here by comparing simple models in Alloy, a formal object-oriented modeling language, but has also been applied for deriving a comprehensive set of algebraic laws for Alloy.