한국인터넷방송통신학회논문지 (The Journal of the Institute of Internet, Broadcasting and Communication)

  • 제9권5호
  • /
  • Pages.169-174
  • /
  • 2009
  • /
  • 2289-0238(pISSN)
  • /
  • 2289-0246(eISSN)
한국인터넷방송통신학회 (The Institute of Internet, Broadcasting and Communication)
권호 표지

객체 모델 선택을 위한 검증 및 검색방법

The Verification and Retrieval Method for selection of Compatible Object Model

  • 투고 : 2009.09.05
  • 발행 : 2009.10.30
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 논문에서는 정확한 분석 모델을 제시할 수 있는 객체 모델링과 정형화 방법을 통해 개발자와 사용자간 효과적인 의사소통을 제공하고 객체모델의 정형화와 표준화에 필요한 형식명세로의 변환 규칙을 제안한다. 사용자의 요구에 따라 최적의 객체모델 선택을 위한 객체 모델 검색 프로토타입을 제시한다. 이를 통해서 적합한 모델을 선택할 수 있으므로 소프트웨어 개발시 비용과 노력을 최소화할 수 있다.

In this paper, We define convert rules objects and relation presented in object model to the state and operation domain in formal specification. we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

키워드

참고문헌

  1. 이경환, 소프트웨어 재사용을 위한 객체 모델링 기법, 교학사, 1993
  2. Latchem, S,. "Component Infrastructures: Placing Software Components in Context," Component_Based Software Engineering, Putting the Pieces Together, Heineman G. and Council, W., ed., Addison-Wesley, 2001.
  3. Atkinson, C., et al., Component-Based Product Line Engineering with UML, Addison Wesley, 2002.
  4. Peter Lindsay, "On transferring VDM verification techniques to Z," Technical Report No. 94-10, Department of Computer Science, University of Queensland.
  5. Rumbaugh, James, Jacobson, Ivar, and Booch, Grady, "The Unified Modeling Language: Reference Manual", 2nd Ed., 2005
  6. Kleppe, Anneke G, et al,. MDA Explained, Addison Wesley, 2003.
  7. Frankel, D, S., Model Driven Architecture-Applying MDA to Enterprise computing, Wiley Publishing, Inc,. 2003.
  8. Braganca, Alexandre and Machado, Ricardo J., "Extending UML 2.0 Metamodel for Complementary Usages of the <>> Relationship within Use Case Variability Specification", SPLC'06, 2006
  9. Metz, Pierre, O'Brien, John and Weber, Wolfgang, "Specifying Use Case Interaction: Types of Alternative Courses", Journal of Object Technology, Vol. 2, No.2, Mar 2003