Browse > Article

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

노혜민 (전북대학교 대학원 컴퓨터통계정보학과)
유철중 (전북대학교 자연과학대학 컴퓨터과학과)
Publication Information
Journal of KIISE:Software and Applications / v.29, no.12, 2002 , pp. 895-906 More about this Journal
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.
Keywords
DbC(Design by Contract); EJB; Formal Specification;
Citations & Related Records
Times Cited By KSCI : 3  (Citation Analysis)
연도 인용수 순위
1 OMG, OMG Unified Modeling Language Specification, http://www.rational.co.kr/leadership/uml_resource_center.asp, 1999
2 ParaSoft, Using Design By $Contract^{TM}$: to Automate $Java^{TM}$ Software and Component Testing, 2001.
3 Richard Mitchell, Jim McKim, Design by Contract, by Example, Addison Wesley, 2002
4 Peter Hersum, Oliver Sims, Business Component Factory, Wiley, 2000
5 B. Meyer, 'Applying 'design by contract:', Computer, pp. 40-51, October, 1992   DOI   ScienceOn
6 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
7 Jean-Marc Jezequel, and Bertrand Meyer, 'Design By Contract: The Lessons of Ariane', Computer, pp. 129-130, Jan, 1997   DOI   ScienceOn
8 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   DOI
9 R. Kramer, 'iContract-The $Java^{TM}$' Design by Contract' Tool', Technology of Object-Oriented Languages, TOOLS 26 Proceedings, pp. 295-307, 1998   DOI
10 B. Meyer, 'Design By Contract: The Eiffel Method', Technology of Object-Oriented Languages, TOOLS 26, Proceedings, pp. 446-446, 1998
11 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   DOI
12 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
13 노혜민, 유철중, 장옥배, 'DBC 접근법을 이용한 엔터프라이즈 빈즈 명세 기법', 한국정보과학회 추계 학술발표논문집(I), 제28권 2호, pp. 421-423, 2001   과학기술학회마을
14 Yu Liu, 'From UML to Design By Contracts', JOOP, April, 2001
15 Ed Roman, Mastering Enterprise JavaBeans, Wiley, 2000
16 R. Plosch, 'Technology of Object-Oriented Languages and Systems', TOOLS 26 Proceedings, pp. 282-294, 1998
17 Warmer, Kleppe, The Object Constraint Language, Addison Wesley, 1998
18 노혜민, 이상영, 김송주, 유철중, 장옥배, 이우진, 신규상, '서버측 애플리케이션 개발을 위한 EJB 지원 엔터프라이즈 빈즈 생성기/전개기의 설계 및 구현', 한국정보과학회 논문지;컴퓨터의 실제, pp, 429-439, 2001   과학기술학회마을
19 Benoit Baudry, Yves Le Traon, Jean-Marc Jezequel, 'Robustness and Diagnosability of 00 Systems Designed By Contracts', Software Metrics Symposium, pp. 272-284, 2001   DOI