초록

용어보기논문에서 용어와 풀이말을 자동 추출한 결과로, 시범 서비스 중입니다. AI-Helper

분석 모델은 개발자의 언어로 작성되어 정확성과 일관성이 있는 개발 산출물로 관리되어야 한다. 본 논문은 이를 지원하기 위해 정형명세를 위한 New FST를 정의하고, 분석 모델의 정확성과 일관성 검증 규칙을 제안하며, 사례 연구를 통하여 적용하여 이 규칙들을 시험하였다.

분석 모델은 개발자의 언어로 작성되어 정확성과 일관성이 있는 개발 산출물로 관리되어야 한다. 본 논문은 이를 지원하기 위해 정형명세를 위한 New FST를 정의하고, 분석 모델의 정확성과 일관성 검증 규칙을 제안하며, 사례 연구를 통하여 적용하여 이 규칙들을 시험하였다.

AI 본문요약

엑셀 다운로드 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

• 연구 주제
• 연구 방법
• 연구 결과

문제 정의

• 따라서 본 논문은 UML에서 메타 모델의 사용하여 일부 정형 명세 기법을 도입했다는 사실을 고려하여, 알고리즘 형태의 정형 명세 기법을 사용함으로서 메타 모델을 보중하고, UML의 분석 모델을 정의하여 정확한 의미론의 해석을 시도한다.
• 분석 모델은 개발자의 언어로 작성되어 정확성과 일관성이 있는 개발 산출 불로 관리되어야 한다, 이를 지원하기 위해 본 논문은 분석 모델을 일관성을 검중하기 위해, New FST와 정확성과 일관성 검증 규칙을 제안하고, 사례연구를 통하여 적용하여 이 규칙들을 시험하였다. 본 논문은 UML 표기들 사이의 숨은 의미를 규칙으로서 분명히 드러내어, 좋은 품질의 분석 모델의 개발에 기여한다고 생각한다.

가설 설정

• 1. C ts a finite set of the names of classes in an class diagram.
• 2. M is a finite set of the names of message in an interact ion diagram.
• 3. For each object ot e 0 , o, is consisted of object, type and class. The object may be anonymous.

제안 방법

• >의 쓰임새도의 정확성 규칙을 적용하여 모델을 검토한다. ATM-Usecase = (。, A, 孺에 서 ruleUl과 rule(J2 규칙을 적용하여 A 튜플에서 액터의 이름이 유일한가, U 导플에서 쓰임새의 이름이 유일한가를 검사한다. R 튜플에 ruleU3과 rul이J4를 적용하여, R 튜플의 요소의 타입이 연관일 경우에는 sender는 액터 이름, recerivei■는 쓰임새 이름인가를 확인한다.
• New FST룔 사용하여 쓰임새도 정형 명세에의 쓰임새도의 정확성 규칙을 적용하여 모델을 검토한다.
• 먼저 분석 모델을 정형명세하기 위 혼! New FST를 정의하고, 정확성과 일관성 검증 讨칙을 제안한다.
• ruleUTl를 적용하여 쓰임새의 집합인 U 튜플의 원소들이 교류 도로 존재하는가 검사홍卜고, U 튜풀의 원소가 ruleUT2는 이 교류 도의 제어 객체로 존재하는가를 검사한다. rpleUT3을 적용하여 액터들의 집합인 A 튜플의 원소들이 교류도의 객체로 존재하는가를 검사한다. r니leUT4과 ruleLT5를 사용하여 관계의 집합인 R 튜플에서 연관 관게가 협력도의 경계 객체로, 순차도의 메시치로 존재하는가를 검사한다.
• ruleUTl를 적용하여 쓰임새의 집합인 U 튜플의 원소들이 교류 도로 존재하는가 검사홍卜고, U 튜풀의 원소가 ruleUT2는 이 교류 도의 제어 객체로 존재하는가를 검사한다. rpleUT3을 적용하여 액터들의 집합인 A 튜플의 원소들이 교류도의 객체로 존재하는가를 검사한다.
• rpleUT3을 적용하여 액터들의 집합인 A 튜플의 원소들이 교류도의 객체로 존재하는가를 검사한다. r니leUT4과 ruleLT5를 사용하여 관계의 집합인 R 튜플에서 연관 관게가 협력도의 경계 객체로, 순차도의 메시치로 존재하는가를 검사한다.
• 반면 본 논문에서는 UML을 기반으로 알고리즘 형태의 정형 명세 기법을 사용하여 UML을 보안하고, 도구 기반으로 구현이 용이하다는 점이 장점이라 하겠다.
• 위 분석 모델을 New FST를 사용하여 정형명세총)■고, 위에서 도출한 규칙들을 적용하여 정확성과 일치성을 검중한다.

이론/모형

• 竺임새도와 교류도의 정형 명세에 의 일관성 검중 규칙, ruleU-11' ruleUT5을 적용한다.

후속연구

• 분석 모델은 개발자의 언어로 작성되어 정확성과 일관성이 있는 개발 산출 불로 관리되어야 한다, 이를 지원하기 위해 본 논문은 분석 모델을 일관성을 검중하기 위해, New FST와 정확성과 일관성 검증 규칙을 제안하고, 사례연구를 통하여 적용하여 이 규칙들을 시험하였다. 본 논문은 UML 표기들 사이의 숨은 의미를 규칙으로서 분명히 드러내어, 좋은 품질의 분석 모델의 개발에 기여한다고 생각한다. 현재 이러한 검증 규칙을 자동화하기 위한 알고리즘에 관한 연구가 진행 중에 있다.
• 현재 이러한 검증 규칙을 자동화하기 위한 알고리즘에 관한 연구가 진행 중에 있다. 이를 바탕으로 검증도구의 자동화뿐-만 아니라, 분석 모델을 자동으로 정형명세하는 도구에 대한 연구도 진행되어야 한다.

본문요약 정보가 도움이 되었나요? 예 아니오 제출

이 논문을 인용한 문헌

더보기