Domain-specific Semantics and Data Refinement of Object Models

Electronic Notes in Theoretical Computer Science

Volumn 195, Issue C, 2008, Pages 151-170

  Davies, Jim ^a   Faitelson, David ^a   Welch, James ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

automatic programming; data refinement; formal methods; model driven development; object modelling; Z notation

Indexed keywords

AUTOMATIC PROGRAMMING; DATA REDUCTION; FORMAL METHODS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

DATA REFINEMENT; MODEL-DRIVEN DEVELOPMENT; OBJECT MODELING;

SEMANTICS;

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

References (22)

1. Abadi M., and Leino K.R.M. A logic of object-oriented programs. Verification: Theory and Practice (2003) 11-41
2. Abrial J.-R. The B-book: assigning programs to meanings (1996), Cambridge University Press
3. Dahl O., and Nygaard K. Simula, an Algol-based simulation language. Communications of the ACM 9 (1966) 671-678
4. Davies J., Crichton C., Crichton E., Neilson D., and Sørensen I.H. Formality, evolution, and model-driven software engineering. In: Mota A., and Moura A. (Eds). SBMF 2004. ENTCS 130 (2005) 39-55
5. Duke R., and Rose G. Formal Object-Oriented Specification Using Object-Z (2000), Macmillan Press
6. Faitelson, D., Welch, J., and Davies, J. (2006). From predicates to programs. In Sampaio, A., editor, Proceedings of SBMF 2005. to appear
7. Fowler M., Beck K., Brant J., Opdyke W., and Roberts D. Refactoring: Improving the Design of Existing Code (1999), Addison-Wesley
8. Griffiths, A. (1995). An Extended Semantic Foundation For Object-Z. Technical report, SVRC, University of Queensland
9. Hall A. Using Z as a Specification Calculus for Object-Oriented Systems. Proceedings of VDM '90 (1990), Springer-Verlag 290-318
10. Jifeng H., Li X., and Liu Z. rcos: a refinement calculus of object systems. Theor. Comput. Sci. 365 1 (2006) 109-142
11. Kleppe A., Warmer J., and Bast W. MDA Explained, The Model Driven Architecture: Practice and Promise (2003), Addison-Wesley
12. Liskov B. Data abstraction and hierarchy. Proceedings of OOPSLA '87 (1987), ACM Press 17-34
13. Liskov B., and Wing J. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems 16 6 (1994) 1811-1841
14. McComb T., and Smith G. Compositional class refinement in object-z. FM 2006. LNCS volume 4085 (2006), Springer
15. Meyer B. Object-Oriented Software Construction. Second edition (1997), Prentice Hall
16. Morgan C.C. Programming From Specifications. 2nd ed. (1998), Prentice Hall
17. OMG. UML 2.0 superstructure specification (2005). http://www.omg.org/cgi-bin/doc?ptc/05-07-04
18. Smith G. The Object-Z Specification Language (2000), Kluwer
19. Spivey J.M. The Z Notation. second edition (1992), Prentice Hall
20. van den Berg, J., Breunesse, C.-B., Jacobs, B., and Poll, E. (2001). On the role of invariants in reasoning about object-oriented languages. In Proceedings of ECOOP'2001
21. Warmer J., and Kleppe A. The Object Constraint Language: Getting Your Models Ready for MDA. 2nd edition (2003), Addison Wesley
22. Welch J., Faitelson D., and Davies J. Automatic maintenance of association invariants. Proceedings of SEFM 2005 (2005), IEEE Press