The KIPS Transactions:PartD (정보처리학회논문지D)

Korea Information Processing Society (한국정보처리학회)
권호 표지

Description Techniques for Reusable Components and Interface using Formal Methods

정형기법에 의한 재사용 컴포넌트 및 인터페이스 명세 기술 연구

  • 서동수 (성신여자대학교 컴퓨터정보학부)
  • Published : 2001.02.01
Download PDF
⟨ Previous Next ⟩

Abstract

Correct descriptions for software component functions become a strong requirement in developing critical software especially on the area of real-time applications. In this paper, we introduce both formalization of software design using patterns and verification methods in order for the components to increase their understandability. In particular, the paper investigates into a means of formal description techniques based on VDM++ for the software components, and provides adequacy proof steps for a given functional descriptions.

소프트웨어 컴포넌트의 기능에 대한 정확한 서술은 컴포넌트의 활용을 위한 필수 조건이며 특히, 실시간 시스템과 같은 엄밀성을 요하는 분야에는 더욱 중요한 요소로 작용한다. 본 논문에서는 컴포넌트의 이해를 높이는 수단으로 패턴에 기반한 정형적 표현 및 검증에 관한 내용을 소개한다. 특히 본 논문은 컴포넌트 기능 서술 시 VDM++를 이용하는 명세 방법, 주어진 명세에 대한 정제와 정합성 검증에 관한 정형기법의 활용방법을 제시한다.

Keywords

References

  1. G. Grahn, Transition from Conventional to Component-based Development, Int'l Workshop on Component-Based Software Engineering, pp.78-82, 1999
  2. C. Szyperski, Component Software : Beyond Object Oriented Programming, Addison-Wesley, 1997
  3. 홍기형, 서동수, '차세대 웹에서의 컴포넌트 소프트웨어, 정보처리학회지', Vol.6, No.3, pp.45-51, 1999
  4. Butler Group, Component-Based Development : Application Delivery and Integration Using Componentised Software, Butler Group White Paper, 1998
  5. T. Mowbray, R. Malveau, CORBA Deign Pattern, John Wiley & Sons, 1997
  6. Gamma, E. et al, Design Patterns : Elements of Reusable Object-Oriented Software, Addison- Wesley, 1995
  7. J. Coplien, D. Schmidt, Pattern Languages of Programming Design, Addison-Wesley 1995
  8. J. Woodcock, J. Davis, Using Z Specification, Refinement, and Proof, Prentice Hall, 1996
  9. C. B. Jones, Systematic Software Development using VDM, 2nd ed. Prentice Hall 1990
  10. R. Milner, Communication and Concurrency, Prentice Hall, 1991
  11. C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985
  12. H. Ehrig, B. Mahr, Fundamentals of Algebraic Specification I : Equations and Initial Semantics, Springer-Verlag, 1985
  13. K. Lano, H. Haughton, Reasoning and Refinement in Object-Oriented Specification Languages, ECOOP '92 Conference Proceedings, Springer-Verlag, 1992 https://doi.org/10.1007/BFb0053031
  14. A. Alencar, J. Goguen, OOZE : An Object-Oriented Z Environment, ECOOP '91 Proceedings, LNCS 512, pp.180-199, Springer-Verlag, 1991
  15. E. Durr, VDM++Language Reference Manual, Afrodite Report AFRO/CG/ED/LRM/V11, 1995
  16. K. Lano, et al, Formalising Design Patterns, BCS-FACS Northern Formal Methods Workshop, Iikley, UK. Springer-Verlag 1996
  17. J. Fiadeiro, T. Maibaurn, Describing, Structuring and Implementing Objects, in Foundations of Object Oriented languages, LNCS 489, Springer-Verlag, 1991
  18. C. Larman, Applying UML and Patterns, Prentice Hall PTR, 1998