• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.466-468
• /
• 2001

객체지향형 소프트웨어가 개발되고 분산 시스템에 적용되면서 소프트웨어 시스템의 분석 및 안전상의 보장이 매우 어려워지고 있다. 정형 기법을 이용해서 소프트웨어 시스템의 안전성을 증명하는 연구가 진행되고 있지만 소스코드 레벨에서의 보장은 아직 어려운 상태이다. 본 연구에서는 이러한 소프트웨어 시스템의 소스코드 레벨에서의 안전성 보장을 위한 연구로 Bandera toolset 을 이용한 정형검증에 대해 논한다.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.1
• /
• pp.200-210
• /
• 1996

Re-engineering has the potential to improve software productivity and quality y across the entire life cycle. It involves improving the software maintenance process and improving existing systems by applying new technologies and tools to software maintenance. Re-engineering can help us understanding existing systems and discover software components(e.g., design structure, data structure that are common across systems. These common components then can be reused in the development (or redevelopment )of systems, thereby significantly shortening the time and lessening the risk of developing systems. The Object-Oriented paradigm has been known to improve software maintainability. There still exist many problems in recognizing object, attributes and operations that are conceptually integrated and constructing of object class. In this paper, we propose a method that defines a fundamental theories of re-engineering and a concept recognition for object- oriented paradigm. We also describe the re-engineering tool that translates the existing procedure-oriented program into object-oriented system. This tool has a strength to solve the conceptual integrity problem in object-oriented recognition.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.164-166
• /
• 1999

본 연구에서는 객체지향적 CASE 툴인 ObjecTime을 이용하여 지능형 제조 운영 시스템을 설계/구현하였다. 객체지향적 프로그래밍 방법론과 ROOM(Real-time Object-Oriented Modeling) 방법론을 사용하여 지능형 제조 운영 시스템에서 필요한 객체를 설계하였으며, 이들 객체의 계층도와 관계를 정의하였다. 객체지향적 설계 방법론을 사용하여 설계한 시스템은 모델링 과정에서 실행화일을 얻는 과정까지 발생하는 오류를 최소화할 수 있다는 장점이 있다. 또한, 본 연구에서는 제조 시스템의 모니터링과 제조시스템 운영 소프트웨어의 자료 입력 및 수정을 위한 그래픽 사용자 인터페이스 툴을 제작하였다.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.9 no.1
• /
• pp.1-8
• /
• 2016

In this paper, several problems functioning as the obstacles against software reuse were summarized. Among them, the issues dealt with in this paper include the effective method for constructing the library, the proper structure of the library, and the efficient retrieval technique. The knowledge-based approach and the information retrieval approach were integrated to construct and manage the library. The former is on the object- oriented model. Basically the object-oriented library is based on the classes and organized by inheritance. Because inheritance hierarchy is based on syntactical information, it dose not present the relationship of functionality. Using the information retrieval approach, the index file which characterizes the component and similarity among the components can be analyzed. Especially, we focused on the reusable library for the object-oriented programming environments.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.3
• /
• pp.299-313
• /
• 1995

Object-Oriented design method decomposes the program into object that establish the relationship between objects. It is the technique of object centered decomposition unlike function oriented legacy system. Since existing Object- Oriented design method doesn't fully explain of the design method of module and decomposition, and need to implement the Object-Oriented software as a total system init. It has many problems that whole object design method and application programs should be analyzed for the understanding an Object-Oriented software component. Therefore, this study provides a procedure for Object-Oriented module design and criteria of decomposition to practically support the complex and large system development. Futhermore, it shows a consistency between design model and implementation through a case study applying these module decomposition criteria to the real system.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.6
• /
• pp.793-799
• /
• 2004

Many researches and validations for the complexity metrics of the object-oriented systems have been studied. Most of them are aimed for the measurement of the partial aspects of the systems, for example, the coupling between objects, the complexity of inheritance structures, the cohesion of methods, and so on. But the software practitioners want to measure the complexity of overall system, not partial. We studied the complexity of the overall structures of object-oriented systems by analyzing the class diagram of UML. The class diagram is composed of classes and their relations. There are three kinds of relations, association, generalization, and aggregation, which are making the structure of object-oriented systems to be difficult to understand. We proposed a heuristic metric to measure the complexity of object-oriented systems by putting together the three kinds of the relations. This metric will be helpful to the software developers for their designing tasks by evaluating the complexity of the structures of object-oriented system and redesigning tasks of the system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.523-525
• /
• 2001

산업체에서도 다양한 고객의 요구 증가, 하드웨어의 발달 및 제품 life Cycle의 단축에 따라 내장형 시스템 개발에 재사용 컴포넌트를 이용한 효과적인 소프트웨어 개발 프로세스의 필요성이 대두되고 있다. 본 논문을 통해 내장형 시스템의 복잡성을 감소시키며, 재사용 가능한 부분을 컴포넌트화 여 관리할 수 있는 UML기반의 객체지향 소프트웨어 개발 프로세스를 제안한다.

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

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

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.457-459
• /
• 1998

본 논문에서는 하드웨어-소프트웨어 시스템에서의 시스템 레벨 모델링 및 통합 모의 실험(co-simulation)에 관한 새로운 방법을 다루고 있다. 복잡한 시스템의 하드웨어와 소프트웨어를 하나의 객체 지향 방법론으로 모델링 및 모의 실험하여 빠르고 쉽고 정확하게 시스템의 성능을 예측하고 분석하여, 시스템 설계가 최적화 되도록 도움을 주는 설계 도구를 제안한다. ASIC, 보조 디바이스, 벗, 디스크 및 소프트웨어 등을 객체 지향 모델링 방법인 UML(Unified Modeling Language) 형식론으로 시스템의 구조를 GUI을 사용하여 모델링하고, 이것으로부터 자동적으로 DEVS(Discrete EVent System) 모의 실험 모델을 생성해내어 통합 모의 실험을 수행함으로써 시스템의 성능을 쉽고 빠르게 측정하고 예측하는 방법론을 제시한다. UML과 DEVS는 형식론으로서, UML은 추상화 수준의 시스템 모델링과 그래픽 사용자 인터페이스를 제공하며, 모의 시험은 DEVS의 시뮬레이터인 DEVS++을 사용하였다. DEVS++는 C++ 라이브러리 형태이므로 쉽게 UML에서 DEVS 형식론으로 모의 실험 모델을 추가하여 간단한 모델링할 수 있을 뿐만 아니라 정확한 모의 실험 결과를 얻을 수 있다.

• The KIPS Transactions:PartD
• /
• v.15D no.3
• /
• pp.375-386
• /
• 2008

Recently, development paradigm of information system is turning into object oriented and component based, and this methodology is leading the software industry. To acclimatize aptly to this trend, users demand the assessment of software expenses to change with the appropriate model of computing costs of the environment, and some people are actually studying the concept of Object Oriented Function Point and UCP method. Especially, Object Oriented Function Point Measurement Process has good points in overcoming the bound of LOC and the existing the Function Point Measurement Process because Object Oriented Function Point Measurement Process is applicable to the early stage of development project mainly with the used cases, and valid to the life long period as the each stage of software products develops, and always understandable to communicate with users by the UML mark rules. Accordingly, this research is to measure Functional Point at ROFP and AOFP in accordance with the development project of information system by the national defense CBD methodology procedures and UML Interrelation Analysis that are recently and widely used in the developmental environment of object oriented information system. Furthermore, this study suggests the measurement method to obtain Functional Point, and identifies service function and object/class function in the correlation analysis of use case and class based on the products and UML modeling via traditional FPA model and object oriented FPA model. Above all, this study is to demonstrate the improvement of traditional Function Point Measurement Process, IFPUG-CPM and software cost basis, and reveal Function Point Measurement Process, which is appropriate to the development of object oriented information system, and suggest the evaluation results of the compatibility through case studies.