• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.65-72
• /
• 2009

Component based development has increasingly become important in the software industry. However, in the current component based development approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of the provided and required interfaces of components. In order to solve these problems, we describe the behaviors of component interfaces by state machine diagram and guarantee their behavior conformance at the modeling phase. We also propose a method to guarantee the behavior conformance of component interfaces with concept of observation equivalence and invocation consistency. And we provide an analyzing tool which checks interface behavior conformance.

• The KIPS Transactions:PartD
• /
• v.19D no.4
• /
• pp.281-292
• /
• 2012

A wide variety of smartphone applications is increasing the usage time of smartphone. Due to the increased time, it becomes difficult to providing stable services to users with limited battery capacity. The past works have been performed the power management of mobile device toward long-lasting battery development or low-power electric devices. However as the complexity of software embedded into system are increased, the research interests of the software power analysis is also increased. Among these studies on the software power analysis, model-based analysis technique is one of major interests because it can be able to analyze the power consumption before the development of source codes, then the analysis result can be used in the development of the software system, This paper suggests a model-based power analysis technique using UML state machine diagram. Our proposed technique estimates the power consumption by the simulation of Perti-net which is transformed from the state machine diagram.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.319-321
• /
• 2005

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.37-39
• /
• 2002

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

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.6
• /
• pp.1567-1572
• /
• 2012

An IPC(instrument panel Cluster) is a useful device that provides driving information to the driver. The information includes the vehicle speed, RPM, mileage, etc. The traditional IPC has been mostly implemented with mechanical technique. According to increment of needs for the convenience of IPC by user, the IPC must provide graphical interface and efficient driving information. Also the user-friendly IPC is needed by drivers. Thus flexible and robust software structure and development methods are required in order to develop IPC. In this paper, we propose software architecture and design method for the IPC using modeling method. We use MVC model and UML to model software architecture because they have flexible and robust characteristics. We can develop the various forms of information screen by separating views from model by using state diagram and class diagram in UML. Through this, the cost saving and ease of maintenance can be expected. The development time and cost can be reduced by using proposed method.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.6
• /
• pp.1321-1326
• /
• 2012

An IPC(instrument panel Cluster) is a useful device that provides driving information to the driver. The information includes the vehicle speed, RPM, mileage, etc. The traditional IPC has been mostly implemented with mechanical technique. According to increment of needs for the convenience of IPC by user, the IPC must provide graphical interface and efficient driving information. Also the user-friendly IPC is needed by drivers. Thus flexible and robust software structure and development methods are required in order to develop IPC. In this paper, we propose software architecture and design method for the IPC using modeling method. We use MVC model and UML to model software architecture because they have flexible and robust characteristics. We can develop the various forms of information screen by separating views from model by using state diagram and class diagram in UML. Through this, the cost saving and ease of maintenance can be expected. The development time and cost can be reduced by using proposed method.