• 정보처리학회논문지D
• /
• 제11D권3호
• /
• pp.649-658
• /
• 2004

객체지향 시스템은 상호 작용하늘 객체들의 집합으로 구성되었고 시스템의 행위는 객체들의 협력 행위로 표현된다. 객체지향 소프트웨어의 상속성, 다형성 등 특성들은 소프트웨어 테스팅에 어려움을 증가시키고 객체의 병행성, 동적바인딩, 상호작용 등 동적인 면들은 프로그램의 실행 시간에 한 멤버 함수의 호출에 의해 여러 멤버함수로 바인딩될 수 있다. 그러므로 객체지향 소프트웨어의 특성들을 고려하고 동시에 객체들간의 상호착용을 테스트하기 위한 연구가 필요하다 이 논문에서 상속성, 다형성 등 특성을 고려하여 평탄화된(Flattened) 상태차트 다이어그램을 구성하고, 시스템 모델링과 시뮬레이션에 전형적으로 사용되는 CPN(Colored Petri net)으로 모델링 한 후 Design/CPN 툴에 적용하여 객체지향 소프트웨어 객체들간의 상호작용 테스트를 자동화할 수 있는 테스트 레이스 생성 기법을 제안한다.

• 한국정보통신학회논문지
• /
• 제24권7호
• /
• pp.857-865
• /
• 2020

본 논문에서는 시퀀스 다이어그램의 메시지 패턴에 기반하여 자바 코드를 생성하는 방법을 제시하고자 한다. 시퀀스 다이어그램에서 메시지는 몇 가지 유형이 전형적으로 나타낸다. 따라서 이들 유형을 분류하여 패턴으로 정의하고, 이들 각 패턴의 메시지에 대한 정보를 분석하여 코드 변환을 하기 위한 메타 정보를 구축한다. 시퀀스 다이어그램 메시지의 구조적 정보를 분석한 '메타 메시지' 정보를 MetaMessage 데이터스토어에 구축하고, 이들 메타 메시지 정보로부터 구성되는 '메타 메소드' 정보를 MetaMethod 데이터스토어에 구축한다. 이 과정에서 메타 클래스 정보와 메타 오브젝트 정보가 함께 구축되고 사용된다. 각 패턴의 메타 정보에 기반하여 타겟 프로그래밍 언어의 문법에 따라 메시지에 상응하는 코드를 생성하게 된다. 또한, 기존 연구에서는 통합적으로 잘 다루지 않았던 분기와 반복에 대한 복합 패턴을 제시함으로써 기본 패턴과 통합된 코드 생성을 가능하게 한다.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.971-982
• /
• 2003

다이어그램의 일관성이란 하나의 요구사항으로부터 설계된 여러가지 UML 다이어그램이 통일된 의미로 작성되었는가를 나타내는 성질이고, 정확성은 사용자가 작서안 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 본 연구에서는 UML(Unified Modeling Language) 버전 1.4 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검즈아는 방법으로서 UML 표중의 모델제약언어로 사용되는 OCL(Object Constraint Language)을 이용하여 검증하는 방법을 제시한다. 검증의 초기작업으로서 구성요소와 관계로 표현된 각 다이어그램의 메타모델을 유도하고, 메타 모델을 통해 정확성 및 일관성 검증규칙을 유도한다. 유도된 검증규칙은 명확화와 자동화를 위하여 특징적으로 OCL을 사용하여 정형적으로 명세한다. 명세된 규칙은 USE 도구를 이용하여 그 유용성을 검증한다.

• 한국융합학회논문지
• /
• 제13권3호
• /
• pp.1-9
• /
• 2022

UML(Unified Modeling Language) 클래스 다이어그램은 시스템의 정적인 측면을 표현하며 분석 및 설계부터 문서화, 테스팅까지 사용된다. 클래스 다이어그램을 이용한 모델링이 소프트웨어 개발에 있어 필수적이지만, 경험이 많지 않은 모델러에게 쉽지 않은 작업이다. 도메인 카테고리별로 분류된 클래스 다이어그램 데이터 세트가 제공된다면, 모델링 작업의 생산성을 높일 수 있을 것이다. 본 논문은 클래스 다이어그램 이미지 데이터를 구축하기 위한 자동 분류 기술을 제공한다. 추가 정보 없이 단지 UML 클래스 다이어그램 이미지를 식별하고 도메인 카테고리에 따라 자동 분류한다. 먼저, 웹상에서 수집된 이미지들이 UML 클래스 다이어그램 이미지인지 여부를 판단한다. 그리고, 식별된 클래스 다이어그램 이미지에서 클래스 이름을 추출하여 도메인 카테고리에 따라 분류한다. 제안된 분류 모델은 정밀도, 재현율, F1점수, 정확도에서 각각 100.00%, 95.59%, 97.74%, 97.77%를 달성했으며, 카테고리별 분류에 대한 정확도는 81.1%와 95.2% 사이에 분포한다. 해당 실험에 사용된 클래스 다이어그램 이미지 개수가 충분히 크지 않지만, 도출된 실험 결과는 제안된 자동 분류 방식이 고려할 만한 가치가 있음을 나타낸다.

• 한국정보처리학회논문지
• /
• 제7권1호
• /
• pp.29-40
• /
• 2000

인터넷 상의 문서가 많아지고 이에 대한 정확한 접근이 요구됨에 따라, 인터넷 자원에 대한 메타데이터를 표준화시키고, 메타베이스를 구축, 활용하는 것은 매우 중요하다. RDF(Resource Description Framework)는 구조화된 메타데이터를 표현하고, 교환하며 재사용하기 위한 기반 구조이며, 문법으로 XML을 이용하기 때문에 표준화된 메타데이터에 대한 일괄된 표현 및 교환, 처리가 가능하다. RDF 스키마는 RDF 모델에서 사용을 위해 제안한 기본 타입 시스템으로 본 논문에서는 XML로 된 RDF 스키마를 UML 클래스 다이어그램에 사상시키는 규칙과 알고리즘을 제안하고 이를 통해 객체 모델링하므로써 객체 지향 데이터베이스 스키마로의 변환을 용이하게 한다. 그리고, RDF 스키마에 대한 객체지향 스키마 형태인 형식 모델을 정의하여 객체지향 문서 처리와 검색을 위한 효율적인 환경을 제시할 것이다.

• 정보처리학회논문지A
• /
• 제10A권5호
• /
• pp.493-502
• /
• 2003

최근 웹-기반 XML 응용에 관한 필요성이 급증함에 따라, 이와 관련된 WIDL, OSD, CDF에 관한 연구가 널리 이루어지고 있다. 특히 OSD 포맷은 소프트웨어 패키지와 그들 간의 관계를 정의하는 것으로 CDF 문서 등에서 많이 사용되고 있다. 그러나 아직까지 이에 대한 객체 모델링이 제안된 바 없어, 소프트웨어를 재사용하려는 사람들마다 별도의 양식으로 이들 관계를 표현하고 있는 실정이다. 따라서, 본 논문은 UML의 다양한 관련성을 이용하여 OSD와 CDF문서를 UML클래스 다이어그램으로 사상시키고자 한다. 이를 통해 소프트웨어 패키지간의 구현과 실제 관계를 UML형태로 일관되게 표현할 수 있을 뿐만 아니라 모델링 함수를 통해 XML문서의 구조를 쉽게 파악, 변형을 용이하게 하는 장점이 있다.

• 한국정보처리학회논문지
• /
• 제5권4호
• /
• pp.915-923
• /
• 1998

HTTP의 등장으로 전세계적으로 인터넷붐이 조성되고 있는 가운데 플랫폼과 독립적으로 실행되고 동적 문맥을 제공하는 자바 기술이 등장하였다. 본 논문에서는 이러한 변화에 따라 웹에서 사용가능한 케이스 서버의 필요성을 제시하였고 웹과 자바 기술을 사용하여 이 케이스 서버에 장착할 수 있는 이벤트 다이어그래머 애플릿을 설계하고 구현하였다. 이벤트 다이어그래머는 케이스 도구를 구성하는 여러 부품중 하나이다. 즉, 이벤트 다이어그래머는 이벤트와 작용의 관계를 표현하는 그래픽 표현 요소들로 구성된 표기법인 이벤트 다이어그램을 작성하는 도구이다. 이 논문에서는 작성한 이벤트 다이어그래머 애플릿은 웹에서 Martin/Odell의 객체지향 방법론에 따르는 이벤트 다이어그램을 작성해 주는 도구이다.

• 정보보호학회논문지
• /
• 제4권2호
• /
• pp.55-70
• /
• 1994

본 논문은 데이타베이스의 동적 기능을 모형화하기 위해서 동적 규칙을 사건과 동적 규칙 객체로 취급하여 개념적 스키마에 표현하는 동적 객체지향 데이타 모델을 제안한다. 제안된 모델에서 정적 구조와 동적 구조에 대한 개념들을 정의하고 모형화 과정에서 사용자의 이해도를 증진시키는 모델의 구성요호에 대한 그래픽 다이어그램을 제시하였다. 그리고 동적 규칙이 데이타베이스 구조에 포함됨으로써 발생가능한 정보의 불법적인 노출 또는 변경을 방지하기 위해서 BLP모델의 보안 정책을 확장하여 제안된 모델에 대한 11가지 종류의 다단계 보안 성질들을 정의하였다. 또한, 정의된 다단계 보안 성질들이 타당한가를 조사하기 위해서 패트리네트를 확장하여, 보안 성질의 검증작업을 수행하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.580-582
• /
• 2001

현재 소프트웨어 개발 주기의 초기 단계에서 소프트웨어의 개발과 유지보수를 위한 비용과 노력을 미리 예측하는 소프트웨어 규모 예측 방법이 요구되고 있다. 이에 따라 소프트웨어 규모 예측 방법을 위한 수백개의 메트릭스가 제안되고 있지만, 난해하고 복잡한 측정 방법으로 인해 소수의 실제 전문가에 의해 사용되고 있다. 이용할 해당 메트릭스의 장점과 단점을 파악하고 적용시켜야 시행착오를 피할 수 있다. 본 논문에서는 객체지향 시스템 분석 단계에서 주로 작성되는 UML Use Case 다이어그램 분석을 통해 소프트웨어 규모 예측을 하는 방법을 비교 분석한다. 이를 따르면 메트릭스를 적절히 사용하여 보다 효율적인 소프트웨어 프로젝트 관리를 할 수 있을 것이다.

• 한국정보처리학회논문지
• /
• 제7권12호
• /
• pp.3829-3839
• /
• 2000

UML(Unified Modeling Language)의 구조 중에 UML 클래스 다이어그램은 객체모델링에 매우 적합하여, 최근에는 UXF(UML eXchange Format)까지 등장하여 UML 클래스 다이어그램을 여러 이기종 문서와의 교환이 가능하게 되었다. 따라서 본 논문은 UML 클래스 다이어그램을 인터넷 문서의 표준으로 자리잡은 XML 문서의 DTD 형태로 변환하는 시스템을 설계하였다. 이를 통하여 우리는 모델링 언어의 표준인 UML 클래스 다이어그램을 재사용 성이 뛰어난 XML 문서 형태로 쉽게 변형 및 저장할 수 있을 것이다. 또한 DTD로 변환하기 때문에 문서의 논리구조를 다양한 형식으로 표현할 수 있는 유연성을 제공할 수 있을 것이다.