• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.340-342
• /
• 2005

임베디드 소프트웨어의 적용영역이 확장됨에 따라 학계와 업계에서 임베디드 소프트웨어 개발 기술에 대한 관심이 고조되고 있다. UML 2.0은 산업체에서 많이 사용되는 모델링 언어로, 그 동안 현장에서는 주로 상태머신 다이어그램(State Machine Diagrams)을 사용하여 임베디드 소프트웨어의 동적 행위를 모델링하여 왔다. 그러나 모델러는 상태머신 다이어그램보다 시퀀스 다이어그램(Sequence Diagrams)을 선호하는데, 이는 시퀀스 다이어그램을 사용하는 것이 직관적이고 정확한 행위 모델을 개발할 수 있기 때문이다. UML 2.0이 최근 다양한 모델링 요소를 반영하도록 확장되었음에도 불구하고, 시퀀스 다이어그램을 사용하여 임베디드 소프트웨어를 모델링을 하기에는 아직 부족한 점이 있다. 이를 보완하고, 임베디드 소프트웨어를 더욱 잘 디자인하기 위하여 예외 상황과 인터럽트를 처리할 수 있는 방법을 제안한다.

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

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

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권1호
• /
• pp.19-26
• /
• 2013

소프트웨어 시스템의 안정성 및 품질을 향상시키기 위해서 상태 다이어그램을 기반으로 한 테스트 기법들과 상태 다이어그램 도출에 관한 연구들이 진행되고 있다. 기존의 연구들은 일부 상태와 전이를 변경하여 상태 다이어그램의 복잡도 문제를 해결하고 있다. 그러나 테스트 케이스 도출에는 상태와 전이를 유지하면서 상태 다이어그램을 도출하는 방법이 필요하며 복잡도를 낮추는 방법도 필요하다. 본 논문에서는 상태나 전이의 변경 없이 복잡도를 감소시키기 위해 STMT(State-Transition Mapping Tree) 방법을 제안한다. 제안한 방법은 기존의 표기법과 비교하였을 때 복잡도가 낮다는 결과를 얻을 수 있었으며 시스템이 복잡해질수록 기존 방식에 비해 복잡도 개선에서 이점을 보였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.949-951
• /
• 2004

본 논문에서는 유클리드 평면상에 도로망이 주어져 있어서 여행자들이 그 도로들을 이용하여 더욱 빠르게 이동할 수 있을 경우를 가정한다. 이 때, 두 점 사이의 거리는 기하학적 직선거리가 아닌 주어진 도로들을 이용하여 두 점 사이를 이동할 때 필요한 최소시간으로 측정한다. 본 논문에서는 이러한 새로운 거리 척도를 고려할 때에 보로노이 다이어그램이 어떤 특성을 갖는 가를 연구하며 그것을 이용하여 보로노이 다이어그램을 효율적으로 계산하는 알고리즘을 제시한다. 이알고리즘은 O(nm$^2$logn＋m$^3$logm)의 시간과 O(m(n + m))의 공간을 필요로 한다. 이 때, n은 주어진 싸이트의 개수이고 m은 주어 진 도로의 개수이다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2016년도 제53차 동계학술대회논문집 24권1호
• /
• pp.283-284
• /
• 2016

사물인터넷이란 인간의 일상생활에 사용 중인 가전제품, 의료기기, 기타 센서 부착 기기들이 인터넷에 연결되어 스스로 통신하고 제어하는 환경이다. 본 논문에서는 사물인터넷을 구성하는 각 사물들 간의 효율적인 통신을 위해 센터노드를 설정하고 각 사물들이 센터 노드를 중계기로 활용하여 다른 사물들과 효과적인 통신할 때 보로노이 다이어그램을 적용하는 방법을 제안한다.

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

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

• 한국공간정보시스템학회 논문지
• /
• 제11권1호
• /
• pp.105-114
• /
• 2009

최근 사용자에게 자신과 가장 가까운 k 개의 주유소, 레스토랑, 은행 등의 POI(Point Of Interest) 정보를 추천해주는 위치 기반 서비스가 텔레매틱스, ITS(Intelligent Transport Systems), 키오스크(kiosk)등의 어플리케이션에서 필요로 하고 있다. 이를 위해, 보로노이 다이어그램 k-최근접점 탐색 알고리즘이 제안되었다. 이는 보로노이 다이어그램에서 각 POI의 네트워크의 거리를 미리 계산한 파일을 이용하여 k-최근접점 탐색을 수행한다. 그러나 이 알고리즘은 보로노이 다이어그램 확장에 따른 비용 문제를 야기한다. 따라서 본 논문에서는 보로노이 다이어그램의 경계지점마다 각각에 대하여 최소거리 행렬을 생성하는 알고리즘을 제안한다. 또한 k 개의 POI를 탐색하기 위해, 최소거리 행렬을 이용한 k-최근접점 탐색 알고리즘을 제안한다. 제안하는 알고리즘은 미리 계산된 경계 지점 간 최소거리 행렬을 통해 탐색하므로, k-최근 접점 탐색 시 보로노이 다이어그램의 확장비용을 최소화한다. 아울러 기존 연구와의 성능비교를 통해 제안하는 알고리즘이 기존 알고리즘에 비해 검색시간 측면에서 성능이 우수함을 보인다.

• 한국정보통신학회논문지
• /
• 제14권12호
• /
• pp.2707-2715
• /
• 2010

본 논문에서는 MVC 패턴에 기반한 클래스 다이어그램 저작도구의 설계와 구현을 제시하고자 한다. 클래스 다이어그램 저작도구의 설계는 ClassInformation, ScreenDisplay, ToolManager에 대한 정의를 하고 구조를 기술한다. ClassInformation은 다이어그램의 정보를 가공하거나 처리하는 부분을 담당한다. ScreenDisplay는 저작도구의 화면을 구성하기 위해서 GUI를 담당한다. ToolManager는 저작도구의 입출력 처리위해 이벤트 처리를 담당한다. MVC 패턴을 바탕으로 저작도구의 ClassInformation, ScreenDisplay, ToolManager는 각각의 역할이 독립적으로 나눠져 있고, 결합도를 낮추기 때문에 새로운 기능 추가에 유연하게 대처한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권12호
• /
• pp.1158-1171
• /
• 2003

UML은 객체지향 모델링에 있어서 표준으로 받아들여지고 있다. UML은 풍부한 구성요소를 가지므로 개발하고자하는 시스템을 상세하게 묘사할 수 있지만, 모델링된 다이어그램의 정확성과 일관성은 보장하지 못한다는 결점을 가진다. 따라서 개발프로세스의 초기단계에서 사용자 모델을 검증함으로써 오류를 최소화하는 것이 중요하다. 본 연구에서는 메타-메타모델과 OCL로 표현된 검증규칙을 이용하여 UML structural 다이어그램과 behavioral 다이어그램의 일관성을 검증하는 방법을 제안한다. 일관성은 하나의 요구사항을 가지고 작성된 structural 다이어그램과 behavioral 다이어그램이 일관성있게 작성되었는지를 판단하기 위한 성질이다. 검증의 첫 번째 작업으로서 UML 다이어그램과 그들사이의 관련요소로 표현된 메타-메타모델을 유도하고, 유도된 메타-메타모델로부터 일관성을 검증하기 위한 규칙을 유도하고, 유도된 검증규칙은 검증작업의 자동화를 위해 OCL과 같은 정형적인 언어로 명세한다. 마지막으로 사례모델을 통해 검증규칙의 유용성을 검증한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 춘계학술발표대회
• /
• pp.207-210
• /
• 2006

소프트웨어 프로덕트 라인 공학은 공통성과 가변성 식별을 통해 소프트웨어 재사용을 극대화시키는 접근방법으로 이를 지원하는 특성모델 작성도구에 대한 연구가 다수 진행되고 있다. 하지만 FODA 방식의 특성다이어그램을 지원하는 도구들은 특성다이어그램과 추가적인 특성제약사항을 분리하여 명세하기 때문에, 특성모델의 이해와 두 명세 사이의 일관성 보장이 어렵다. 따라서 본 논문에서는 UML을 이용하여 특성다이어그램에 추가적인 특성제약사항을 함께 표현함으로써 특성모델의 이해를 돕고, UML 특성다이어그램의 작성규칙 검사를 통하여 일관성을 보장하는 도구를 제안한다. 이를 기반으로 한 UML 특성모델 편집기를 통하여 개발자는 보다 쉽게 특성모델링을 수행하고, 일관성 있는 특성모델을 작성할 수 있다.