• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.157-167
• /
• 2000

As the requirements of a software system become large and complex, it causes some problems such that requirements specification using formal methods becomes larger in its size and less understandable. In order to solve such problems, the concepts of modularity and object are adopted to specify the requirements. In addition, top-down and compositional approach to handle such requirements are also adopted. In our paper, we suggest an object-oriented Petri net, called HOONet, to hierarchically specify and verify the complex requirements by incorporating the concepts of modularity, object, abstraction and refinement into a formal method. Our HOONet method supports the incremental specification and verification of partially described or not yet fully analyzed requirements. We also show the applicability of our method by modeling and verifying the requirements of a reactor safety control system.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.3 no.2
• /
• pp.373-382
• /
• 1999

Inheritance and concurrency are the primary feature of object oriented languages, and are especially important for code re-use. They provide maximum computational power and modeling power through concurrency of objects. But, concurrent objects and inheritance have conflicting characteristics, thereby simultaneously use of them causes the problem, so called inheritance anomaly, which requires code redefinition of inherited methods to maintain integrity of objects. In this paper, to solve the inheritance anomaly problems we introduce concept of state abstraction, in which internal states of encapsulated objects are made available from a part of object's external interface. And we design inheritance interface mechanisms which methods are inherited efficiently. In our scheme, we can solve the typical inheritance anomaly problems.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.8
• /
• pp.2233-2244
• /
• 1999

It is essential to guarantee high reliability of embedded real-time systems since the failure of such systems may result in large financial damage or threaten human life. Though many researches have devoted to fault tolerant mechanisms, most of them are object-level fault tolerant mechanisms that can detect errors occurred in a single object and treat the errors in object-level. As embedded real-time systems become more complex and larger, there exist faults that cannot be detected by or tolerated with object-level fault tolerance. Hence, system-level fault tolerance is needed. System-level fault tolerance examines the status of a system whether the system is normal or not by analyzing the status of objects. When an error is detected it should be capable of locating the fault and performing an appropriate recovery and reconfiguration action. In this paper, we propose RobustRTO(Robust Real-Time Object) that provides object-level fault tolerance capability and RMO(Region Monitor real-time Object) that offers system-level fault tolerance capability. Then we show how highly dependable fault tolerant systems can be modeled by RobustRTO and RMO. The model is presented based on real-time objects.

• Journal of Intelligence and Information Systems
• /
• v.7 no.2
• /
• pp.179-193
• /
• 2001

A good modeling technique for system analysis and design is an essential area for the implementation of information system. Structured and object-oriented techniques are regarded as two standard in system modeling. This paper reviewed and implemented two system analysis and design techniques based-on IDEF3 and UML. IDEF3 is the first method used to analyze business process, which has the advantage of simplicity and brevity. UML provides visual standard which can represent the idea of system analysis from the people who participate in the system development process. UML is accepted as an industry standard from the object management group with the advantage of graphical representation of developer\`s view. This paper proposes system design and modeling perspectives based-on IDEF3 and UML techniques about the semi-structured business process for the medium-sized trading company.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.12
• /
• pp.11-22
• /
• 2012

This paper proposes for practical engineers a lightweight modeling and simulation environment for continuous system models specified in ordinary differential equations, which are time-domain specification of such systems. We propose a block-oriented specification formalism that has two levels: one for atomic behavior and the other the structure of models. Also we provide with a simulation framework, called BlockSim++, which make models specified in the block-oriented formalism be easily translated in object-oriented program that runs with the proposed simulation framework. The proposed formalism and framework has advantage of reuse such that it can be easily integrated into application programs and heterogeneous simulators. We illustrates the usefulness of the proposed framework by a simple hybrid modeling simulation example.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2007.11a
• /
• pp.977-982
• /
• 2007

There have been many efforts in automatic object recognition using computing technologies. Especially in the development of automated construction equipment, automatic object recognition is very important issue for the proper equipment maneuvering. 3D laser scanning, which uses (time-of-flight) method to construct the 3-dimensional information, is applied to the civil earth work environment for its high accuracy, quick data collection, and object recognition capability that will be developed by the authors in the future. The 3D earth model is also used as a fundamental information for intelligent earth work task planning. This paper presents the analysis of the 3D laser scanner market and selection of the most optimum 3D scanner for the intelligent earth work planning. As well as the hardware configuration for the automated 3D earth modeling is developed but also the software structure and detailed user interface are designed in this research. In addition, it is presented in this paper that the accuracy comparison test between TotalStation(R) which is a traditional survey tool and ScanStation(R). The accuracy test is done by relative distance measurement using known targets.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.11
• /
• pp.1-10
• /
• 1994

A concurrent computation model Doorae and its description language DL are developed to model problems of parallel and distributed systems. Doorae model has simple and uniform concepts of object and message passing for problem modeling and computation. A method for detecting parallelism implicitly. with no exact description of parallelism in program. is proposed. Furthermore, the method assures the maximum parallelism in dynamic environment by creating concurrent objects. Also a concept of Waiting Variable to insure maximum computation efficiency of objects is proposed.

• Journal of the Korean Institute of Gas
• /
• v.5 no.2 s.14
• /
• pp.1-8
• /
• 2001

Fault tree construction for hazard assessment requires so much time and labor, so it is very difficult to be applied to the large scale chemical plant. In this study, for the synthesis of fault tree in chemical processes, the object-oriented knowledge framework is proposed to represent the deviations of process variables in the equipment and cause-consequence relationship with equipment faults. The cause of fault is searched by using the object-oriented modeling of equipments and the connectivity among equipments, and then a fault tree is synthesized. we have discussed the performance of the methodology on nitric acid cooling process to evaluate its effectiveness.

• Annual Conference of KIPS
• /
• 2003.11b
• /
• pp.959-962
• /
• 2003

P2P(Peer to Peer)개념으로는 순수 P2P와 변형 P2P 구조가 있다. 순수 P2P 구조는 정보공유에서 연결성을 장점으로 하는 Gnutella의 형태를 응용한 형태가 많이 사용되고 있지만 정보의 검색 및 제공에 있어 수많은 트래픽이 발생하게 된다. 이와 달리 변형 P2P 구조들 중 서버의 역할을 최소화한 인덱스 서버 모델이 존재하는데 이 모델은 사용자에게 효율적이고 빠른 검색과 색인을 제공하기 위해 기존의 서버/클라이언트 형태를 취하고 있다. 본 논문에서는 질의 기법의 보편적인 방법인 JDBC(Java Database Connectivity)를 이용한 직접적인 질의 방법이 아닌 객체 지향 프로그래밍 환경에서 효율적인 질의 방법인 JDO(Java Data Object)를 이용하여 객체 기반의 데이터 모델링을 제안하며 이를 이용하여 인덱스 서버 개념을 적용한 파일 공유 시스템(File Sharing System Using Data Modeling based on Object:FSUDMO)을 제안한다.

• The KIPS Transactions:PartD
• /
• v.17D no.2
• /
• pp.129-146
• /
• 2010

Nowadays, XML has been favored by many companies internally and externally as a means of sharing and distributing data. there are many researches and systems for modeling and storing XML documents by an object-oriented method as for the method of saving and managing web-based multimedia document more easily. The representative tool for the object-oriented modeling of XML documents is UML (Unified Modeling Language). UML at the beginning was used as the integrated methodology for software development, but now it is used more frequently as the modeling language of various objects. Currently, UML supports various diagrams for object-oriented analysis and design like class diagram and is widely used as a tool of creating various database schema and object-oriented codes from them. This paper proposes an Efficinet Query Modelling of XML-GL using the UML class diagram and OCL for searching XML document which its application scope is widely extended due to the increased use of WWW and its flexible and open nature. In order to accomplish this, we propose the modeling rules and algorithm that map XML-GL. which has the modeling function for XML document and DTD and the graphical query function about that. In order to describe precisely about the constraint of model component, it is defined by OCL (Object Constraint Language). By using proposed technique creates a query for the XML document of holding various properties of object-oriented model by modeling the XML-GL query from XML document, XML DTD, and XML query while using the class diagram of UML. By converting, saving and managing XML document visually into the object-oriented graphic data model, user can prepare the base that can express the search and query on XML document intuitively and visually. As compared to existing XML-based query languages, it has various object-oriented characteristics and uses the UML notation that is widely used as object modeling tool. Hence, user can construct graphical and intuitive queries on XML-based web document without learning a new query language. By using the same modeling tool, UML class diagram on XML document content, query syntax and semantics, it allows consistently performing all the processes such as searching and saving XML document from/to object-oriented database.