Compositionality and refinement in model-driven engineering

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

Volumn 7498 LNCS, Issue , 2012, Pages 99-114

  Davies, Jim ^a   Gibbons, Jeremy ^a   Milward, David ^a   Welch, James ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

compositionality; formal methods; inheritance; model driven; object orientation; refinement

Indexed keywords

COMPOSITIONALITY; INHERITANCE; MODEL-DRIVEN; OBJECT ORIENTATION; REFINEMENT;

ARTIFICIAL INTELLIGENCE; FORMAL METHODS;

SYSTEMS ANALYSIS;

EID: 84868223355     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33296-8_9     Document Type: Conference Paper

References (22)

1. Kleppe, A., Warmer, J., Bast, W.: MDA Explained, The Model Driven Architecture: Practice and Promise. Addison-Wesley (2003)
2. Frankel, D.: Model Driven Architecture: applying MDA to enterprise computing. OMG Series. Wiley (2003)
3. Matena, V., Stearns, B., Demichiel, L.: Applying Enterprise JavaBeans: Component-Based Development for J2EE. Pearson (2003)
4. Woodcock, J., Davies, J.: Using Z. Prentice Hall (1996), http://www.usingz.com
5. Derrick, J., Boiten, E.: Refinement in Z and Object-Z: foundations and advanced applications. Springer (2001)
6. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley (2003)
7. Faitelson, D., Welch, J., Davies, J.: From predicates to programs. In: Proceedings of SBMF 2005, vol. 184 (2007)
8. Davies, J., Faitelson, D., Welch, J.: Domain-specific semantics and data refinement of object models. ENTCS 195 (2008)
9. Meyer, B.: Object-Oriented Software Construction. Prentice Hall (2000)
10. Beck, K., Cunningham, W.: A laboratory for teaching object oriented thinking. SIGPLAN Not. 24(10) (September 1989)
11. Wirfs-Brock, R.: Responsibility-driven design. The Smalltalk Report (1991)
12. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley Professional (2004)
13. Liskov, B., Wing, J.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems 16(6) (1994)
14. Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley (2002)
15. Barnett, M., Naumann, D.A.: Friends Need a Bit More: Maintaining Invariants Over Shared State. In: Kozen, D. (ed.) MPC 2004. LNCS, vol. 3125, pp. 54-84. Springer, Heidelberg (2004)
16. Smith, G.: The Object-Z Specification Language. Kluwer (2000)
17. McComb, T., Smith, G.: Compositional Class Refinement in Object-Z. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 205-220. Springer, Heidelberg (2006)
18. Smith, G.: A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing 7 (1995)
19. Cavalcanti, A., Sampaio, A.,Woodcock, J.: Unifying classes and processes. Software and Systems Modeling 4 (2005)
20. Fischer, C.: How to Combine Z with a Process Algebra. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol. 1493, pp. 5-25. Springer, Heidelberg (1998)
21. Mahony, B., Dong, J.S.: Blending Object-Z and Timed CSP: An introduction to TCOZ. In: Proceedings of ICSE 1998. IEEE Press (1998)
22. Back, R.J.R., von Wright, J.: Trace refinement of action systems. In: Structured Programming. Springer (1994)