Browse > Article

Techniques to Transform Object-oriented Design into Component-based Design Formal Specifications using Formal Specifications  

신숙경 (숭실대학교 컴퓨터학과)
이종국 (숭실대학교 컴퓨터학)
김수동 (숭실대학교 컴퓨터학과)
Publication Information
Journal of KIISE:Software and Applications / v.31, no.7, 2004 , pp. 883-900 More about this Journal
Abstract
As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.
Keywords
Object-oriented design; Component-based design; Formal specification; Program transformation;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Larsson, M. and Crnkovic, I., 'Development Experiences of a Component-Based System,' Seventh IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000   DOI
2 McGibbon, B., 'Status of CBSE in Europe,' Component-Based Software Engineering, Addison-Wesley, 2001
3 Szyperski, C, Component Software- beyond Object-Oriented Programming, Addison Wesley, 1997
4 Brown, A., Large-Scale, Component-Based Development, Prentice Hall, 2000
5 Sousa, P. and Garlan, D., 'Formal Modeling of the Enterprise JavaBeans Component Integration Framework,' Information and Software Technology, Vol.43, 2001   DOI   ScienceOn
6 OMG, UML Specification v1.4, September, 2001
7 Spivey, J. The Z Notation A Reference Manual, URL : http://spivey.oriel.ox.ac.uk/~mike/zrm/, 1992
8 Smith, G., The Object-Z Specification Language, Kluwer Academic Publishers, 2000
9 Smith, G., 'An Object-Oriented Approach to Formal Specification,' Doctoral Thesis, University of Queensland, 1992
10 Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Uthing, D., Paech, B., Wuest, J. and Zettel, J. Component-based Product Line Engineering with UML, Addison-Wesley, 2001
11 Fischer, C., 'Combination and Implementation of Processes and Data: from CSP-OZ to Java,' Doctoral Thesis, University of Oldenburg, January 2000
12 Butler, G., Grogono, P. and Khendek, F., 'A Z Specification of Use Cases: A Preliminary Report,' 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), IEEE Computer Society Press, Los Alamitos, CA, 1997   DOI
13 Soon-Kyeong Kim and David Carrington, 'A Formal Mapping between UML Models and Object-Z Specifications,' International Conference of Band Z Users, Springer Verlag, Berlin, 2000
14 Booch, G., Rumbaugh, J. and Jacobson, I., The Unified Modeling Language User Guide, Addison-Wesley, 1998