Model transformations incorporating multiple views

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

Volumn 4019 LNCS, Issue , 2006, Pages 111-126

  Derrick, John ^a   Wehrheim, Heike ^b  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; THEOREM PROVING;

MODEL DRIVEN ARCHITECTURE; OMG; PLATFORM INDEPENDENT DESCRIPTIONS;

COMPUTER SCIENCE;

EID: 33746065988     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11784180_11     Document Type: Conference Paper

References (31)

1. [BD02] Ch. Bolton and J. Davies. Refinement in Object-Z and CSP. In M. Butler, L. Petre, and K. Sere, editors, IFM 2002: Integrated Formal Methods, number 2335 in LNCS, pages 225-244, 2002.
2. [BHTV04] L. Baresi, R. Heckel, S. Thöne, and D. Varro. Style-Based Refinement of Dynamic Software Architectures. In 4th Working IEEE/IFIP Conference on Software Architecture (WICSA4), pages 155-164. IEEE Computer Society, 2004.
3. [BPPT03] P. Bottoni, F. Parisi-Presicce, and G. Taentzer. Coordinated distributed diagram transformation for software evolution. In Reiko Heckel, Tom Mens, and Michel Wermelinger, editors, Electronic Notes in Theoretical Computer Science, volume 72. Elsevier, 2003.
4. [DB01] J. Derrick and E. A. Boiten. Refinement in Z and Object-Z. SpringerVerlag, 2001.
5. [DB03] J. Derrick and E.A. Boiten. Relational concurrent refinement. Formal Aspects of Computing, 15(2-3).-182-214, November 2003.
6. [dE98] W.-P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. CUP, 1998.
7. [DS03] J. Derrick and G. Smith. Structural Refinement of Systems Specified in Object-Z and CSP. Formal Aspects of Computing, 15(1):1 - 27, July 2003.
8. [FDR97] Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual, Oct 1997.
9. [Fis97] C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS '97), volume 2, pages 423-438. Chapman & Hall, 1997.
10. +92] A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. Viewpoints: A framework for integrating multiples perspectives in system development. International Journal of Software Engineering and Knowledge Engineering, 2(1):31-58, 1992.
11. [FOW01] C. Fischer, E.-R. Olderog, and H. Wehrheim. A CSP view on UML-RT structure diagrams. In H. Hussmann, editor, FASE'01, number 2029 in LNCS, pages 91-108. Springer, 2001.
12. [FW99] C. Fischer and H. Wehrheim. Model-checking CSP-OZ specifications with FOR. In K. Araki, A. Galloway, and K. Taguchi, editors, Proceedings of the 1st International Conference on Integrated Formal Methods (IFM), pages 315-334. Springer, 1999.
13. [He89] Jifeng He. Process simulation and refinement. Formal Aspects of Computing, 1:229-241, 1989.
14. [Hoa85] C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
15. [Jos88] M. B. Josephs. A state-based approach to communicating processes. Distributed Computing, 3:9-18, 1988.
16. [KHE03] J. Küster, R. Heckel, and G. Engels. Defining and and Validating Transformations of UML Models. In IEEE Symposium on Visual Languages and Formal Methods, pages 145-152. IEEE Computer Society, 2003.
17. +03] J. Koehler, R. Hauser, S. Kapoor, F. Wu, and S. Kumaran. A Model-Driven Transformation Method. In EDOC 2003, pages 186-197. IEEE Computer Society, 2003.
18. [LB98] K. Lano and J. Bicarregui. Semantics and Transformations for UML Models. In Jean Bézivin and Pierre-Alain Muller, editors, UML, volume 1618 of Lecture Notes in Computer Science, pages 107-119. Springer, 1998.
19. [MORW04] M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim. Linking CSP-OZ with UML and Java: A Case Study. In Integrated Formal Methods, number 2999 in Lecture Notes in Computer Science, pages 267-286, March 2004.
20. [MS04] T. McComb and G. Smith. Architectural Design in Object-Z. In Australian Software Engineering Conference (ASWEC 2004). IEEE Computer Society, 2004.
21. [MT04] T. Mens and T. Tourwé. A Survey of Software Refactoring. IEEE Transactions on Software Engineering, 30(2), 2004.
22. [OW05] E.-R. Olderog and H. Wehrheim. Specification and (property) inheritance in CSP-OZ. Science of Computer Programming, (55) :227-257, 2005.
23. [PR03] J. Philipps and B. Rumpe. Refactoring of Programs and Specifications, pages 281-297. Kluwer Academic Publishers, 2003.
24. [Ros98] A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
25. [RW03] H. Rasch and H. Wehrheim. Checking Consistency in UML Diagrams: Classes and State Machines. In FMOODS 2003: Formal Methods for Open Object-based Distributed Systems, number 2884 in LNCS, pages 229-243. Springer, 2003.
26. [Smi00] G. Smith. The Object-Z Specification Language. Kluwer Academic Publisher, 2000.
27. [SPTJ01] G. Sunyé, D. Pollet, Y. Le Traon, and J.-M. Jézéquel. Refactoring UML models. In Martin Gogolla and Cris Kobryn, editors, UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools., volume 2185 of LNCS, pages 134-148. Springer, 2001.
28. [TS02] H. Treharne and S.A. Schneider. Communicating B machines. In ZB2002: International Conference of Z and B Users, volume 2272 of LNCS. Springer, 2002.
29. [Weh00] H. Wehrheim. Specification of an automatic manufacturing system - a case study in using integrated formal methods. In T. Maibaum, editor, FASE 2000: Fundamental Aspects of Software Engineering, number 1783 in LNCS, pages 334-348. Springer, 2000.
30. [Whi02] Jon Whittle. Transformations and software modeling languages: Automating transformations in uml. In Jean-Marc Jézéquel, Heinrich Hußmann, and Stephen Cook, editors, UML, volume 2460 of Lecture Notes in Computer Science, pages 227-242. Springer, 2002.
31. [ZJ96] P. Zave and M. Jackson. Where do operations come from? A multiparadigm specification technique. IEEE Transactions on Software Engineering, XXII(7):508-528, 1996.