Skip to main content

Interactive Transformations from Object-Oriented Models to Component-Based Models

  • Conference paper

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

Abstract

Consider an object-oriented model with a class diagram, and a set of object sequence diagrams, each representing the design of object interactions for a use case. This article discusses how such an OO design model can be automatically transformed into a component-based model for the purpose of reusability, maintenance, and more importantly, distributed and independent deployment. We present the design and implementation of a tool that transforms an object-oriented model to a component-based model, which are both formally defined in the rCOS method of model driven design of component-based software, in an interactive, stepwise manner. The transformation is designed using QVT Relations and implemented as part of the rCOS CASE tool.

Keywords

  • Model-driven development
  • OO design model
  • sequence diagram
  • component model
  • model transformation
  • QVT

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arbab, F., Sirjani, M. (eds.): FSEN 2009. LNCS, vol. 5961. Springer, Heidelberg (2010)

    MATH  Google Scholar 

  2. Birkmeier, D., Overhage, S.: On Component Identification Approaches – Classification, State of the Art, and Comparison. In: Lewis, G.A., Poernomo, I., Hofmeister, C. (eds.) CBSE 2009. LNCS, vol. 5582, pp. 1–18. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  3. Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model driven design. Sci. Comput. Program. 74(4), 168–196 (2009)

    CrossRef  MathSciNet  MATH  Google Scholar 

  4. Chen, Z., Morisset, C., Stolz, V.: Specification and validation of behavioural protocols in the rCOS modeler. In: Arbab and Sirjani [1], pp. 387–401

    Google Scholar 

  5. Choi, M., Cho, E.: Component Identification Methods Applying Method Call Types between Classes. J. Inf. Sci. Eng. 22, 247–267 (2006)

    Google Scholar 

  6. Fan-Chao, M., Den-Chen, Z., Xiao-Fei, X.: Business Component Identification of Enterprise Information System: A Hierarchical Clustering Method. In: Proc. of the 2005 IEEE Intl. Conf. on e-Business Engineering (2005)

    Google Scholar 

  7. Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSC’s and the Play-Engine. Springer (2003)

    Google Scholar 

  8. He, J., Liu, Z., Li, X.: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2), 109–142 (2006)

    CrossRef  MathSciNet  MATH  Google Scholar 

  9. Lee, S.D., Yang, Y.J., Cho, F.S., Kim, S.D., Rhew, S.Y.: COMO: A UML-based component development methodology. In: 6th Asia Pacific Softw. Eng. Conf., pp. 54–61. IEEE (1999)

    Google Scholar 

  10. Li, D., Li, X., Stolz, V.: QVT-based model transformation using XSLT. SIGSOFT Softw. Eng. Notes 36, 1–8 (2011)

    CrossRef  Google Scholar 

  11. Liu, Z., Mencl, V., Ravn, A.P., Yang, L.: Harnessing theories for tool support. In: Proc. of the Second Intl. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, isola 2006, pp. 371–382. IEEE Computer Society Press (August 2006)

    Google Scholar 

  12. Liu, Z., Morisset, C., Stolz, V.: rCOS: theory and tools for component-based model driven development. In: Arbab and Sirjani [1], pp. 62–80

    Google Scholar 

  13. Object Management Group. UML 2.0 Diagram Interchange Specification (September 2003), http://www.omg.org/cgi-bin/doc?ptc/2003-09-01

  14. Object Management Group. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Version 1.1 (December 2009)

    Google Scholar 

  15. Object Management Group. Unified Modeling Language: Superstructure, version 2.3 (May 2010), http://www.omg.org/spec/UML/2.3/Superstructure

  16. Pontisso, N., Chemouil, D.: TOPCASED Combining formal methods with model-driven engineering. In: ASE 2006: Proc. of the 21st IEEE/ACM Intl. Conf. on Automated Software Engineering, pp. 359–360. IEEE Computer Society, Washington, DC (2006)

    Google Scholar 

  17. Rausch, A., Reussner, R., Mirandola, R., Plášil, F. (eds.): The Common Component Modeling Example. LNCS, vol. 5153. Springer, Heidelberg (2008)

    Google Scholar 

  18. Shahmohammadi, G., Jalili, S., Hasheminejad, S.M.H.: Identification of System Software Components Using Clustering Approach. Journal of Object Technology 9(6), 77–98 (2010)

    CrossRef  Google Scholar 

  19. Szyperski, C., Gruntz, D., Murer, S.: Component software: beyond object-oriented programming. Addison-Wesley Professional (2002)

    Google Scholar 

  20. Wang, Z., Xu, X., Zhan, D.: A survey of business component identification methods and related techniques. International Journal of Information Technology 2(4), 229–238 (2005)

    Google Scholar 

  21. WWW Consortium. XSL Transformations (XSLT) Version 2.0, W3C Recommendation (January 2007), http://www.w3.org/TR/2007/REC-xslt20-20070123/

  22. Zhao, L., Liu, X., Liu, Z., Qiu, Z.: Graph transformations for object-oriented refinement. Formal Aspects of Computing 21(1-2), 103–131 (2009)

    CrossRef  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Li, D., Li, X., Liu, Z., Stolz, V. (2012). Interactive Transformations from Object-Oriented Models to Component-Based Models. In: Arbab, F., Ölveczky, P.C. (eds) Formal Aspects of Component Software. FACS 2011. Lecture Notes in Computer Science, vol 7253. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35743-5_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35743-5_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35742-8

  • Online ISBN: 978-3-642-35743-5

  • eBook Packages: Computer ScienceComputer Science (R0)