A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs

Electronic Notes in Theoretical Computer Science

Volumn 195, Issue C, 2008, Pages 189-209

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

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

^b FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

Conformance; Object Model; Semantics

Indexed keywords

ABSTRACTING; FORMAL METHODS; MATHEMATICAL MODELS; SYNTACTICS;

FORMAL FRAMEWORK; OBJECT MODEL; SYNTACTIC MAPPING;

OBJECT ORIENTED PROGRAMMING;

EID: 38549115493     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.08.033     Document Type: Article

References (21)

1. Barnett M., et al. Verification of Object-Oriented Programs with Invariants. Journal of Object Technology 3 6 (June 2004) 27-56
2. Booch G., et al. The Unified Modeling Language User Guide. Object Technology (1999), Addison Wesley
3. Borba P., and Sampaio A. Basic Laws of ROOL: an object-oriented language. Revista Brasileira de Informtica Terica e Aplicada 7 (2000) 49-68
4. Michelle L. Crane and Juergen Dingel. Runtime Conformance Checking of Objects Using Alloy. In 3rd Workshop on Runtime Verification, pages 62-73, 2003
5. Fowler M. Refactoring-Improving the Design of Existing Code (1999), Addison Wesley
6. Gentleware. Poseidon for UML (2005). http://www.gentleware.com/
7. R. Gheyi, T. Massoni, and P. Borba. Basic laws of object modeling. In 3rd SAVCBS, pages 18-25, Newport Beach, United States, October 2004
8. Gosling J., Joy B., Steele G., and Bracha G. The Java Language Specification. third edition (June 2005), Addison Wesley
9. Greenfield J., Short K., Cook S., and Kent S. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools (2004), Wiley
10. Guéhéneuc Y.-G., and Albin-Amiot H. Recovering Binary Class Relationships: Putting Icing on the UML Cake. Proceedings of the 19th OOPSLA (October 2004), ACM Press 301-314
11. Harrison W., et al. Mapping UML Designs to Java. Proceedings of OOPSLA 2000 (2000), ACM Press 178-187
12. Hoare C. Proof of correctness of data representations. Acta Informatica (1972) 271-281
13. Jackson D. Software Abstractions: Logic, Language and Analysis (2006), MIT press
14. Jackson D. Alloy: A Lightweight Object Modelling Notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11 2 (2002) 256-290
15. Jackson D. Object Models as Heap Invariants. Essays on Programming Methodology (2003) 247-268
16. Jifeng H., Hoare C., and Sanders J. Data refinement refined. ESOP '86: Proceedings of the European Symposium on Programming. London, UK (1986), Springer-Verlag 187-196
17. Tiago Massoni, Rohit Gheyi, and Paulo Borba. A model-driven approach to formal refactoring. In Companion to the OOPSLA 2005, pages 124-125, USA, October 2005
18. Owre S., Rushby J.M., and Shankar N. PVS: A Prototype Verification System. In: Kapur D. (Ed). 11th CADE, USA. LNAI volume 607 (jun 1992), Springer-Verlag 748-752
19. Rational Software. Rational Software Architect (2006). http://www-306.ibm.com/software/awdtools/architect/swarchitect/
20. Martin Rinard and Viktor Kuncak. Object Models, Heaps, and Interpretations. Technical Report 81, January 2001. MIT Laboratory of Computer Science
21. Warmer J., et al. The Object Constraint Language: Getting Your Models Ready for MDA. second edition (2003), Addison Wesley