• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.1-12
• /
• 2000

Model checking is a formal verification technique which checks the consistency between a requirement specification and a behavior model of the system by explorating the state space of the model. We apply model checking to the formal verification of the concurrent object-oriented system, using an existing model checker SPIN which has been successful in verifying concurrent systems. First, we propose an Actor-based modeling language, called APromela, by extending the modeling language Promela which is a modeling language supported in SPIN. APromela supports not only all the primitives of Promela, but additional primitives needed to model concurrent object-oriented systems, such as class definition, object instantiation, message send, and synchronization.Second, we provide translation rules for mapping APromela's such modeling primitives to Promela's. As an application of APromela, we suggest a verification method for UML models. By giving an example of specification, translation, and verification, we also demonstrate the applicability of our proposed approach, and discuss the limitations and further research issues.

• Proceedings of the KIEE Conference
• /
• 2001.07d
• /
• pp.2687-2689
• /
• 2001

본 연구는 철도 신호분야에서 가장 중요한 역 단위 제어 시스템인 전자 연동 시스템의 실시간 제어 알고리즘 설계 기법을 제안한 것이다. 제안한 기법은 ROOM(Real-Time Object-Oriented Modeling)을 기반으로한 구조설계와 상세설계로 구성된다. 구조 설계는 모델링 휴리스틱기법에 의해 설계되는데 먼저 특정의 요구조건을 포착하여 이해하고, 그 다음에 요구조건을 기반으로 설계된다. 상세 설계는 구조설계에 의한 자료를 비교, 검토한 후 반복적으로 모델링하여 만족할 만한 값을 얻으면 바로의 구현할 수 있도록 설계함으로써 신뢰성있는 시스템 구축과 정확성을 높인다. 기존 환경과의 인터페이스가 편리하며 이식성이 좋은 C++언어로 구현하였으며, 또한 운영시스템은 실시간 운영체제(Real-Time OS)인 VRTX 기반에서 설계, 실행되었다. 제안한 기법은 대표적인 모델역에 대하여 적용하고, 그 성능을 검증함으로써 유용성을 입증하고자 한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.04a
• /
• pp.715-725
• /
• 1994

The objective of this research is to develop a cost model for integrated CAD system. A computerized system realizing this model then is used to aid designers. The first area is to propose a conceptual framework of a multilevel cost model. The methodology of constructing the model is discussed. Then suggestion of an object oriented programming technique for implementing the model is presented. Complicate estimation procedure can be systematically handled by this technique. Interval analysis to deal with the uncertainty of information and decision during design process is used. An experimentation algorithm for calculating the cost distribution is proposed to overcome the shortcoming of interval analysis. Major focus of this research is on net shape manufacturing processes including die casting, injection molding, and metal forming.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.57 no.3
• /
• pp.354-362
• /
• 2008

This paper presents the new method of power system transient stability simulation, which combines the desirable features of both the time domain technique based on OOP(Object-oriented Programming) and the direct method of transient stability analysis using detailed generator model. OOP is an alternative to overcome the problems associated with the development, maintenance and update of large software by electrical utilities. Several papers have already evaluated this approach for power system applications in areas such as load flow, security assessment and graphical interface. This paper applied the object-oriented approach to the problem of power system dynamics simulation. The modeling method is that each block of dynamic system block diagram is implemented as an object and connected each other. In the transient energy method, the detailed synchronous generator model is so-called two-axis model. For the excitation model, IEEE type1 model is used. The developed mothed was successfully applied to New England Test System.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.4
• /
• pp.1013-1024
• /
• 1997

In the traditional object modeling methodologies, the object model can be said as formal since it has been based on rich semantic model. But almost of all methodolgies lack in formality the dyamic model and modeling process. Dynamic model cannot represent exctly the timing constraints and the interaction among the objects, which are very important features in real-time and multimedia system. In this paper, we formalize the synamic moedl and modeling proxess based on object behavior and state. This model defines the object state space using the concepts in algebra stucture and defines the object behavior func-tion. Also this model can formalize object kifecycle and conurrency among the objects usint the temporal logiction. Also this model can frlmaize object lifecycle and conurrency among the objects using the tempral logic and behavior founction. We apply firing rules to behacior function for modeling the dependency of interaction among the objescts.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.9
• /
• pp.2857-2866
• /
• 2000

As software technology has made progress, object-oriented CASE tools have become more important. This paper presents the process and similarity in design and implementation of OODesigner, an object-oriented CASE tool, on three platfonns and outlines a kind of generic architecture for the design and the implementation of CASE tools. OODesigner is a tool that was initially developed to support OMT. An initial Unix version has been developed since 1994. In 1997, after the completion of the Unix version, we began developing a Java version and a Windows version supporting UML. The development of a CASE tool is a typical application of the Model-View-ControllerO'vIVC) paradigm. Thus, we obtained a common design pattern among the versions in the MVC point of views. This design similarity can be used to develop several kinds of CASE tools with the corresponding design notations.

• Proceedings of the KIEE Conference
• /
• 1999.07c
• /
• pp.1462-1464
• /
• 1999

This paper describes the principle and the implementation of a heuristic methodology to restore service to the isolated portions of distribution system. With an aim to increase the ease of the maintenance and expansion. Object-oriented technique was adopted to implement the package. UML was officially adopted OMG standard. It simplifies the complex process of software design, making a "blueprint" for construction. Therefore This package can be easily reused.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.51 no.2
• /
• pp.43-49
• /
• 2009

Many researcher uses simulation techniques for understanding the phenomenon and expecting the response. Simulation techniques have many advantages which is less time-consuming, easy to control constraints, and cheaper than experimental study. However Researches usually are not good at programming the model, it's hard to implement simulation model using computer language. They use spreadsheet program like Microsoft $excel^{TM}$ Although a spreadsheet program is good for modeling, it's cumbersome to describe expressions which consist of not variable name but location indicator. This study suggests the program which helps researcher developing model using graphical interface and variable name. For verifying usability, the model which is implemented by developed modeler were compared with by spreadsheet program.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.4
• /
• pp.892-903
• /
• 1998

기존 객체지향 모델링 및 설계 기법들을 다양한 관점에서 비교해 본 결과, 객체지향 분석과 객체지향 설계에 대한 경게와 모델링 개념 포현에 대한 표기법 이해에 어려움이 있음을 알 수 있었다. 본 논문에서는 객체지향 분석의 중요성을 인식하여 필수적인 객체지향 분석 특징과 이해하기 쉬운 표기법의 객체지향 분석을 지원하는 분석 지향 모델링(AOM:Analysis Oriented Modeling)을 정의한다. AOM은 시스템 관점과 클래스 관점을 가지며 outside-in 방식으로 문제 영역에 접근한다. 다음으로, 다이어그램 편집기, 다이어그램 분석기, 코드 생성기, 로더, 저장소, 저장기로 구성된 AOM 지원 CASE 틀을 설계한다. 문제 영역 분석 후, 기존 CASE 틀에 예제 모델을 실행시키고 $C^{++}$탬플릿을 생성한다.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.2
• /
• pp.167-178
• /
• 2002

XML documents used for exchanging structured documents between heterogeneous distributed systems are spreading among B2B and the industrial world rapidly. This condition brings an object-oriented visualization tool for modeling XML documents. It is hard to apply for DTD - the rule for declaring document type, which is employed in XML, to various industrial field. Thus, W3C announced Recommendation for XML Schema - the rule for declaring new document type which is adaptable to XML and satisfy to user. Document Type which has high reusability and flexibility can be defined owing to that XML Schema is designed by utilization of Object-Oriented-Modelling technique(UML). This document is proposed the specification and an algorithm for mapping XML Schema to UML.