Nothing Special   »   [go: up one dir, main page]
Skip to main content
SpringerLink
Log in

Model Transformations Incorporating Multiple Views

  • Conference paper
Algebraic Methodology and Software Technology (AMAST 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4019))

Abstract

Model transformations are an integral part of OMG’s standard for Model Driven Architecture. Model transformations are advocated to be behaviour preserving: platform specific models should adhere to platform independent descriptions developed in earlier design stages.

In this paper, we deal with models consisting of several views of a system. Often, in such a scenario, model transformations change just one view, and, although the overall transformation of all views is behaviour preserving, it is not behaviour preserving in isolation. To tackle this problem we develop a proof technique (and show its soundness) that allows one to consider just the view that has changed, and not the entire system. We focus specifically on one particular class of view-crossing transformations, namely on transformations conjunctively adding new constraints to a model.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Bolton, C., Davies, J.: Refinement in Object-Z and CSP. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 225–244. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  2. Baresi, L., Heckel, R., Thöne, S., Varro, D.: Style-Based Refinement of Dynamic Software Architectures. In: 4th Working IEEE/IFIP Conference on Software Architecture (WICSA4), pp. 155–164. IEEE Computer Society Press, Los Alamitos (2004)

    Chapter  Google Scholar 

  3. Bottoni, P., Parisi-Presicce, F., Taentzer, G.: Coordinated distributed diagram transformation for software evolution. In: Heckel, R., Mens, T., Wermelinger, M. (eds.) Electronic Notes in Theoretical Computer Science, vol. 72, Elsevier, Amsterdam (2003)

    Google Scholar 

  4. Derrick, J., Boiten, E.A.: Refinement in Z and Object-Z. Springer, Heidelberg (2001)

    MATH  Google Scholar 

  5. Derrick, J., Boiten, E.A.: Relational concurrent refinement. Formal Aspects of Computing 15(2-3), 182–214 (2003)

    Article  MATH  Google Scholar 

  6. de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. CUP (1998)

    Google Scholar 

  7. Derrick, J., Smith, G.: Structural Refinement of Systems Specified in Object-Z and CSP. Formal Aspects of Computing 15(1), 1–27 (2003)

    Article  MATH  Google Scholar 

  8. Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual (October 1997)

    Google Scholar 

  9. Fischer, C.: CSP-OZ: A combination of Object-Z and CSP. In: Bowman, H., Derrick, J. (eds.) Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997), vol. 2, pp. 423–438. Chapman and Hall, Boca Raton (1997)

    Google Scholar 

  10. Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A framework for integrating multiples perspectives in system development. International Journal of Software Engineering and Knowledge Engineering 2(1), 31–58 (1992)

    Article  Google Scholar 

  11. Fischer, C., Olderog, E.-R., Wehrheim, H.: A CSP view on UML-RT structure diagrams. In: Hussmann, H. (ed.) ETAPS 2001 and FASE 2001. LNCS, vol. 2029, pp. 91–108. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  12. Fischer, C., Wehrheim, H.: Model-checking CSP-OZ specifications with FDR. In: Araki, K., Galloway, A., Taguchi, K. (eds.) Proceedings of the 1st International Conference on Integrated Formal Methods (IFM), pp. 315–334. Springer, Heidelberg (1999)

    Google Scholar 

  13. He, J.: Process simulation and refinement. Formal Aspects of Computing 1, 229–241 (1989)

    Article  Google Scholar 

  14. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)

    MATH  Google Scholar 

  15. Josephs, M.B.: A state-based approach to communicating processes. Distributed Computing 3, 9–18 (1988)

    Article  MATH  Google Scholar 

  16. Küster, J., Heckel, R., Engels, G.: Defining and and Validating Transformations of UML Models. In: IEEE Symposium on Visual Languages and Formal Methods, pp. 145–152. IEEE Computer Society Press, Los Alamitos (2003)

    Google Scholar 

  17. Koehler, J., Hauser, R., Kapoor, S., Wu, F., Kumaran, S.: A Model-Driven Transformation Method. In: EDOC 2003, pp. 186–197. IEEE Computer Society Press, Los Alamitos (2003)

    Google Scholar 

  18. Lano, K., Bicarregui, J.: Semantics and Transformations for UML Models. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 107–119. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  19. Möller, M., Olderog, E.-R., Rasch, H., Wehrheim, H.: Linking CSP-OZ with UML and Java: A Case Study. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol. 2999, pp. 267–286. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  20. McComb, T., Smith, G.: Architectural Design in Object-Z. In: Australian Software Engineering Conference (ASWEC 2004), IEEE Computer Society Press, Los Alamitos (2004)

    Google Scholar 

  21. Mens, T., Tourwé, T.: A Survey of Software Refactoring. IEEE Transactions on Software Engineering 30(2) (2004)

    Google Scholar 

  22. Olderog, E.-R., Wehrheim, H.: Specification and (property) inheritance in CSP-OZ. Science of Computer Programming (55), 227–257 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  23. Philipps, J., Rumpe, B.: Refactoring of Programs and Specifications, pp. 281–297. Kluwer Academic Publishers, Dordrecht (2003)

    Google Scholar 

  24. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)

    Google Scholar 

  25. Rasch, H., Wehrheim, H.: Checking Consistency in UML Diagrams: Classes and State Machines. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 229–243. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  26. Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)

    MATH  Google Scholar 

  27. Sunyé, G., Pollet, D., Le Traon, Y., Jézéquel, J.-M.: Refactoring UML models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 134–148. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  28. Treharne, H., Schneider, S.A.: Communicating B machines. In: Bert, D., P. Bowen, J., C. Henson, M., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol. 2272, Springer, Heidelberg (2002)

    Google Scholar 

  29. Wehrheim, H.: Specification of an automatic manufacturing system – a case study in using integrated formal methods. In: Maibaum, T.S.E. (ed.) ETAPS 2000 and FASE 2000. LNCS, vol. 1783, pp. 334–348. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  30. Whittle, J.: Transformations and software modeling languages: Automating transformations in uml. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 227–242. Springer, Heidelberg (2002)

    Google Scholar 

  31. Zave, P., Jackson, M.: Where do operations come from? A multiparadigm specification technique. IEEE Transactions on Software Engineering XXII(7), 508–528 (1996)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, University of Sheffield, Sheffield, S1 4DP, UK

    John Derrick

  2. Institut für Informatik, Universität Paderborn, 33098, Paderborn, Germany

    Heike Wehrheim

Authors
  1. John Derrick
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Heike Wehrheim
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Macquarie University,  

    Michael Johnson

  2. Dept. of Computer Science, Univ. of Tartu, J. Liivi 2, P.O. Box, EE-50409, Tartu, Estonia

    Varmo Vene

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Derrick, J., Wehrheim, H. (2006). Model Transformations Incorporating Multiple Views. In: Johnson, M., Vene, V. (eds) Algebraic Methodology and Software Technology. AMAST 2006. Lecture Notes in Computer Science, vol 4019. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11784180_11

Download citation

  • DOI: https://doi.org/10.1007/11784180_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35633-2

  • Online ISBN: 978-3-540-35636-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation