An abstract equivalence notion for object models

Electronic Notes in Theoretical Computer Science

Volumn 130, Issue , 2005, Pages 3-21

  Gheyi, Rohit ^a   Massoni, Tiago ^a   Borba, Paulo ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

Equivalence notion; Object models; Theorem proving

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; MATHEMATICAL MODELS; SEMANTICS; SOFTWARE ENGINEERING; THEOREM PROVING;

AUXILIARY MODELS; EQUIVALENCE NOTION; MODELING LANGUAGES; OBJECT MODELS;

OBJECT ORIENTED PROGRAMMING;

EID: 18144387624     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.03.002     Document Type: Conference Paper

References (24)

1. G. Booch, I. Jacobson, and J. Rumbaugh The Unified Modeling Language User Guide 1999 Addison-Wesley
2. P. Borba, A. Sampaio, and M. Cornélio A refinement algebra for object-oriented programming 17th European Conference on Object-Oriented Programming ECOOP'03, Darmstadt, Germany 2003 457 482
3. Borges, R. (2004). Integrando UML e métodos formais. Technical Report, Federal University of Pernambuco, Informatics Center
4. A. Cavalcanti, and D. Naumann A weakest precondition semantics for refinement of object-oriented programs IEEE Transactions on Software Engineering 26 8 2000 713 728
5. J. Edwards, D. Jackson, E. Torlak, and V. Yeung Faster constraint solving with subtypes Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2004 ACM Press 232 242
6. M. Fowler Refactoring: Improving the Design of Existing Code 1999 Addison-Wesley
7. E. Gamma, R. Helm, R. Johnson, and J. Vlissides Design Patterns: Elements of Reusable Object-Oriented Software 1994 Addison-Wesley
8. Gheyi, R. (2004). Basic laws of object modeling. Master's thesis, Federal University of Pernambuco
9. R. Gheyi, and P. Borba Refactoring alloy specifications A. Cavalcanti P. Machado Proceedings of the Brazilian Workshop on Formal Methods Electronic Notes in Theoretical Computer Science 95 2004 227 243 Elsevier
10. Gheyi, R., Massoni, T., and Borba, P. (2004). Basic laws of object modeling. In Third Specification and Verification of Component-Based Systems (SAVCBS), affiliated with ACM SIGSOFT 2004/FSE-12, pages 18-25, Newport Beach, United States
11. Gogolla, M. and Richters, M. (1998). Equivalence rules for UML class diagrams. In The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, pages 87-96
12. J. Gosling, B. Joy, and G. Steele The Java Language Specification 1996 Addison-Wesley
13. D. Jackson Alloy 3.0 reference manual At http://alloy.mit.edu/beta/reference-manual.pdf 2004
14. D. Jackson, I. Schechter, and H. Shlyahter Alcoa: the alloy constraint analyzer Proceedings of the 22nd International Conference on Software Engineering (ICSE) 2000 ACM Press 730 733
15. B. Liskov, and J. Guttag Program Development in Java 2001 Addison-Wesley
16. Liu, Z., Jifeng, H., and Li, X. (2004). A rigorous approach to UML-based development. In Seventh Brazilian Symposium on Formal Methods (SBMF), pages 48-57, Recife, Brazil
17. G. Nuka, and J. Woodcock Mechanising the alphabetised relational calculus A. Cavalcanti P. Machado Proceedings of the Brazilian Workshop on Formal Methods Electronic Notes in Theoretical Computer Science 95 2004 209 225 Elsevier
18. S. Owre, J. Rushby, N. Shankar, and D. Stringer-Calvert PVS language reference At http://pvs.csl.sri.com 2001
19. S. Owre, J. Rushby, N. Shankar, and D. Stringer-Calvert PVS prover guide At http://pvs.csl.sri.com 2001
20. M. Saaltink The Z/EVES system J. Bowen M. Hinchey D. Till ZUM'97: Z Formal Specification Notation Lecture Notes in Computer Science volume 1212 1997 Springer-Verlag 72 85
21. J. Spivey C.A.R. Hoare The Z Notation: A Reference Manual 1989 Prentice Hall
22. A. Tarski On the calculus of relations Journal of Symbolic Logic 6 3 1941 73 89
23. J. Woodcock, and J. Davies Using Z: Specification, Refinement, and Proof 1996 Prentice Hall
24. A. Zaremski, and J. Wing Specification matching of software components ACM Transactions on Software Engineering and Methodology 6 4 1997 333 369