Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Specification Technique of EJB-Based Application using Design by Contracts Approach

DbC 접근법을 이용한 EJB 기반 애플리케이션의 명세 기법

  • 노혜민 (전북대학교 대학원 컴퓨터통계정보학과) ;
  • 유철중 (전북대학교 자연과학대학 컴퓨터과학과)
  • Published : 2002.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

Due to increased concern about the distributed web application, the interest in EJB - server-side Java component architecture that enables to make out Business Logic without writing codes related to complicated distributed framework - is also increasing. Despite of these increased interest, However, efforts for reliability of these systems have been insufficient. Thus, in this paper, we propose specification technique for applying DbC approach, which can elevate the reliability of software in the Object-Oriented system development, in writing formal specification of EJB-based application. Through this specification technique, developers can gain reliability in the EJB-based application development.

분산 웹 애플리케이션에 대한 관심도가 증가함에 따라서 복잡한 분산 프레임워크와 관련된 코드의 작성 없이 비즈니스 코드 작성에 주력할 수 있게 해 주는 서버측 Java 컴포넌트 아키텍처인 EJB에 대한 관심도 또한 증가하고 있는 추세이다. 그러나 이러한 관심도의 증가에도 불구하고 지금까지는 이러한 시스템의 신뢰성 측면에 대한 노력은 미비한 것이 현실이다. 따라서 본 논문에서는 객체지향 시스템 개발에서 소프트웨어의 신뢰성을 높여줄 수 있는 접근법으로 증명되고 있는 DbC 접근법을 EJB 기반 애플리케이션의 정형 명세 작성에 적용하기 위한 명세 기법을 제안한다. 이러한 명세 기법을 통해 개발자들은 EJB 기반 애플리케이션 개발에 있어서 신뢰성 측면의 이점을 얻을 수 있다.

Keywords

References

  1. Peter Hersum, Oliver Sims, Business Component Factory, Wiley, 2000
  2. B. Meyer, 'Applying 'design by contract:', Computer, pp. 40-51, October, 1992 https://doi.org/10.1109/2.161279
  3. B. Baudry, Vu Le Hanh, Y. Le Traon, 'Testing-for-Trust: the Genetic Selection Model Applied to Component Qualification', Technology of Object-Oriented Languages, TOOLS 33, Proceedings pp. 108-119, 2000 https://doi.org/10.1109/TOOLS.2000.848755
  4. K. Amout, r. Simon, 'The .NET Contract Wizard: Adding Design By Contract to Language Other Than Eiffel', Technology of Object-Oriented Languages and Systems, TOOLS 39 International Conference and Exhibition, pp, 14-23, 2001 https://doi.org/10.1109/TOOLS.2001.941655
  5. ISE, 'Building bug-free O-O software : An introduction to Design By Contract', http://www.eiffel.com/doc/manuals/technoloty/contract/page.html 1,2000
  6. Jean-Marc Jezequel, and Bertrand Meyer, 'Design By Contract: The Lessons of Ariane', Computer, pp. 129-130, Jan, 1997 https://doi.org/10.1109/2.562936
  7. R. Kramer, 'iContract-The $Java^{TM}$' Design by Contract' Tool', Technology of Object-Oriented Languages, TOOLS 26 Proceedings, pp. 295-307, 1998 https://doi.org/10.1109/TOOLS.1998.711021
  8. Yu Liu, 'From UML to Design By Contracts', JOOP, April, 2001
  9. Ed Roman, Mastering Enterprise JavaBeans, Wiley, 2000
  10. B. Meyer, 'Design by Contract: Making Object-Oriented Programs that Work', Technology of Object-Oriented Languages and Systems, TOOLS 25 Proceedings, pp. 360-361, 1998
  11. R. Plosch, 'Technology of Object-Oriented Languages and Systems', TOOLS 26 Proceedings, pp. 282-294, 1998
  12. Warmer, Kleppe, The Object Constraint Language, Addison Wesley, 1998
  13. B. Meyer, 'Design By Contract: The Eiffel Method', Technology of Object-Oriented Languages, TOOLS 26, Proceedings, pp. 446-446, 1998
  14. Benoit Baudry, Yves Le Traon, Jean-Marc Jezequel, 'Robustness and Diagnosability of 00 Systems Designed By Contracts', Software Metrics Symposium, pp. 272-284, 2001 https://doi.org/10.1109/METRIC.2001.915535
  15. 노혜민, 이상영, 김송주, 유철중, 장옥배, 이우진, 신규상, '서버측 애플리케이션 개발을 위한 EJB 지원 엔터프라이즈 빈즈 생성기/전개기의 설계 및 구현', 한국정보과학회 논문지;컴퓨터의 실제, pp, 429-439, 2001
  16. 노혜민, 유철중, 장옥배, 'DBC 접근법을 이용한 엔터프라이즈 빈즈 명세 기법', 한국정보과학회 추계 학술발표논문집(I), 제28권 2호, pp. 421-423, 2001
  17. OMG, OMG Unified Modeling Language Specification, http://www.rational.co.kr/leadership/uml_resource_center.asp, 1999
  18. ParaSoft, Using Design By $Contract^{TM}$: to Automate $Java^{TM}$ Software and Component Testing, 2001.
  19. Richard Mitchell, Jim McKim, Design by Contract, by Example, Addison Wesley, 2002