본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

객체모델에 대한 형식명세로의 변환 방법
The Translation Method to formal specification of Object Model

임근   (서울보건대학 전산정보처리과UU0000697  ); 권영만   (서울보건대학 전산정보처리과UU0000697  );
  • 초록

    본 논문에서는 정확한 분석 모델을 제시하기 위해서 객체 모델을 정의하고, 이 모델을 정형화와 표준화에 필요한 형식명세로 변환하는 방법을 제안한다. VDM 형식으로 변환된 모델은 정확성, 일관성, 완전성을 제공할 수 있다. 증명의 대상인 VDM 명세에서 오류가 발생한다면 초기 객체 모델 단계에 적용하여 객체 모델의 검증이 가능하다. 검증된 객체 모델을 설계 단계의 기반 명세로 사용하므로 추후 개발 단계의 비용과 노력을 최소화하고 객체 모델 선택의 정확성을 높일 수 있다.


    In these paper, we define object models in order to represent a correct analysis model, propose translation method to formal specification necessary to uniform and standard. The translated model provide to correctness, consistency and completeness. If it is happen to error in the VDM specification, we can verify model to adapt initial object model step. It increase correctness to retrieval, reduce the costs and efforts of after development because of the verified model used to basic specification in design step.


  • 주제어

    Formal specification .   Object model .   Model verification.  

 저자의 다른 논문

  • 임근 (4)

    1. 1999 "설계패턴을 이용한 캠퍼스 인트라넷 구조의 객체모델링" 한국OA학회논문지 = Journal of The Korean Institute of Office Automation 4 (4): 113~119    
    2. 2002 "이벤트 추상화를 통한 정보관계 표현" 한국OA학회논문지 = Journal of The Korean Institute of Office Automation 7 (4): 1~7    
    3. 2004 "Opportunity Tree 프레임워크를 이용한 소프트웨어 결함관리" 韓國컴퓨터情報學會論文誌 = Journal of the Korea Society of Computer and Information 9 (4): 1~4    
    4. 2006 "객체모델을 이용한 컴포넌트 설계 및 검색 프로토타입" 韓國컴퓨터情報學會論文誌 = Journal of the Korea Society of Computer and Information 11 (6): 27~33    

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 출판된 논문 + 더보기