• Journal of KIISE:Software and Applications
• /
• v.33 no.12
• /
• pp.1008-1021
• /
• 2006

Product line engineering(PLE) is one of the recent and effective reuse approaches that enables developing a number of applications by instantiating a core asset. Elements of a core asset are product line architecture(PLA), component, and decision model. Among these elements, PLA is the key element since it defines the overall structure of the core asset. Although numerous PLE methodologies have been introduced, it is still unclear what should be the elements of a PLA and how to systematically instantiate it for specific applications. Formal specifications can play a key role in defining detailed and precise instantiation process. In this paper, we first present a meta model of PLA and show how to specify PLA in a formal language, Object-Z. Then, we propose instantiation rules using formal specification and those rules precisely define constraints for instantiating PLA. By applying the proposed formal specification, we believe PLA instantiation can be carried out precisely and correctly, yielding high quality software development.

• Applied Chemistry for Engineering
• /
• v.24 no.4
• /
• pp.344-349
• /
• 2013

Energy storage system is an energy reservoir which can store the electrical energy produced by the power plant into the chemical energy at the time whenever it needs to use. Accordingly, the energy storage system can help to improve the energy utilization efficiency and the stabilization of the power supply system. In addition, it can cope with the issues of carbon dioxide reduction and depletion of fossil fuel. Lead-acid battery in the secondary battery fields is one of the most developed technologies. It is also economical, reliable storage device. Therefore, the instantiation case of energy storage system using lead-acid battery was investigated for the reference studies.

• Journal of Information Processing Systems
• /
• v.15 no.3
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• Proceedings of the IEEK Conference
• /
• 2009.05a
• /
• pp.267-269
• /
• 2009

Incomplete knowledge instances may be registered from misidentifications of sensors, such as vision sensor. In previous study, we proposed robust object instance registration method to robot centered knowledge framework to guarantee the consistency of the registered knowledge. In real environment, a persistent update is necessary due to the objects can be moved dynamically. In this paper, we propose the way to update robot knowledge continually using the registration method. Our experiment in this paper shows that sound and complete knowledge can be registered and updated by the proposed method, even under imperfect sensing data.

• Journal of KIISE:Software and Applications
• /
• v.32 no.8
• /
• pp.717-729
• /
• 2005

Product Line Engineering (PLE) consists of two phases; Core Assets Development and Application Engineering. The core asset development is to model common features of members in a domain and to develop them. The application engineering is to effectively generate an application by instantiating the core asset. Today, PLE research mainly focuses on developing core assets, whereas activities and instructions for application engineering are weakly defined. Moreover, instructions of application engineering are not enough to be practically applied. To widely apply PLE to industry, researches on systematic and practical methods such as instantiation processes, instructions, and artifacts are needed. In this paper, we propose a practical PLE process, instructions, and artifacts about each activity. And then, we also present a case study to show applicability and practicality of the process proposed in this paper.

• Journal of KIISE:Software and Applications
• /
• v.33 no.2
• /
• pp.154-166
• /
• 2006

Product Line Engineering(PLE) is a software reuse paradigm that core assets are defined using common features in a domain and are instantiated in various applications. To apply the core asset effectively, variants which satisfy application requirements are extracted and the core asset should be also instantiated based on the variants. For the work, variability on architecture and components should be extracted exactly and an instantiation process and guidelines should be defined based on this variability In this paper, we define variability types depending on core assets elements and describe artifact templates related to tile variability. We also propose a systematic process which uses defined core assets including variability and verify practicability of the proposed process and variability expression through doing ease study. If utilizing with the proposed process in PLE, it can be feasible to model concrete core asset and variability and to utilize practical application engineering.

• Journal of the Korean Society for Library and Information Science
• /
• v.43 no.3
• /
• pp.269-295
• /
• 2009

The metadata elements of TV programs were designed based on PBCore (Public Broadcasting Metadata Dictionary), which is useful descriptive metadata for TV programs, and on interview results with TV program records managers. TV program information was visualized to extract core information and build a proper schema. Through this analysis, detailed metadata elements were designed in four representative areas: intellectual content, intellectual property, instantiation and extensions.

• English Language & Literature Teaching
• /
• no.5
• /
• pp.63-78
• /
• 1999

In this paper, I explain why local obviation (Condition B of Chomskys binding theory) should be viewed as a relative phenomenon, and establish a correlation between Local Obviation (henceforth LO) effects and the Referential Hierarchy of Korean anaphors proposed in Lee (1997): ku (he) > caki (self) > casin (self) > cakicasin (selfself) = selo (each other). I show that LO characterized as a relative phenomenon may enable us to view Conditions B and C of the binding theory simply as an instantiation of varying degrees of (long distance) disjoint reference effects on the same continuum.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.613-615
• /
• 2001

응용 프레임워크를 이용하여 응용 프로그램을 작성할 때, 응용 프레임워크와 함께, 그 프레임워크와 별도로 기존에 작성된 클래스를 이용하려면 다중 상속을 이용하거나 단순한 복사/붙이기와 같은 코드 재작성을 이용하여야 한다. 그러나 다중 상속은 여러 문제점을 가지고 있다. 코드 재작성은 단순한 짜깁기 이상은 될 수 없다. 또한 컴포넌트 기반의(Component-Based) 개발 방식을 따를 경우 프로그램 코드를 획득하거나 이해한다는 것도 쉬운 문제가 아니다. 역할 객체는 어떤 객체가 특정 콘텍스트에서 필요한 행동 양태(Behavior)를 가지는 객체를 의미한다. 본 논문에서는 이러한 프레임워크에 기작성된 클래스를 적용하기 위해 역할 객체를 이용하기를 제안하였다.

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

A Product Line (PL) is a set of products (applications) that share common assets in a domain. Product Line Engineering (PLE) is a set of principles, techniques, mechanisms, and processes that enables the instantiation of produce lines. Core assets, the common assets, are created and instantiated to make products in PLE. Model Driven Architecture (MDA) is a new software development paradigm that emphasizes its feasibility with automatically developing product. Therefore, we can get advantages of both of the two paradigms, PLE and MDA, if core assets are represented as PIM in MDA with predefined automatic mechanism. PLE framework in the PIM level has to be interpreted by MDA tools. However, we do not have a standard UML profile for representing core assets. The research about representing PLE framework is not enough to make automatically core assets and products. We represent core asset in PIM level in terms of structural view and semantic view. We also suggest a method for representing architecture, component, workflow, algorithm, and decision model. The method of representing framework with PLE and MDA is used to improve productivity, applicability, maintainability and qualify of product.