• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권12호
• /
• pp.1008-1021
• /
• 2006

제품계열 공학(Product Line Engineering, PLE)은 최근 각광받고 있는 효율적인 소프트웨어 재사용 접근 방법 중 하나로 핵심자산을 인스턴스화(Instantiate)하여 여러 어플리케이션을 개발한다. 핵심자산(Core Asset)의 구성요소로는 제품계열 아키텍처(Product Line Architecture, PLA), 컴포넌트, 의사결정모델(Decision Model)이 있다. 이런 요소 중, PLA는 핵심자산의 전체적인 구조를 정의하고 있어 가장 핵심적인 요소라 할 수 있다. 현재 많은 PLE 방법론들이 소개되어 있으나, PLA의 구체적인 구성요소와 어플리케이션을 만들기 위해 PLA를 인스턴스화하기 위한 체계적인 기법이 미비하다. PLA의 구성요소를 명확히 정의하고 인스턴스화 프로세스를 상세히 정의하기 위해 정형명세가 효과적으로 사용될 수 있다. 본 논문에서는 먼저 PLA의 메타모델을 제시하고 PLA를 정형명세 언어인 Object-Z로 명세하는 방법을 제시한다. 또한 정형명세를 이용한 인스턴스화 규칙을 제안하며, 이런 규칙은 PLA를 인스턴스화히기 위한 제약사항을 상세히 정의하고 있다. 제안된 정형명세를 적용함으로써, PLA의 인스턴스화는 상세하고 명확하게 수행될 수 있어 고품질의 소프트웨어를 생산할 수 있다.

• 공업화학
• /
• 제24권4호
• /
• pp.344-349
• /
• 2013

에너지 저장 시스템(energy storage system, ESS)은 발전설비에서 생산된 전력에너지를 저장하여 필요한 시점에 사용할 수 있도록 전기에너지를 화학적으로 저장하는 체계이다. 따라서 에너지 저장 시스템은 에너지 이용 효율향상, 전력공급 시스템의 안정화에 기여할 뿐 아니라, 이산화탄소의 감축 및 화석연료의 고갈문제에 직접 대응할 수 있게 한다. 이차전지인 납 축전지는 현재까지 가장 기술적으로 안정되어 있고, 경제적이며, 신뢰성이 있는 축전지 중 하나이다. 이에 본 연구에서는 납 축전지를 적용한 에너지 저장 시스템의 국내외 실증사례를 조사하여 사례별로 정리하여 관련연구에 참고하고자 한다.

• Journal of Information Processing Systems
• /
• 제15권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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2009년도 정보 및 제어 심포지움 논문집
• /
• 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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권8호
• /
• pp.717-729
• /
• 2005

제품계열공학(Product Line Engineering, PLE)은 핵심자산(Core Asset) 개발과정과 어플리케이션공학(Application Engineering, AE)과정으로 구성된다. 핵심자산 개발과정은 한 도메인에 속한 여러 어플리케이션들의 공통적인 휘쳐(Feature)를 핵심자산으로 모델링하고, 이를 재사용할 수 있도록 구체화하는 작업이다 어플리케이션 공학 과정은 핵심자산을 각 어플리케이션의 요구사항에 맞게 인스턴스화(Instantiation)하여 어플리케이션을 효과적으로 개발하는 작업이다. 기존의 PLE 기법들은 핵심자산개발에 크게 치중되어 있고, AE 과정의 연구는 상대적으로 미흡한 실정이다. 특히, AE 과정의 실용화를 위해서는 중요한 활동인 인스턴스화하는 실용적 절차와 기법이 미비하다. PLE의 넓은 산업계의 적용을 위해서는 체계적이며 실용적인 수준의 AE 프로세스, 작업 지침, 산출물의 연구가 요구된다. 본 논문에서는 AE의 실용적 프로세스를 제안하고. 프로세스의 각 활동에 대한 상세 지침을 제시하며. 활동에 따른 산출물 제시한다. 또한 사례 연구를 통하여 제시되는 프로세스에 논리성과 실용성을 검증한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권2호
• /
• pp.154-166
• /
• 2006

프로덕트 라인 공학(Product Line Engineering, PLE)은 한 도메인의 공통기능을 핵심자산화하고 이를 재사용하여 다양한 어플리케이션을 생성 할 수 있는 재사용 패러다임이다. 핵심자산을 효과적으로 활용하기 위해서는 각 어플리케이션의 요구사항을 기반으로 특화해야 할 값 즉, 가변치를 도출하고 이를 기반으로 핵심자산을 특화한다. 이를 위해, 아키텍처 가변성과 컴포넌트 내부의 가변성이 정확히 도출되어야 하며, 이를 반영한 체계적인 특화 프로세스와 지침이 정의되어야 한다. 본 논문에서는 핵심자산의 구성요소와 구체적인 가변점 종류를 제안하고 이를 표현하기 위한 핵심자산 산출물 양식을 정의한다. 그리고, 제안된 핵심자산의 구성요소와 가변점 종류를 기반으로 정의된 핵심자산을 이용하여 어플리케이션을 생성하는 체계적인 프로세스를 제안한다. 또한 제안된 프로세스를 적용하는 사례연구를 통하여 정의된 가변성 표현 및 특화 프로세스의 실용성을 검증한다. 제안된 프로세스를 이용하여 구체적인 핵심자산 및 가변성의 설계가 가능하며 프로덕트 라인에서의 실용적인 어플리케이션의 개발이 가능해 질 수 있다.

• 한국문헌정보학회지
• /
• 제43권3호
• /
• pp.269-295
• /
• 2009

TV 프로그램을 대상으로 한 유용한 기술 메타데이터(descriptive metadata)인 PB 코어와 MBC TV 프로그램 기록물 업무 담당자와의 인터뷰 내용들을 기반으로 하여 실무적 특성을 반영한 TV프로그램 정보의 메타데이터 요소를 설계하였다. 핵심이 되는 정보를 추출하고 정확한 스키마를 구성하기 위하여 TV프로그램 정보를 시각화하였으며, 이를 기반으로 지적 내용(Intellectual Content), 지적 자산(Intellectual Property), 물리적 내용(Instantiation), 확장 내용(Extensions) 등의 네 가지 영역을 중심으로 메타데이터 세부 요소들을 선정하였다.

• 영어어문교육
• /
• 제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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.613-615
• /
• 2001

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권9호
• /
• pp.835-846
• /
• 2005

제품계열(Product Line)은 핵심자산(Core Asset)을 서로 공유하는 제품들의 집합이며, 제품계열 공학(Product Line Engineering, PLE)은 제품계열을 특화(Instantiation) 할 수 있는 원리, 기술, 메커니즘과 프로세스들의 집합이다. PLE는 여러 유사한 제품들간에 공유할 수 있는 핵심자산을 만들고, 그 핵심자산을 특정 제품에 맞게 실체화 시켜서 제품을 만든다. 모델 기반 아키텍처(Model Driven Architecture, MDA)는 자동화 도구를 이용하여 모델로부터 구현으로 구체화하는 접근 방법이다. 그러므로, 핵심자산을 MDA의 플랫폼 독립적인 모델(PIM)로 정의하여 구현까지 자동화한다면, 두 개발 방법의 장점을 극대화 할 수 있다. 하지만, 핵심자산을 표현하는 UML 프로파일은 현재까지 없으며, PLE의 핵심자산 및 제품 조림의 자동화 생산을 위한 PIM 명세 기법의 연구가 부족하다. 본 논문에서는 PLE기술과 MDA 기술을 접목하기 위해 PIM 수준의 핵심자산 명세 기법을 제안한다. 핵심자산을 명세하기 위해 아키텍처 명세, 컴포넌트 명세, 워크플로우 명세, 알고리즘 명세, 결정 모델 명세 기법을 제안한다. 본 논문의 명세 기법은 PLE, MDA 기술을 사용하여 제품의 생산성, 적용성, 유지보수성 및 품질 향상을 지원한다.