• 정보처리학회논문지D
• /
• 제16D권1호
• /
• pp.65-72
• /
• 2009

현재 컴포넌트 기반 개발 기법은 재사용성과 생산성 측면에서 효과적인 소프트웨어 개발 방법으로 많은 각광을 받고 있다. 하지만 기존의 UML을 이용한 컴포넌트 기반 개발에서는 컴포넌트의 행위를 배제하고 컴포넌트 인터페이스만 참조하여 컴포넌트를 설계함으로써, 컴포넌트의 구체적인 행위에 대한 파악과 컴포넌트 간 인터페이스 호환성 보장이 불가능하다. 이에 따라 컴포넌트 설계 단계에서 컴포넌트의 행위를 상태기계 다이어그램으로 표현하고, 표현된 상태기계 다이어그램을 통해 컴포넌트의 행위 호환성을 보장할 필요가 있다. 이 연구에서는 상태기계 다이어그램으로 표현된 컴포넌트의 행위를 관찰 일치(observation equivalence)와 호출 일관성(invocation consistency)의 개념을 이용하여 행위 호환성을 검증하는 방법을 제공하고, 동적으로 이를 수행하는 도구를 개발한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.37-39
• /
• 2002

정형 언어 OCL은 UML의 한 부분으로써 클래스 다이어그램과 상태 기계의 조건을 표현하는데 많은 장점을 가지고 있다. 그렇지만, OCL을 이용하여 상태 기계를 메타모델링 하는데는 적지 않은 한계가 있다. UML/OCL은 모델의 정적인 구조를 강조하지만, 시스템이나 서브 시스템의 시간과 환경에 대한 반응을 고려는 미흡하다. 또한, 시스템의 변화에 있어 시그널은 오퍼레이션과 유사하지만 상태 기계에서만 다루어진다. 결국, 시스템의 변화에 대한 고려는 상태 기계를 통하여 보다 명확하게 명세 될 수 있으며, 현재 OCL의 확장으로써 이러한 문제를 해결 할 수 있다.

• 정보처리학회논문지D
• /
• 제19D권4호
• /
• pp.281-292
• /
• 2012

스마트 폰과 같은 모바일 기기에서 동작하는 응용 소프트웨어는 제한된 배터리 용량으로 인하여 안정적인 서비스를 지속적으로 제공하는데 어려움을 갖는다. 과거에는 배터리의 수명을 연장 시키거나 소모전력이 적은 하드웨어 장치들을 개발하는 것으로 모바일 기기의 소모전력을 관리하였다. 그러나 시스템에 탑재되는 소프트웨어가 복잡해짐에 따라 소프트웨어에 대한 소모전력 분석 연구도 관심을 갖게 되었다. 이러한 연구들 중에서 모델 기반의 소모전력 분석은 코드가 개발되기 이전에 미리 소모전력을 분석하고, 분석 결과를 기반으로 소프트웨어를 개발한다는 측면에서 소모전력 감소를 위한 하나의 중요한 전략으로 인식되어 오고 있다. 따라서 본 논문에서는 소프트웨어의 행위 모델인 UML의 상태기계(State Machine) 다이어그램을 이용하는 소모전력 분석 기법을 제안한다. 제안하는 분석기법은 상태기계 다이어그램을 페트리 넷으로 변환하고, 이의 시뮬레이션을 통해 소모전력을 예측하게 된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.319-321
• /
• 2005

항해는 웹 응용의 대표적인 행위 특성이다. 본 연구에서는 UML 2.0의 행위 다이어그램 메타 모델을 확장한 웹 응용 항해 모델을 제안한다. 본 항해 모델은 딜 판정 항해 모델과 데이터 전송 관점 항해 모델로 구성된다. 뷰 관점 항해 모델은 UML 상태 기계 다이어그램을 확장하여 사용자에게 표시되는 항해를 기술한다. 데이터 전송 관점 항해 모델은 데이터가 전송되는 항해를 나타내며 UML 시퀀스 다이어그램을 확장하여 표현한다. 두 항해 모델은 상호 보완적으로 작용하여 온전한 항해 문맥을 형성한다. 본 논문에서는 UML 2.0 메타 모델의 확장점과 항해 모델의 표기법을 제시하고, 사례 연구를 통하여 실제적인 항해 모델의 예를 보인다.

• 한국전자통신학회논문지
• /
• 제7권6호
• /
• pp.1567-1572
• /
• 2012

자동차용 IPC는 운전자에게 차량의 속도, RPM, 주행 거리 등의 운행 정보를 제공하는 장치이다. 기존의 전통적인 IPC의 경우 주로 기계식으로 구현되고 있으나 현재 사용자의 편의성 증대를 위한 요구 증가에 따라 IPC에도 그래픽 요소와 효율적인 정보제공을 위한 사용자친화적인 형태로의 변화가 필요하다. 이를 위해서는 모델링 기법을 이용하여 소프트웨어의 유연성과 강건성을 갖는 IPC의 소프트웨어 구조가 필요하다. 이에 본 논문에서는 MVC 모델과 UML을 이용하여 IPC 소프트웨어 구조를 설계하고 구현한다. 뷰를 분리하여 개발함으로써 다양한 형태의 정보 화면을 개발할 수 있고 또한 UML의 상태 다이어그램을 통해 뷰의 전환 등을 간단한 상태의 변화로 처리하여 개발이 용이하다. 제안하는 IPC 시스템은 개발 기간의 단축을 통한 비용 절감 및 MVC 모델 구조에 따른 유지보수의 용이성을 기대할 수 있다.

• 한국전자통신학회논문지
• /
• 제7권6호
• /
• pp.1321-1326
• /
• 2012

자동차용 IPC는 운전자에게 차량의 속도, RPM, 주행 거리 등의 운행 정보를 제공하는 장치이다. 기존의 전통적인 IPC의 경우 주로 기계식으로 구현되고 있으나 현재 사용자의 편의성 증대를 위한 요구 증가에 따라 IPC에도 그래픽 요소와 효율적인 정보제공을 위한 사용자친화적인 형태로의 변화가 필요하다. 이를 위해서는 모델링 기법을 이용하여 소프트웨어의 유연성과 강건성을 갖는 IPC의 소프트웨어 구조가 필요하다. 이에 본 논문에서는 MVC 모델과 UML을 이용하여 IPC 소프트웨어 구조를 설계하고 구현한다. 뷰를 분리하여 개발함으로써 다양한 형태의 정보 화면을 개발할 수 있고 또한 UML의 상태 다이어그램을 통해 뷰의 전환 등을 간단한 상태의 변화로 처리하여 개발이 용이하다. 제안하는 IPC 시스템은 개발 기간의 단축을 통한 비용 절감 및 MVC 모델 구조에 따른 유지보수의 용이성을 기대할 수 있다.