Advertisement

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

  • Dan Li
  • Xiaoshan Li
  • Zhiming Liu
  • Volker Stolz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, 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 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arbab, F., Sirjani, M. (eds.): FSEN 2009. LNCS, vol. 5961. Springer, Heidelberg (2010)zbMATHGoogle Scholar
  2. 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)CrossRefGoogle Scholar
  3. 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)MathSciNetzbMATHCrossRefGoogle Scholar
  4. 4.
    Chen, Z., Morisset, C., Stolz, V.: Specification and validation of behavioural protocols in the rCOS modeler. In: Arbab and Sirjani [1], pp. 387–401Google Scholar
  5. 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. 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. 7.
    Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSC’s and the Play-Engine. Springer (2003)Google Scholar
  8. 8.
    He, J., Liu, Z., Li, X.: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2), 109–142 (2006)MathSciNetzbMATHCrossRefGoogle Scholar
  9. 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. 10.
    Li, D., Li, X., Stolz, V.: QVT-based model transformation using XSLT. SIGSOFT Softw. Eng. Notes 36, 1–8 (2011)CrossRefGoogle Scholar
  11. 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. 12.
    Liu, Z., Morisset, C., Stolz, V.: rCOS: theory and tools for component-based model driven development. In: Arbab and Sirjani [1], pp. 62–80Google Scholar
  13. 13.
    Object Management Group. UML 2.0 Diagram Interchange Specification (September 2003), http://www.omg.org/cgi-bin/doc?ptc/2003-09-01
  14. 14.
    Object Management Group. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Version 1.1 (December 2009)Google Scholar
  15. 15.
    Object Management Group. Unified Modeling Language: Superstructure, version 2.3 (May 2010), http://www.omg.org/spec/UML/2.3/Superstructure
  16. 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. 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. 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)CrossRefGoogle Scholar
  19. 19.
    Szyperski, C., Gruntz, D., Murer, S.: Component software: beyond object-oriented programming. Addison-Wesley Professional (2002)Google Scholar
  20. 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. 21.
    WWW Consortium. XSL Transformations (XSLT) Version 2.0, W3C Recommendation (January 2007), http://www.w3.org/TR/2007/REC-xslt20-20070123/
  22. 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)zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Dan Li
    • 1
  • Xiaoshan Li
    • 1
  • Zhiming Liu
    • 2
  • Volker Stolz
    • 2
    • 3
  1. 1.Faculty of Science and TechnologyUniversity of MacauChina
  2. 2.UNU-IISTMacauChina
  3. 3.Dept. of InformaticsUniversity of OsloNorway

Personalised recommendations