• Journal of KIISE
• /
• v.43 no.10
• /
• pp.1104-1114
• /
• 2016

Software is continuously changing during development and after development. When a change is required, it is difficult to precisely grasp the scope of impact intuitively. A systematic method is needed to accomplish the required change. The purpose of impact analysis on software change is to avoid missing any information by recognizing the ripple effect that the change might cause. This paper proposes a dynamic method that can easily identify the scope of change request by using the association between use-case scenarios and artifacts of UML modeling in object-oriented development environment. By using this approach, the scope of impact that the change might have on other components such as class diagram and sequence diagram in use-case scenarios can be identified by forward tracing. In addition, analysis of influence of possible further changes due to changes in other components can be identified iteratively through backward tracing. The results of this paper are not limited to impact analysis on artifacts and change type. They can also be used as basic guidelines during impact analysis for various change requests.

• The KIPS Transactions:PartD
• /
• v.13D no.7 s.110
• /
• pp.947-958
• /
• 2006

In order to increase extensibility and reusability of business components, the variable things need to be analyzed from the analysis phase and identified as components. In this paper, we propose a rule-based analysis pattern, which can effectively extract object-based main concepts from a variable business process in the analysis phase and identify a variable business component by applying the pattern to the UML Components development process. It can make analysis artifacts consistent and readable for analysts with different level of knowledge and experience to apply the pattern to analysis of rule-based variable business processes. And also, variable business components can be easily identified by applying the pattern to the UML Components development process. In order to prove the feasibility of the pattern, we have applied the pattern the deposit and import/export subsystem of the banking domain. According to our experience, we can make the same business conceptual models between the deposit and import/export subsystem due to the main concepts suggested by the pattern and effectively identify a variable business components in the UML Components development process.

• Journal of KIISE:Software and Applications
• /
• v.32 no.3
• /
• pp.153-162
• /
• 2005

Component Based Development (CBD) is appealing as a technology to improve the productivity of software development through component reuse. Model Driven Architecture (MDA) is a new development paradigm which automatically generates application by transforming design models incrementally. Since both reusability of CBD and model transformation of MDA increase software productivity. integration of two technologies is desirable. To enable this technology integration, we need to devise a UML profile for specifying component design as a PIM. In this paper, we first define a meta-model for components, and propose a UML profile which is used to specify elements of component design as PIM. Since the proposed profile is based on Meta Object Facility (MOF) from which is MDA is derived, it is consistent and compatible with existing MDA methods and tools.

• Journal of KIISE:Software and Applications
• /
• v.34 no.3
• /
• pp.179-195
• /
• 2007

Traditional software development method is not suitable for Web application development because of characteristics of Web application such as frequent requirements change, different architectures and models and quick-to-market delivery. In this paper we propose a Web application development method adaptable to requirements change while we systematically model Web application using extended UML model. The metamodel is independent to specific languages and technologies because we define the metamodel using extended UML model. Proposed process is described by SPEM(Software Process Engineering Metamodel) profile. A process supporting tool execute and customize process. To model Web applications systematically and effectively, a navigation modeling and a component communication modeling tools are provided. In a case study, we show the usefulness of our process and model.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.376-378
• /
• 2002

재사용이 가능한 컴포넌트들을 사용하는 컴포넌트 기반 소프트웨어 개발 기술은 현재 소프트웨어 개발의 핵심 기술로써, 많은 소프트웨어들이 이 기법을 이용해 개발되고 있다. 컴포넌트 기반 스프트웨어를 보다 효율적으로 시험하기 위한 많은 노력이 있었으나, 아직까지 자동으로 시험을 쉽게 수행해 주는 도구는 별로 없으며 이미 개발된 도구들도 그 효용성이 미약하다. 본 논문에서는, 이전에 제안했던 컴포넌트 기반 소프트웨어 자동화 시험 도구인 CTM(Component Testing Manager)의 확장 내용으로써 XMI(XML Metadata Interchange) 형식으로 표현된 UML(Unified Modeling Language) 모델로부터의 시험 데이터 생성 및 수행기법에 대해 제시한다. 본 기법은 기존의 UML모델을 이용한 다른 시험기법과는 달리 표준화된 XML를 사용함으로써 XML모델링 도구와 독립적이고 분산환경에서 쉽게 사용할 수 있는 장점을 제공하여 보다 쉽게 컴포넌트 기 반 소프트웨어 의 시험을 가능하게 해 준다

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.433-435
• /
• 2000

객체지향 CHILL과 같은 병렬 객체지향 프로그램은 객체지향 개념과 함께, 효율적인 통신을 위해 병렬 프로그램의 다양한 동기화 통신 방법을 지원한다. 병렬 객체지향 시험에서는 이 특성을 모두 고려해야 한다. 본 논문에서는 병렬 객체지향 시험을 위해서 객체지향 CHILL 프로그램에 대한 시험 모델을 생성하는 방법을 제안한다. 먼저 UML의 상태 다이어그램과 시퀀스 다이어그램을 바탕으로 하여 시험 모델에서 객체지향 개념을 표현하고, Region 모드, Event, Buffer, Signal과 같은 객체지향 CHILL의 동기화 통신방법을 표현할 수 있도록 UML 표현을 확장하며, 각각의 동기화 통신방법에 대한 시험모델을 생성 방법을 제안한다. 생성된 시험모델은 UML을 바탕으로 하기 때문에, 기존의 UML 기반시험 기법을 적용하기가 용이하다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.52
• /
• pp.285-295
• /
• 1999

Developing control functions that operate and cooperate each equipment in order to achieve a goal is one of the most important problems in the installation of automated manufacturing systems. This paper discusses the development of a control system for heterarchical architecture and a simulator to verify operations of the control system. The object-oriented paradigm that has excellent reusability, portability, and extensibility is currently being used in many application fields as a software development methodology. Especially, UML(Unified Modeling Language), the third generation object-oriented modeling methodology, has advantages such as model generalization, clearness, and so on. In this research, software objects to accomodate the real time environments of automated manufacturing systems are modeled with the diagrams of UML. Based on these models, control software is developed as a format of pseudo-codes. A simulator is implemented to validate the developed control system.

• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• pp.653-656
• /
• 2000

We consider, in this paper, a UML-based design support system for real-time systems. However, the UML does not include any notion for verification of timing constraints. We presents transformation algorithms, as a function of the support system, of UML descriptions into Petri nets and Interval Temporal Logic models, which are very powerful for the verification. This paper shows also transformation example for simple elevator system.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.381-394
• /
• 2009

As a technique to enhance reusability for the created artifacts in software modeling process, the model driven method such like MDA has been applied. Unfortunately, the hierarchical and systematic MDA based development technique using UML is poor yet. This causes the problem that the MDA modeling with high consistency and reusability based on MDA metamodel is not being realized. To solve this problem, this paper proposes a MDA (PIM/PSM) component modeling technique using 2+1 view integrated metamodel. At first, the meta-architecture view model which can represents development process view and MVC view is defined. Then, the hierarchical integrated metamodels per view are addressed separately for modeling process and MVC at metamodel level on the hierarchy of the defined meta-architecture view model. These metamodels are defined hierarchically by layering the modeling elements in PIM and PSM pattern for UML models and GUI models. Appling the proposed metamodel to an ISMS application system, it is shown as a component modeling case study based on MDA. Through this approach, we are able to perform a component model with consistency and hierarchy corresponding to development process and MVC way. Accordingly, this may improve more independence and reusability of model.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.721-730
• /
• 2007

UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.