Model evolution and refinement

Science of Computer Programming

Volumn 77, Issue 3, 2012, Pages 270-289

  Ruhroth, Thomas ^a   Wehrheim, Heike ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Evolution; Formal methods; Object Z; Refactoring; Refinement

Indexed keywords

DESIGN TIME; EVOLUTION; FORMAL SPECIFICATION; MODEL EVOLUTION; OBJECT Z; REFACTORINGS; REFINEMENT; SOFTWARE CHANGE; SOFTWARE MODEL;

SOFTWARE DESIGN; SPECIFICATIONS;

FORMAL METHODS;

EID: 84855202013     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2011.04.007     Document Type: Conference Paper

References (34)

1. J. Derrick, and E.A. Boiten Refinement in Z and Object-Z 2001 Springer
2. W.-P. de Roever, and K. Engelhardt Data Refinement: Model-Oriented Proof Methods and their Comparison 1998 CUP
3. S. Liu Evolution: a more practical approach than refinement for software development ICECCS'97: Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems 1997 IEEE Computer Society Washington, DC, USA 142
4. R.V.D. Straeten, V. Jonckers, and T. Mens A formal approach to model refactoring and model refinement Software and Systems Modeling 6 2 2007 139 162 (Pubitemid 46882233)
5. L.C. Briand, Y. Labiche, and T. Yue Automated traceability analysis for UML model refinements Inf. Softw. Technol. 51 2 2009 512 527
6. G. Engels, R. Heckel, J.M. Kster, and L. Groenewegen Consistency- preserving model evolution through transformations J.-M. Jzquel, H. Hussmann, S. Cook, UML'02: Proceedings of the 5th International Conference on The Unified Modeling Language Lecture Notes in Computer Science vol. 2460 2002 Springer Berlin/Heidelberg 212 226
7. W. Cazzola, S. Pini, A. Ghoneim, and G. Saake Co-evolving application code and design models by exploiting meta-data SAC 2007 ACM New York, NY, USA 1275 1279 (Pubitemid 47568477)
8. J. Henkel, and A. Diwan Catchup!: capturing and replaying refactorings to support API evolution ICSE'05: Proceedings of the 27th international conference on Software engineering 2005 ACM New York, NY, USA 274 283
9. S. Vadera Proof by analogy in mural Formal Aspects of Computing 7 1995 183 206
10. M. Poppleton, and L. Groves Software evolution with refinement and retrenchment T. Muntean, K. Sere, RCS'03: 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, Department of Computer Science 2003 Abo Akademi University Turku, Finland
11. J. Derrick, and E.A. Boiten Calculating upward and downward simulations of state-based specifications Information & Software Technology 41 13 1999 917 923
12. G. Smith The Object-Z Specification Language 2000 Kluwer Academic Publisher
13. T. Ruhroth, and H. Wehrheim Refinement-preserving co-evolution K. Breitman, A. Cavalcanti, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 912, 2009, Vol. 5885 2009 Springer 620 638
14. J. Spivey The Z Notation: A Reference Manual Prentice-Hall International Series in Computer Science 1992
15. J. Davies, and J. Woodcock Using Z: Specification, Refinement and Proof 1996 Prentice Hall
16. M. Fowler Refactoring: Improving the Design of Existing Code 2004 Addison Wesley
17. T. Ruhroth, and H. Wehrheim Refactoring object-oriented specifications with data and processes FMOODS LNCS vol. 4468 2007 Springer 236 251 (Pubitemid 350259405)
18. T. McComb Refactoring Object-Z Specifications M. Wermelinger, T. Margaria, FASE Lecture Notes in Computer Science vol. 2984 2004 Springer 69 83
19. L. Groves A formal approach to program modification APSEC 2000 IEEE Computer Society 274 281
20. T. McComb, and G. Smith Compositional class refinement in Object-Z Formal Methods (FM 2006) LNCS vol. 4085 2006 205 220 (Pubitemid 44502908)
21. B. Liskov, and J. Wing A behavioural notion of subtyping ACM Transactions on Programming Languages and Systems 16 6 1994 1811 1841
22. H. Wehrheim Behavioral subtyping relations for active objects Formal Methods in System Design 23 2 2003 143 170
23. C. Fischer, and H. Wehrheim Behavioural subtyping relations for object-oriented formalisms T. Rus, AMAST 2000: International Conference on Algebraic Methodology and Software Technology, Vol. 1816 2000 Springer 469 483
24. R. Banach, and M. Poppleton Retrenchment J.M. Wing, J. Woodcock, J. Davies, World Congress on Formal Methods Lecture Notes in Computer Science vol. 1709 1999 Springer 1864 1865
25. M. Poppleton, and L. Groves Formal perspectives on software evolution: from refinement to retrenchment Software Evolution and Feedback: Theory and Practice 2006 313 338
26. P. Kosiuczenko Redesign of UML class diagrams: a formal approach Software and Systems Modeling 8 2 2009 165 183
27. H. Giese, and R. Wagner From model transformation to incremental bidirectional model synchronization Software and Systems Modeling 8 1 2009 21 43
28. T. Mens, R.V.D. Straeten, and M. DHondt Detecting and resolving model inconsistencies using transformation dependency analysis O. Nierstrasz, J. Whittle, D. Harel, G. Reggio, Model Driven Engineering Languages and Systems Lecture Notes in Computer Science vol. 4199 2006 Springer Berlin Heidelberg 200 214 (Pubitemid 44618560)
29. T. Olsen, and J. Grundy Supporting traceability and inconsistency management between software artefacts International Conference on Software Engineering and Applications 2002 IASTED Press
30. A. Krishna, A. Ghose, and S. Vilkomir Co-evolution of Complementary Formal and Informal Requirements 2004 IEEE Computer Society Los Alamitos, CA, USA 159 164
31. Z. Fu, and G. Smith Towards More Flexible Development of Z Specifications TASE 2008 IEEE Computer Society 281 288
32. T. Ruhroth Refactoring Object-Z specifications L.A. mmd Ana Ingolfsdottir, NWPT, Nordic Workshop on Programming Theory 2006 Reykjavik University Reykjavik, Iceland
33. T. McComb, and G. Smith Architectural Design in Object-Z Australian Software Engineering Conference 2004 IEEE Computer Society 77 86
34. T. McComb, and G. Smith A minimal set of refactoring rules for Object-Z G. Barthe, F.S. de Boer, FMOODS, Vol. 5051 Lecture Notes in Computer Science 2008 Springer 170 184