• The Journal of the Korea institute of electronic communication sciences
• /
• v.6 no.4
• /
• pp.523-531
• /
• 2011

Many of the wells which were constructed to use ground water resource are abandoned and not managed efficiently after its use. And a variety of heavy metals and organic compounds are released from the abandoned wells and this can cause ground water pollution. Therefore in this paper implemented to monitor locational information drill holes and underground water sensing information on real time basis using u-GIS environment to combined ubiquitous sensor node and GIS technology to improve these problems. In addition, this system suggests using system by UML 2.0 by analyzing variety requirement of user and between system internal modules interaction and data flow. It provides graphical user interfaces (GUI) to system users to monitor water-well related property information and its managements for each water-well at remote site by variety platform by GIS map and web environment and mobile device based on smart phone.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.4
• /
• pp.20-29
• /
• 2007

The engagement control software embedded in the weapon control computer of the fire control center for air defense missile system is large-scale real-time software. The use of typical software development methodologies is not appropriate to develop such large-scale embedded software in terms of reusability, reliability, and productivity for the reason that it is significantly complicated, and highly dependent on hardware platforms and developers. In this paper, a model-based software architecture using components based on UML 2.0 for the engagement control software is presented in order to solve these problems. This software architecture is verified using the black-box test, the scenario-based test, and the Ethernet packet monitoring test methods. The results demonstrate that the developed software architecture can be employed to enhance reusability, maintainability, and productivity of large-scale embedded software.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.104-107
• /
• 2007

Web2.0 의 비동기식 웹 페이지 전환기술이 주목을 받으면서 기존의 웹사이트들이 동적인 웹 사이트로 바뀌어 가고 있다. 그러나 웹 애플리케이션 개발에 적용 가능한 설계모델인 UML2.0은 정적인 웹 페이지 설계 모델로 국한되어 있다. 따라서 본 논문에서는 UWE의 항해모델에서 뷰 관점 항해모델과, 데이터 전송 항해 모델을 State Machine, Communication Diagram을 이용하여 비동기식 웹 페이지 항해 모델 개선과 기존의 동기식 웹 페이지 모델과의 호환성 방안을 제안한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.19 no.4
• /
• pp.91-103
• /
• 2009

A cryptographic module (CM) is an implementation of various cryptographic algorithms and functions by means of hardware or software, When a CM is validated or certified under the CM validation program(CMVP), a finite state model(FSM) of the CM should be developed and provided, However, guides or methods of modeling and analysis of a FSM is not well-known, because the guide is occasionally regarded as a proprietary know-how by developers as well as verifiers of the CM. In this paper, we propose a set of guides on modeling and analysis of a FSM, which is needed for validation of a CM under CMVP, and a transition test path generation algorithm, as well as implement a simple modeling tool (CM-Statecharter). A FSM of a CM is modeled by using the Statechart of UML 2.0, Statechart, overcoming weakness of a FSM, is a formal and easy specification model for finite state modeling of a CM.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.66-71
• /
• 2007

제품계열 기반 개발 방법은 특정 제품 개발 시, 제품 계열 아키텍처를 요구사항에 따라 재정의하여 제품 아키텍처를 정의하고, 이에 따라 필요 기능의 컴포넌트를 조정, 조립 또는 신규 개발하여 제품의 빠른 생산을 가능하게 할 수 있는 방법으로 주목 받고 있는 기술이다. 제품계열 아키텍처로부터 제품 아키텍처를 쉽게 생성할 수 있도록 지원하기 위해서는 제품 계열 내의 여러 시스템에서 공통인 부분과 제품에 따라 다른 가변 부분의 표현이 명확해야 한다. 그러나 기존 연구들은 가변성의 이해 및 표현이 어렵거나 범용적이지 못하다는 등의 단점들이 존재한다. 따라서 본 연구에서는 UML 2.0을 이용하여 제품 계열 아키텍처의 가변 요소을 추출하고 표현하는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.1001-1004
• /
• 2010

보안은 비즈니스 성능에 있어 결정적인 문제점이지만 대게 보안은 비즈니스 프로세스 정의 후에 고려된다. 많은 보안 요구사항은 비즈니스 업무 레벨에 표현될 수 있다. 비즈니스 업무 모델은 그들이 소프트웨어 디자인과 창조를 위해 필요한 요구사항을 잡아낼 수 있기 때문에 소프트웨어 개발자를 위해 중요하다. 게다가 비즈니스 업무의 모델링은 지휘와 비즈니스 운영이 어떻게 개선되는지를 위한 중심이다. 이 논문은 활동 다이어그램을 통해서 안전한 비즈니스 업무를 모델링하기 위한 UML 2.0 확장을 설명한다. 전형적인 건강관리 업무에 이 접근을 적용할 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.112-114
• /
• 2003

In order to survive in today's competitive world, understanding the business process and how it works can be a key to success. Visualization improves understandability of business process for developers, and accompanies modeling. There are two modeling methods that are often used in the industry - standard BPMN (Business Process Modeling Notation) and UML activity diagram. This paper shows whether the activity graph of UML 2.0 draft can support business process modeling or not through comparing it with the BPMN features.

• Journal of Intelligence and Information Systems
• /
• v.21 no.1
• /
• pp.99-118
• /
• 2015

Object-oriented programming languages have been widely selected for developing modern information systems. The use of concepts relating to object-oriented (OO, in short) programming has reduced efforts of reusing pre-existing codes, and the OO concepts have been proved to be a useful in interpreting system requirements. In line with this, we have witnessed that a modern conceptual modeling approach supports features of object-oriented programming. Unified Modeling Language or UML becomes one of de-facto standards for information system designers since the language provides a set of visual diagrams, comprehensive frameworks and flexible expressions. In a modeling process, UML users need to consider relationships between classes. Based on an explicit and clear representation of classes, the conceptual model from UML garners necessarily attributes and methods for guiding software engineers. Especially, identifying an association between a class of part and a class of whole is included in the standard grammar of UML. The representation of part-whole relationship is natural in a real world domain since many physical objects are perceived as part-whole relationship. In addition, even abstract concepts such as roles are easily identified by part-whole perception. It seems that a representation of part-whole in UML is reasonable and useful. However, it should be admitted that the use of UML is limited due to the lack of practical guidelines on how to identify a part-whole relationship and how to classify it into an aggregate- or a composite-association. Research efforts on developing the procedure knowledge is meaningful and timely in that misleading perception to part-whole relationship is hard to be filtered out in an initial conceptual modeling thus resulting in deterioration of system usability. The current method on identifying and classifying part-whole relationships is mainly counting on linguistic expression. This simple approach is rooted in the idea that a phrase of representing has-a constructs a par-whole perception between objects. If the relationship is strong, the association is classified as a composite association of part-whole relationship. In other cases, the relationship is an aggregate association. Admittedly, linguistic expressions contain clues for part-whole relationships; therefore, the approach is reasonable and cost-effective in general. Nevertheless, it does not cover concerns on accuracy and theoretical legitimacy. Research efforts on developing guidelines for part-whole identification and classification has not been accumulated sufficient achievements to solve this issue. The purpose of this study is to provide step-by-step guidelines for identifying and classifying part-whole relationships in the context of UML use. Based on the theoretical work on Meta-model Formalization, self-check forms that help conceptual modelers work on part-whole classes are developed. To evaluate the performance of suggested idea, an experiment approach was adopted. The findings show that UML users obtain better results with the guidelines based on Meta-model Formalization compared to a natural language classification scheme conventionally recommended by UML theorists. This study contributed to the stream of research effort about part-whole relationships by extending applicability of Meta-model Formalization. Compared to traditional approaches that target to establish criterion for evaluating a result of conceptual modeling, this study expands the scope to a process of modeling. Traditional theories on evaluation of part-whole relationship in the context of conceptual modeling aim to rule out incomplete or wrong representations. It is posed that qualification is still important; but, the lack of consideration on providing a practical alternative may reduce appropriateness of posterior inspection for modelers who want to reduce errors or misperceptions about part-whole identification and classification. The findings of this study can be further developed by introducing more comprehensive variables and real-world settings. In addition, it is highly recommended to replicate and extend the suggested idea of utilizing Meta-model formalization by creating different alternative forms of guidelines including plugins for integrated development environments.

• Proceedings of the CALSEC Conference
• /
• 2005.03a
• /
• pp.114-119
• /
• 2005

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.431-442
• /
• 2009

The Software Product Line (SPL) engineering is one of the most promising software development paradigms. With Feature-Oriented Reuse Method (FORM), reusable and flexible components can be built to aid the delivery of various software products such as mobile phone and digital TV applications based on commonalities and variabilities identified during Feature modeling. Model Driven Architecture (MDA) is also an emerging technology which supports developing software products to work on different platforms with platform independent models (PIM). Combining advantages of these two approaches is helpful to build a group of software products which share common Features while working on various platforms. As first step to combine FORM with MDA, we extend UML2.0 with profiles by which FORM architectures and parameterized Statecharts can be modeled. Secondly, we provide rules to examine whether Features are allocated at positions of elements of Statecharts consistently between a Feature model and a parameterized Statechart. Some rules are designed to check the consistency between FORM architectures and parameterized Statecharts. A case study on an elevator control system is provided to demonstrate the feasibility of our modeling approach and consistency checking rules.