• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.677-696
• /
• 2004

Component-based software engineering (CBSE) composes reusable components and develops applications with the components. CBSE is admitted to be a new paradigm that reduces the costs and times to develop software systems. The high quality of component designs can be assured if the consistency and correctness among the elements of a component are verified with formal specifications. Current formal languages for components include only some parts of contracts between interfaces, structural aspects and behavioral aspects of component, component-based system, component composition and variability. Therefore, it is not adequate to use current formal languages in all steps of a component design process. In this paper, we suggest a formal language to specify component designs Component-Z. Component-Z extends Object-Z, adds new notations to specify components. It can be possible to specify interfaces, the inner structure of a component, inner workflows, and workflows among interfaces with Component-Z. In addition, Component-Z provides the notations and semantics to specify variability with variation points, variants and required interfaces. The relation between interfaces and components is defined with mapping schemas. Parallel operator is used to specify component composition. It can be possible to describe deployed components with the specifications of component-based systems. Therefore, the formal specification language proposed in this paper can represent all elements to design components. In the case study, we specify an account management system in a bank so that we show that Component-Z can be used in all steps of component design.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.2
• /
• pp.45-52
• /
• 2002

Load modeling is classified into two methods according to approaching method, so called the measurement and component-based method. The measurement method is to model the load characteristics measured directly at substations and feeders. But it is difficult to measure continuously load characteristics from naturally occurring. system variation. The component-based method consists of the fellowing process; component load modeling, composition rate estimation and aggregation of component loads, etc. In this paper, the characteristic experiment of component loads was performed to obtain data for the component load modeling as the component-based method. At first, representative component loads were selected by the proposed method considering the accuracy of load modeling and the performance possibility of component load experiment in the laboratory. Also an algorithm was Proposed to identify the reliability of data obtained from the component load characteristic experiments. In addition, the results were presented as the case studies.

• Journal of the Korean Society of Systems Engineering
• /
• v.12 no.2
• /
• pp.69-80
• /
• 2016

The purpose of this study is to establish a component reutilization system in Nuclear Power Plant (NPP) by Object-Oriented Systems Engineering Method (OOSEM). Unified Modeling Language (UML) is mainly used for OOSEM. Operational Concept (OpsCon), Use cases, Structure Diagrams, and Behavior Diagrams are developed to analyze stakeholders needs, system requirements, logical architecture, and physical architecture. Based on the current decommissioning and purchasing system of the component, some activities from their systems were excepted and additional new activities were developed for a component reutilization system.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.26 no.3
• /
• pp.105-116
• /
• 2022

Seismic demand on nonstructural components (NSCs) is highly dependent on the coupled behavior of a combined supporting structure-NSC system. Because of the inherent complexities of the problem, many of the affecting factors are inevitably neglected or simplified based on engineering judgments in current seismic design codes. However, a systematic analysis of the key affecting factors should establish reasonable seismic design provisions for NSCs. In this study, an idealized 2-DOF model simulating the coupled structure-NSC system was constructed to analyze the parameters that affect the response of NSCs comprehensively. The analyses were conducted to evaluate the effects of structure-NSC mass ratio, structure, and NSC nonlinearities on the peak component acceleration. Also, the appropriateness of component ductility factor (R_p) given by current codes was discussed based on the required ductility capacity of NSCs. It was observed that the responses of NSCs on the coupled system were significantly affected by the mass ratio, resulting in lower accelerations than the floor spectrum-based response, which neglected the interaction effects. Also, the component amplification factor (a_p) in current provisions tended to underestimate the dynamic amplification of NSCs with a mass ratio of less than 15%. The nonlinearity of NSCs decreased the component responses. In some cases, the code-specified R_p caused nonlinear deformation far beyond the ductility capacity of NSCs, and a practically unacceptable level of ductility was required for short-period NSCs to achieve the assigned amount of response reduction.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.52 no.3
• /
• pp.179-182
• /
• 2003

Component-based method for load model not only should include the performances of the load components, but also should take into consideration the core losses of transformers, the line losses and the capacitor banks. Especially, capacitor bank affects the accuracy of reactive load model in load modeling. But it is difficult to identify actual reactive powers of capacitor banks in power system for load modeling. This research improves the component-based modeling method including uncertain capacitor bank. The proposed method is hybrid technique, which adds the measurement-based method to the existing component-based method for reliable information of capacitor band. The results of case studies were presented to verify the validity of the proposed method.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.11b
• /
• pp.711-715
• /
• 2002

소프트웨어 위기 극복으로부터 시작한 소프트웨어 공학이 최근 가장 경쟁력 있는 소프트웨어 개발 기술로 지목하고 있는 컴포넌트 기반 개발(CBD; Component Based Development) 기술은 높은 생산성과 고품질의 소프트웨어의 개발을 가능하게 되었다. 소프트웨어 Component를 조립해 새로운 Application을 만들 수가 있어 개발기간을 단축할 수 있으며 기존의 Component를 재사용할 수 있어 생산성과 경제성을 높일 수 있다. 본 논문에서는 특정물품의 주문 관리시스템을 대상으로 하여 컴포넌트기법을 활용 분석, 설계, 구현을 하였다. 분석과 설계는 UML을 활용하였으며, 구현은 EJB를 이용하여 Component를 생성하였다.

• Journal of The Korean Association of Information Education
• /
• v.7 no.3
• /
• pp.309-317
• /
• 2003

Web-Based Education System changed from one side transmission of information to bi-directional information exchange with user. Accordingly, It had been implemented on 3-tier models with each function separation using database and server side language such as CGI (Common Gateway Interface). But, The CBSD(Component Based Software Development) techniques receives many interests recently, and efforts to apply this are appearing. Thus, In this research implemented component base question solving system. For this, I used EJB(Enterprise Java Beans) that is web server component model, and used Petri-Net for typical specification about message flow between components.

• Proceedings of the KIEE Conference
• /
• 1997.07f
• /
• pp.1939-1941
• /
• 1997

In this paper, we simulated the performance of the Cheaju island and developed the hybrid power system based on a least component size design option. This paper performed simulation of economic relation of battery and diesel generation in hybrid power system component.

• Journal of the Korea Society for Simulation
• /
• v.5 no.2
• /
• pp.13-24
• /
• 1996

Workflow is an ordered sequence of interdependent component data activities each of which can be executed on an integrated information system by accessing a remote information system. In our previous research [4], we proposed a distributed CIM Workflow system which consists of a workflow execution model called DAF-Net and an agent-based information systems called AIMIS. Given a component data activity, there needs an interaction protocol among agents which allocates the component data activity to a relevant information systems exist. The objective of this research is to propose and test two protocols: ARR(Asynchronous Request and Response)protocol and NCL(Negotiation with Case based Learning) protocol. To test the effectiveness of the protocols, we applied the PVM(Parallel Virtual Machine) software to simulate the distributed CIM Workflow system. PVM provides a distributed computing environment in which users can run different software processes in different computers while allowing communication among the processes.

• Biotechnology and Bioprocess Engineering:BBE
• /
• v.10 no.5
• /
• pp.400-407
• /
• 2005

Reverse engineering is defined as the process where the internal structures and dynamics of a given system are inferred and analyzed from external observations and relevant knowledge. The first part of this paper surveys existing techniques for biosystem reverse engineering. Network structure inference techniques such as Correlation Matrix Construction (CMC), Boolean network and Bayesian network-based methods are explained. After the numeric and logical simulation techniques are briefly described, several representative working software tools were introduced. The second part presents our component-based software architecture for biosystem reverse engineering. After three design principles are established, a loosely coupled federation architecture consisting of 11 autonomous components is proposed along with their respective functions.