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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Arbab, F., Sirjani, M. (eds.): FSEN 2009. LNCS, vol. 5961. Springer, Heidelberg (2010)
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)
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)
Chen, Z., Morisset, C., Stolz, V.: Specification and validation of behavioural protocols in the rCOS modeler. In: Arbab and Sirjani [1], pp. 387–401
Choi, M., Cho, E.: Component Identification Methods Applying Method Call Types between Classes. J. Inf. Sci. Eng. 22, 247–267 (2006)
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)
Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSC’s and the Play-Engine. Springer (2003)
He, J., Liu, Z., Li, X.: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2), 109–142 (2006)
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)
Li, D., Li, X., Stolz, V.: QVT-based model transformation using XSLT. SIGSOFT Softw. Eng. Notes 36, 1–8 (2011)
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)
Liu, Z., Morisset, C., Stolz, V.: rCOS: theory and tools for component-based model driven development. In: Arbab and Sirjani [1], pp. 62–80
Object Management Group. UML 2.0 Diagram Interchange Specification (September 2003), http://www.omg.org/cgi-bin/doc?ptc/2003-09-01
Object Management Group. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Version 1.1 (December 2009)
Object Management Group. Unified Modeling Language: Superstructure, version 2.3 (May 2010), http://www.omg.org/spec/UML/2.3/Superstructure
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)
Rausch, A., Reussner, R., Mirandola, R., Plášil, F. (eds.): The Common Component Modeling Example. LNCS, vol. 5153. Springer, Heidelberg (2008)
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)
Szyperski, C., Gruntz, D., Murer, S.: Component software: beyond object-oriented programming. Addison-Wesley Professional (2002)
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)
WWW Consortium. XSL Transformations (XSLT) Version 2.0, W3C Recommendation (January 2007), http://www.w3.org/TR/2007/REC-xslt20-20070123/
Zhao, L., Liu, X., Liu, Z., Qiu, Z.: Graph transformations for object-oriented refinement. Formal Aspects of Computing 21(1-2), 103–131 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)