• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.1-3
• /
• 2005

최근 소프트웨어 재사용과 소프트웨어의 응용범위가 넓어짐에 따라 잘 정의된 아키텍처를 기반으로 개발된 컴포넌트 소프트웨어 개발(CBD . Component-Based Development)방식의 채택이 빠르게 확산되고 있다. 이러한 컴포넌트 소프트웨어 개발 방식이 빠르게 확산되면서 아키텍처를 정확하게 기술, 분석, 정제할 수 있는 능력 또한 점차 중요시 되고 있다. 아키텍처를 정확하게 기술, 분석 정제하기 위해서는 아키텍처 기술 언어(ADL)의 사용이 필요하다. 또한 ADL로 기술된 모델 정보들을 서로 다른 ADL지원도구들이 공유할 수 있도록 ADL 모델 관리기의 개발이 필요하다. 본 논문에서는 ADL 모델 관리기의 구성요소를 기술하여. ADL 모델 정보를 XML형태로 변환하는 변환기의 변환 과정을 설명하고, XML 형태로 변환된 ADL 모델 정보들을 저장하는 저장소 구조를 각각 기술하고, 검색기의 검색 과정 및 검색 결과를 보여준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.1007-1012
• /
• 2000

CBSE를 이루는 관련 기술들 중 하나인 소프트웨어 아키텍처는 시스템의 구조적 기술로서 시스템을 구성하는 컴포넌트와 그 컴포넌트들 사이의 상호작용을 기술한 것이다. 소프트웨어 아키텍처는 CBSE에서의 컴포넌트 사이의 조합에 대한 기술 및 방법론을 제공함을써, CBSE의 핵심 기술 중 하나로 자리잡고 있다. 본 논문에서는 컴포넌트 명세를 위해서 Formal methods와 ADL이 가지고 있는 장단점을 상호보완하하기 위하여 Z언어를 이용하여 컴포넌트, 커넥터, 전체 시스템 구성을 기술하는 3가지 전략과 이 전략을 기반으로 컴포넌트를 명세하는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.24-27
• /
• 2011

재구성형 프로세서는 높은 성능과 낮은 전력 소모, 재구성이 가능하다는 점에서 갈수록 높아지는 모바일 및 소형 전자기기 시장의 요구 조건을 충족시키기에 적합한 특성을 가지고 있다. 이 논문에서는 아키텍처 명세 언어인 SoarDL 언어를 확장하여 재구성형 프로세서를 효과적으로 기술할 수 있는 방법과 함께, 이를 바탕으로 재구성형 프로세서를 위한 컴파일러를 생성할 수 있는 방안을 제시한다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.7 no.5
• /
• pp.96-102
• /
• 2002

As the size and complexity of software systems increase, the design and specification of overall system structures become more significant issues than the choice of algorithms and data structures. Structural issues include the organization of a system as a composition of components; global control structures; protocols for communication synchronization, and data access etc. In this paper we show why the existing software architectural description method is not satisfied, and suggest the necessity of the new architectural description language md the requirements of the software architectural description language.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.1690-1697
• /
• 2006

온톨로지는 사람들 간의 정확한 의사소통을 가능하게 하고 시스템 사이의 상호운용성을 달성하기 위한 도구로서 다양한 분야에서 많은 기대를 받고 있는 기술이다. 온톨로지의 구축은 기존 온톨로지들간의 통합을 통해 더욱 효율적으로 이루어질 수 있다. 그러나 기존 온톨로지들이 표현 언어, 대상 도메인, 온톨로지 구성요소 등의 측면에서 다양한 형태와 특성을 가지므로, 온톨로지 통합이 이루어지기 위해서는 온톨로지들 간의 상호운용성의 확보가 필수적이다. 본 논문에서는 온톨로지를 분류하는 체계적인 프레임워크의 제공을 통해 온톨로지들 간의 상호운용성 확보를 지원하는 온톨로지 아키텍처를 제안한다. 본 논문에서 제안하는 온톨로지 아키텍처는 온톨로지를 바라보는 3가지 관점에 따라 MDA에 기반한 온톨로지 표현 분류축, 시맨틱 도메인 분류축, 온톨로지 구성요소 분류축의 3개 분류축으로 이루어져 있으며, MDA의 4계층 메타모델링을 문법적인 기반으로 하고 있다. 온톨로지 아키텍처의 3개의 분류축은 온톨로지들 간의 문법적인 상호운용성과 의미적인 상호운용성을 향상시키기 위해 조화롭게 설계됨으로써 온톨로지 통합이 유연하게 이루어지도록 지원한다.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.665-672
• /
• 2001

ITA (Information Technology Architecture) satisfies the requirements of information system, supports the information used in the institution's business to guarantee the interoperability and security, and analyzes the components of information system. ITA consists of EA (Enterprise Architecture), TRM (Technical Reference Manual) and SP (Standard Profile). The SP, one of the major components of ITA, is a set of information technology standards. In this paper, to construct and utilize the ITA, we mention the applications of information technology about the SP system implementation based on the TRM. The SP management system implemented in this paper is the first trial in Korea, and designs the software with object oriented programming languages such as JSP and Java. Moreover the basic and detailed specification based on the UML notation, system design using the component and system design pattern consisting of software architectures enhance the software reusability. And the constructed system in this paper shows less maintenance cost by using the public softwares such as Linux system, Korean DBMS, Apache and Tomcat, etc. Finally, the system includes the SP reference system which is used in the other institutions and cannot be found in other institutions. Also it includes the additional diverse service modules which support the subsequent processing for the establishment and revision of standards via internet.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.481-483
• /
• 2005

IT 기술의 눈부신 성장과 함께 가시화되고 있는 유비쿼터스 환경은 언제 어디서나 사용자가 원하는 서비스를 제공 받을 수 있는 환경으로, 무선통신기술 및 개체 식별 기술 등의 발달과 더불어 점점 현실화되고 있다. 하지만, 모든 유비쿼터스 개체에 IP가 부여되고 이를 기반으로 하는 진정한 유비쿼터스 환경이 현실화되기에는 아직까지 IPv6등 실질적인 인프라가 완벽하게 구축되어 있지 않아 다소 어려운 점이 있다. 따라서, 본 논문에서는 IPv4 환경에서 웹 서비스를 이용하여 실질적인 IP기반의 유비쿼터스 환경을 실현하기 위한 아키텍처를 제시한다. 이 아키텍처는 IPv4 및 IPv6에서 동작 가능하며, PC 및 핸드폰, PDA, 홈 가전기기 등의 모든 기기들을 연결한 통합 네트워크 환경상에서 실질적인 유비쿼터스 서비스의 실현을 목적으로 한다. 이러한 유비쿼터스 웹 서비스 아키텍처상에서, 유비쿼터스 서비스를 제공하는 개체는 유비쿼터스 웹 서비스 명세언어인 uWSOL을 통해 명세되고, 해당 유비쿼터스 서비스를 사용하고자 하는 사용자가 이를 바탕으로 해당 개체와 적절한 메시지 통신을 주고 받을 수 있게 함으로써 유비쿼터스 환경을 실현한다.

• Journal of KIISE:Software and Applications
• /
• v.30 no.9
• /
• pp.812-820
• /
• 2003

Component-Based Development(CBD) leverages software reusability and diminishes development costs. Various works about component models, such as EJB, COM, and CCM are in progress to support CBD. However, current component models hardly support flexible assembly of pre-built components. To cope with this problem, architecture for component assembly must be defined in the abstract level and the gap between system architecture and its implementation should be diminished in the implementation level. This paper proposes a method for architecture-based design and implementation of component assembly. Architecture is described by the ADL, and the tool, COBALT Assembler, is introduced to support the proposed design and implementation phase of component assembly.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.649-651
• /
• 2005

차세대 웹으로 기대되는 시맨틱웹에 대한 기술에 대한 관심이 증대되고 있어 시맨틱웹에서 가장 중요시 되는 온톨로지의 대한 관리에 대한 연구가 활발히 진행중이다. 온톨로지 관리에 대한 연구로는 KAON, OntoServer등이 진행되고 있으며 이러한 연구에서는 RDF, DAML등의 온톨로지 언어를 지원한다. 이에 본 연구에서는 W3C에서 표준 온톨로지 언어로 지정한 OWL을 지원하는 온톨로지 저장소에 대한 아키텍처를 제시하고자 한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2006.11a
• /
• pp.177-184
• /
• 2006

시스템의 동적 요소를 기술하고 분석하기 위해 C&C view 아키텍처를 주로 사용하지만 시스템의 실행 순서나 상태에 대한 정보가 부족하기 때문에 단지 C&C view 아키텍처로만 시스템의 동적 요소를 분석하기가 어렵다. FSP model은 시스템의 동작을 표현하기 위한 모델링 언어로써 시스템의 동작을 모델링 할 뿐만 아니라 LTSA라는 FSP 검증 툴을 이용하여 시스템의 특성을 자동으로 파악하기에도 용이한 특성을 가지고 있어 시스템 동적 요소 분석에 도움을 준다. 하지만 관련 정보를 얻기 어려워 FSP model을 구현하는데 어려움이 있다. 이 논문은 C&C view 아키텍처와 요구 사항(Use Case Scenario 혹은 Sequence diagram)을 근간으로 시스템의 동적 요소를 FSP로 모델링 하는 방법을 정의한다. 또한 LTSA 툴을 이용하여 자동적으로 시스템의 특성을 검증할 수 있고, 이를 통해 시스템 구현 전에 시스템의 에러를 찾아내고 해결하는 도움을 줄 수 있다. C&C view 아키텍처는 시스템의 컴포넌트와 커넥터에 대한 정보를 제공하여 주고 요구 사항은 소프트웨어 시스템의 행동에 대한 정보를 제공하여 줄 수 있다. 만약 우리가 컴포넌트와 커넥터에 대한 정보가 있고 시스템 동적 요소에 대해 알고 있다면 우리는 이것을 기반으로 메시지 흐름도를 구현할 수 있다. 메시지 흐름도는 Harel, Kugler 와 Pnueli에 의해 개발된 Synthesized 알고리즘을 이용하여 Statechart로 만들어지고 이것은 바로 FSP model로 변환될 수 있다. 우리가 소프트웨어 시스템에 대한 FSP model을 가지고 있다면 이것을 기반으로 시스템 행동 특성을 체크할 수 있으며 이는 향후 발생할 수 있는 결함을 미리 찾아내는데 유용한 도움이 될 수 있다. 우리는 간단한 예제를 통해 본 논문의 이론을 수립하였으며 이를 기반으로 실제 어플리케이션에 적용하여 그 효용성을 검증하였다.