Skip to main content

Formalizing MDA Components

  • Conference paper
Reuse of Off-the-Shelf Components (ICSR 2006)

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

Included in the following conference series:

Abstract

The Model Driven Architecture (MDA) promotes the use of models and model transformations for developing software systems. The idea behind MDA is to manage the evolution from Platform Independent Models to Platform Specific Models that can be used to generate executable components and applications. The concepts of metamodels and metamodel-based model transformations are critical in MDA. In this paper, we propose a metamodeling technique to reach a high level of reusability and adaptability of MDA components. In particular, we analyze how to define reusable components for the standard design patterns in a way that fits MDA very closely. To define families of reusable components we describe a “megamodel” that refers to metamodels and model transformations organized into an architectural framework. We propose a “megamodel” formalization that focuses on interoperability of formal languages in Model Driven Development (MDD).

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

Access this chapter

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.

References

  1. Albin-Amiot, H., Guéhéneuc, Y.: Meta-modeling Design Patterns: application to pattern detection and code synthesis. In: Tekinerdogan, B. (ed.) Proceeding of ECOOP Workshop on Automating Object-Oriented Software Development Methods (2001)

    Google Scholar 

  2. Arnout, K.: From Patterns to Components. Ph.D. Thesis, Swiss Institute of Technology (ETH Zurich) (2004)

    Google Scholar 

  3. Bettin, J.: Practicalities of Implementing Component-Based Development and Model-Driven Architecture. In: Proceedings of Workshop Process Engineering for Object-Oriented and Component-Based Development, OOSPLA 2003, USA (2003)

    Google Scholar 

  4. Bidoit, M., Mosses, P.D.: CASL User Manual- Introduction to Using the Common Algebraic Specification Language. LNCS, vol. 2900. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  5. CASE TOOLS (2005), http://www.objectbydesign.com/tools

  6. Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: Bettin, J., et al. (eds.) Proceedings of OOSPLA 2003 Workshop on Generative Techniques in the Context of Model-Driven Architecture (2003), http://www.oopsla.acm.org/oopsla2003

  7. D´Souza, D., Cameron Wills, A.: On Components, and Framework with UML. Addison-Wesley, Reading (1999)

    Google Scholar 

  8. Favre, L.: Foundations for MDA-based Forward Engineering. Journal of Object Technology (JOT) 4(1), 129–153 (2005)

    Article  MathSciNet  Google Scholar 

  9. Favre, L.: A Rigorous Framework for Model Driven Development. In: Halpin, T., Krogstie, J., Siau, K. (eds.) Proceedings of CAISE 2005 Workshops. EMMSAD 2005 Tenth International Workshop on Exploring Modeling Method in System Analysis and Design, Porto, Portugal. FEUP Editions, pp. 505–516 (2005)

    Google Scholar 

  10. France, R., Kim, D., Ghosh, S., Song, E.: A UML-Based Pattern Specification Technique. IEEE Transactions on Software Engineering 30(3), 193–206 (2004)

    Article  Google Scholar 

  11. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)

    Google Scholar 

  12. Judson, S., Carver, D., France, R.: A metamodeling approach to model transformation. In: OOPSLA Companion 2003, 326–327 (2003)

    Google Scholar 

  13. Kuster, J., Sendall, S., Wahler, M.: Comparing Two Model Transformation Approaches. In: Bezivin, J., et al. (eds.) Proceedings of OCL and Model Driven Engineering Workshop, Lisboa, Portugal (2004), http://www.cs.kent.ac.uk/projects/ocl/oclmdewsuml04

  14. MDA: The Model Driven Architecture (2005), http://www.omg.org/mda

  15. Meyer, B.: The Grand Challenge of Trusted Components. In: Proceedings of the 25th International Conference on Software Engineering, Portland, Oregon, pp. 660–667 (2003)

    Google Scholar 

  16. MOF: Meta Object facility (MOF TM) 1.4, formal/2002-04-03 (2005), www.omg.org/mof

  17. OCL: OCL Specification. Version 2.0. Formal document: ptc/03-10-14 (2005), www.omg.org

  18. QVT: Revised submission for MOF 2.0 Query/Views/Transformations RFP. Version 1.1. OMG Adopted Specification. ptc/05-11-01 (2003), www.omg.org

  19. Szyperski, C., Gruntz, D., Murer, S.: Component Software. Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley and ACM Press (2002)

    Google Scholar 

  20. UML: UML 2.0 Superstructure Specification. OMG formal/05-07-04 (2005), www.omg.org

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Favre, L., Martinez, L. (2006). Formalizing MDA Components. In: Morisio, M. (eds) Reuse of Off-the-Shelf Components. ICSR 2006. Lecture Notes in Computer Science, vol 4039. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11763864_24

Download citation

  • DOI: https://doi.org/10.1007/11763864_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-34606-7

  • Online ISBN: 978-3-540-34607-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics