A relational model for object-oriented designs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3302, Issue , 2004, Pages 415-436

  Jifeng, He ^a,e   Liu, Zhiming ^a,b   Li, Xiaoshan ^c   Qin, Shengchao ^d  

^a UNITED NATIONS   (United States)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

^c UNIVERSITY OF MACAU   (Macao)

^d NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^e EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

Object Orientation; Refinement; Semantics; UTP

Indexed keywords

CALCULATIONS; COMPUTATIONAL LINGUISTICS; SEMANTICS;

OBJECT ORIENTATION; OBJECT ORIENTED DESIGN; OBJECT REFERENCE; OBJECT-ORIENTED CONCEPTS; OBSERVATION-ORIENTED SEMANTICS; REFINEMENT; RELATIONAL MODEL; UNIFYING THEORIES OF PROGRAMMING;

OBJECT ORIENTED PROGRAMMING;

EID: 33746725777     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30477-7_28     Document Type: Article

References (36)

1. M. Abadi and L. Cardeli. A Theory of Objects. Springer-Verlag, 1996.
2. M. Abadi and R. Leino. A logic of object-oriented programs. In M. Bidoit and M. Dauchet, editors, TAPSOFT'97: Theory and Practice of Sofoware Development, 7th International Joint Conference, pages 682-696. Springer-Verlag, 1997.
3. E. Abraham-Mumm, F.S. de Boer, W.P. de Roever, and M. Steffen. Verification for Java's reentrant multithreading concept. In Foundations of Sofware Science and Computation Structures, LNCS 2303, pages 5-20. Springer, 2002.
4. P. America. Designing an object-oriented programming language with behavioural subtyping. In J. W. de Bakker, illem P. de Roever, and G. Rozenberg, editors, REX Workshop, volume 489 of Lecture Notes in Computer Science, pages 60-90. Springer, 1991.
5. P. America and F. de Boer. Reasoning about dynamically evolving process structures. Formal Aspects of Computing, 6(3):269-316, 1994.
6. M.M. Bonsangue, J.N. Kok, and K. Sere. An approach to object-orientation in action systems. In J. Jeuring, editor, Mathematics of Program Construction, LNCS 1422, pages 68-95. Springer, 1998.
7. M. Broy. Object-oriented programming and software development - a critical assessment. In A. McIver and C. Morgan, editors, Programming Methodology. Springer, 2003.
8. D. Carrington, et al. Object-Z: an Object-Oriented Extension to Z. North-Halland, 1989.
9. A. Cavalcanti and D. Naumann. A weakest precondition semantics for an object-oriented language of refinement. In LNCS 1709, pages 1439-1460. Springer, 1999.
10. D. Coleman, et al. Object-Oriented Development: the FUSION Method. Prentice-Hall, 1994.
11. S. Cook and J. Daniels. Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice-Hall, 1994.
12. ++ in the development of a real-time tracking and tracing system. In J. Woodcock and P. Larsen, editors, Proc. of FME'93, LNCS 670. Springer-Verlag, 1993.
13. M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.
14. E. Gamma, et al. Design Patterns. Addison-Wesley, 1995.
15. J. He, Z. Liu, and X. Li. Towards a refinement calculus for object-oriented systems (invited talk). In Proc. ICCI02, Alberta, Canada. IEEE Computer Society, 2002.
16. J. He, Z. Liu, and X. Li. A component calculus. In H.D. Van and Z. Liu, editors, Proc. Of FME03 Workshop on Formal Aspects of Component Software (FA CS03), UNU/IIST Technical Report 284, UNU/IIST, P.O. Box 3058, Macao, Pisa, Italy, 2003.
17. J. He, Z Liu, and X. Li. Contract-oriented component software development. Technical Report 276, UNU/IIST, P.O. Box 3058, Macao SAR China, 2003.
18. C.A.R. Hoare and J. He. Unifying Theories of Programming. Prentice-Hall, 1998.
19. I. Houston. Formal specification of the OMG core object model. Technical report, 1MB, UK, HurselyPark, 1994.
20. M. Huisman and B. Jacobs. Java program verification via a Hoare logic with abrupt termination. In T. Maibaum, editor, FASE 2000, LNCS 1783, pages 284-303. Springer, 2000.
21. K. Lano and H. Haughton. Object-oriented specification case studies. Prentice Hall, New York, 1994.
22. C. Larman. Applying UML and Patterns. Prentice-Hall International, 2001.
23. K. Rustan M. Leino. Recursive object types in a logic of object-oriented programming. In LNCS 1381. Springer, 1998.
24. Z. Liu. Object-oriented software development in UML. Technical Report UNU/IIST Report No. 228, UNU/IIST, P.O. Box 3058, Macau, SAR, P.R. China, March 2001.
25. Z. Liu, J. He, X. Li, and Y. Chen. A relational model for formal requirements analysis in UML. In J.S. Dong and J. Woodcock, editors, Formal Methods and Software Engineering, ICFEM03, LNCS 2885, pages 641-664. Springer, 2003.
26. Z. Liu, J. He, X. Li, and J. Liu. Unifying views of UML. Research Report 288, UNU/IIST, P.O. Box 3058, Macao, 2003. Presented at UML03 Workshop on Compostional Verification of UML and submitted for the inclusion in the final proceedings.
27. B. Meyer. From structured programming to object-oriented design: the road to Eiffel. Structured Programming, 10(1):19-39, 1989.
28. A. Mikhajlova and E. Sekerinski. Class refinement and interface refinement in object-orient programs. In Proc of FME'97, LNCS. Springer, 1997.
29. D. Naumann. Predicate transformer semantics of an Oberon-like language. In E.-R. Olerog, editor, Proc. of PROCOMET'94. North-Holland, 1994.
30. C. Pierik and F.S. de Boer. A syntax-directed hoare logic for object-oriented programming concepts. Technical Report UU-CS-2003-010, Institute of Information and Computing Science, Utrecht University, 2003.
31. A. Poetzsch-Heffter and P.Muller. A programming logic for sequential Java. In S.D. Swierstra, editor, Proc. Programming Languages and Systems (ESOP'99), LNCS 1576, pages 162-176. Springer, 1999.
32. S. Qin, J.S. Dong, and W.N. Chin. A semantics foundation for TCOZ in Unifying Theories of Programming. In K. Araki, S. Gnesi, and D. Mandrioli, editors, FME2003: Formal Methods, LNCS 2805, pages 321-340. Springer, 2003.
33. E. Sekerinski. A type-theoretical basis for an object-oriented refinement calculus. In Proc. of Formal Methods and Object Technology. Springer-Verlag, 1996.
34. A. Sherif and J. He. Towards a time model for Circus. In ICFEM02, LNCS 2495. Springer, 2002.
35. D. von Oheimb. Hoare logic for Java in Isabelle/HOL. Concurrency and Computation: Practice and Experience, 13(13):1173-1214, 2001.
36. J.C.P. Woodcock and A.L.C. Cavalcanti. A semantics of Circus. In ZB 2002, LNCS 2272. Springer, 2002.