• Journal of KIISE:Software and Applications
• /
• v.27 no.5
• /
• pp.488-498
• /
• 2000

Object-oriented methodologies are widely used in the development of huge and complex systems since these methodologies produce the comprehensible and extensible model of systems. In order to apply an object-oriented methodology to a software development, developers should derive a method customized to a specific project from the methodology and, then, construct a development process from the method. Unfortunately, existing object-oriented methodologies lack a systematic facility for the construction of a method and a process. In this paper, we present a customizable object-oriented methodology to support the systematic derivation of a project specific method from the generic methodology. To derive a project specific method from the methodology, we transform the problem of a derivation to a planning problem and apply planning techniques. Our planning technique uses the description of an architecture that captures the structure and characteristics of a software under development as input and constructs an appropriate method with respect to the architecture. The architecture-centered construction facilitates the effective handling for the characteristics of the software since an architecture capture the decisions that must be maintained consistently during the development.

• Proceedings of the Korean Statistical Society Conference
• /
• 2005.11a
• /
• pp.1-3
• /
• 2005

통계 소프트웨어 R은 여러 가지 특징을 가진 도구이다. S라는 전산언어를 기반으로 하고 이에 수학함수와 통계함수, 그리고 그래픽함수들이 결합되어 편리한 계산 작업 환경을 제공하고 있다. R이 기반으로 하고 있는 S언어에는 문법적, 의미론적 특징이 잘 어울려 있다. S언어의 주요 특징 중 하나는 객체지향성이다. 본 연구에서는 R의 특징인 객체지향성과 그 의미에 대하여 살펴보게 된다.

• Journal of KIISE:Software and Applications
• /
• v.29 no.3
• /
• pp.133-144
• /
• 2002

This paper presents a methodology to determine safe persistence of objects from C code during reengineering process. The methodology consists of five steps: the static information methodology, reflection, instantiation, and the refinement. The steps assist to a reengineer to decide appropriate construction and destruction points of an object during its life cycle. Further the steps guarantee safe and consistent interactions among objects.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.413-425
• /
• 1997

실시간 시스템(realtime system)은 외부환경에서 보내진 요구사항(requirement)에 정해진 시간 내에 반응(action)해야만 한다. 시스템의 외부환경은 실세계(real world)의 물리 적인 요소(physical element)가 되며 이러한 물리적인 요소는 객체지향 설계 (object-oriented design) 개념에서 객체(object)이다. 또한 시스템을 설계하는 경우는 객체 지향 방법론을 적용함으로서 보다 명확한 표현이 가능하게 되며 실세계의 물리적인 각 요소 가 부품단위(component units)로 동작하는 형태를 소프트웨어로 설계하는 것이 용이하게 된다. 따라서 본 논문에서는 실시간 시스템설계에서 객체지향 방법을 사용하고, 원시 (source) 소프트웨어의 분석(analysis)과 검증(verification) 및 흐름(flow)를 슬라이스 기법을 사용하여 표현함으로써 시스템의 전체적인 구성을 명확하게 표현하며 클래스(class) 단위로 슬라이스 된 각 부분으로 상속(inheritance)과 메시지 전달(message sending)의 흐름을 파 악할 수가 있다. 그리고, 보다 효율적인 시스템의 외부환경의 오동작 처리 및 시스템 흐름 을 감시 추적(monitoring and tracing)할 수 있도록 슬라이싱 맵을 데이터베이스로 구축하 여 활용하는 방법을 제시한다. 또한 슬라이싱 맵 표현 방벙에 있어서 기존의 표현을 보다 구체적이고 실제적인 표현기호를 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.591-594
• /
• 2000

객체 지향형 소프트웨어가 개발되고 발전함에 따라 동시성 프로그래밍의 수요가 증가하고 그 기법 역시 다양해지고 있다. 이 결과 소프트웨어의 복잡도가 매우 높아지고, 특히 수행시간 복잡도(run-time complexity)가 매우 높아져서 소프트웨어의 설계와 안정성 검증 분야에 많은 문제가 발생되고 있다. 현재 객체 지향형 소프트웨어의 검증을 위한 연구로 소스 코드를 직접 변환시켜 검증하는 방법과 수행시점에서의 검증을 위해 정형 검증 도구가 직접 객체를 표현할 수 있는 방법을 연구하고 있다. 본 논문에서는 소스코드의 변환을 이용한 검증 도구인 java2spin 과 spin 의 동적인 확장인 dSPIN에 대해 살펴보고 두 도구의 차이점과 장단점을 살펴본다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• Journal of Korea Society of Industrial Information Systems
• /
• v.16 no.5
• /
• pp.83-92
• /
• 2011

IDEF is a widely used methodology for traditional structured software development. As object-oriented softwares are widely used, an object-oriented version of IDEF, IDEF4, is developed. UML is de facto standard for object-oriented software development methods. Whereas IDEF is widely used for CALS/EC, UML is used for general object-oriented software development. Most software developers are not familiar with IDEF4 but familiar with UML. Moreover, UML has many CASE tools. So we can develop software efficiently if we convert IDEF4 model to UML model. In this paper, we transform IDEF4 models to UML models. We explain the rules and methods to convert IDEF4 model to UML model and applied the transform methods and rules to a case study.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.584-586
• /
• 1999

소프트웨어 개발 시 기존 전문가들의 개발 경험을 재사용하는 작업은 개발 기간의 단축 및 비용의 절감의 효과를 가져올 수 있다. 이러한 재사용에 관련된 연구는 소프트웨어공학 분야에서 계속되어 그 하나로 객체지향 프레임워크를 들 수 있다. 객체지향 프레임워크는 검증된 소프트웨어 재사용 부품으로 특정 도메인에 대한 비즈니스 로직을 재사용할 수 있도록 구현된다. 프레임워크 내부에는 재사용되는 로직이 포함되어 있으며 프레임워크 사용자에 의해 커스터마이징 될 모듈을 정의하고 있다. 프레임워크 사용자는 프레임워크를 기반으로 어플리케이션을 개발함으로써 처음부터 개발을 시작하지 않으며 기 개발자들의 경험을 재사용하게 된다. 본 논문에서는 근래 크게 대두되고 있는 가상상점 도메인에 대한 프레임워크를 제시한다. 본 논문에서 제시하는 가사상점 프레임워크는 제인 프레임워크와 주문, 지불, 배달의 3개 서브프레임워크로 구성되며 각각의 프레임워크가 포함한 핫스팟, 제어흐름, 프레임워크 인터페이스를 중심으로 프레임워크의 구성요소 및 설계, 구현에 관한 사항을 기술한다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.431-440
• /
• 1999

기존 시각언어 컴파일러 자동화 도구는 시각 구문의 그래픽 정의부분을 명세하고 확장 및 수정하는 방법의 한계로 인해 어휘분석단계를 처리하는데 어려움이 있다. 이러한 문제점을 해결하기 위해 본 논문에서는 객체지향 시각언어 문법을 기반으로 한 새로운 방식의 문법 기반 자동 생성 시스템인 시각언어 컴파일러 자동 생성 환경(CGE-VL)을 구축한다. 이 시스템은 객체지향 패러다임을 기초로 한 시각언어 컴파일러 구축을 위한 실질적인 도구로 기존의 시각언어 컴파일러 자동화 도구와는 구별되는 객체지향 시각언어의 효과적인 명세 방법 제공, 어휘분석기를 이용한 파싱 시간의 단축, 객체지향 파서를 자동 생성하는 등의 새로운 특성을 제공한다. 이러한 특성은 특히 동일한 의미를 가지는 언어 구성요소가 그 쓰임에 따라 서로 다른 구체화된 의미 및 행동을 가지는 객체지향 시각언어에서는 언어 명세에서 최종 산물인 컴파일러에 이르는 전 단계에 동일한 객체 지향 패러다임을 사용함으로써 일관된 개발방법을 제공하여 그 효과가 두드러진다.

• Journal of KIISE:Software and Applications
• /
• v.32 no.9
• /
• pp.847-852
• /
• 2005

Over the last decade, numerous complexity measurement techniques for Object-Oriented (OO) software system have been proposed for managing the effects of OO codes. These techniques may be based on source code analysis such as WMC (Weighted Methods per Class) and LCOM (Lack of Cohesion in Methods). The techniques are limited to count the number of functions (C++). However. we suggested a new weighted method that checks the number of parameters, the return value and its data type. Then we addressed an effective complexity measurement technique based on the weight of class interfaces to provide guidelines for measuring the class complexity of OO codes in reverse engineering. The results of this research show that the proposed complexity measurement technique ECC(Enhanced Class Complexity) is consistent and accurate in C++ environment.