• 대한산업공학회지
• /
• 제34권3호
• /
• pp.344-354
• /
• 2008

The ITA meta-model descriptions being promoted by Korean government was developed to build information technology architecture for applications in public institutions. However, the application of this ITA meta-model is not easy because of the complexity and overlapping between classes and attributes which reside in the ITA meta-models. Additionally, the National Defense Architecture is planned for development using the MND-AF. Since the National Defense Architecture must align with the Government ITA for interoperability and consistency, it is crucial the differences in the meta-models between MND-AF and Government ITA must be resolved. This study presents the trade-off results between the meta-models of MND-AF and Government ITA. It also proposes a set of tailored meta-models for use with the National Defense architecture development. The tailored meta-models use an ERA (Element, Relationship, Attribute) data structure that decreases complexity and eliminates the overlapping between classes and attributes.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제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의 인스턴스화는 상세하고 명확하게 수행될 수 있어 고품질의 소프트웨어를 생산할 수 있다.

• 정보처리학회논문지D
• /
• 제14D권1호
• /
• pp.83-88
• /
• 2007

본 논문에서는 MDA(Model Driven Architecture) 기반의 임베디드 소프트웨어 컴포넌트 개발 방법을 소개한다. 이 방법은 이종의 임베디드 시스템에서 소프트웨어의 재사용성에 관한 문제점을 해결하고자 MDA기법을 임베디드 소프트웨어 개발에 적응한 것이다. 제안한 방법을 통해 하나의 메타 모델(Target Independent Model)을 각각의 다른 도메인에 맞는 타겟 종속적 모델(Target Specific Model)들을 만들고, 그에 따른 소스 코드(Target Dependent Code)를 개발하는 것이다. 이때 기 개발된 메타모델은 이종의 임베디드 시스템 개발에 재사용하려는 것이 목적이다. 우리는 이 방법에 따른 도구에 기존 xUML의 동적 모델링에서 표현되지 못하는 부분(병렬성, 실시간 등)을 보완하기 위해 확장하여 채택하였다. 확장된 xUML 노테이션을 기반으로 구현한 모델링 도구를 소개한다. 이는 임베디드 또는 병렬/실시간 소프트웨어의 모델링이 가능하다. 제안한 방법의 적응사례로서 이종 임베디드 시스템의 모델링을 통한 필드 개발을 보여준다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.716-730
• /
• 2008

서비스 지향 아키텍처에서 서비스 제공자는 재사용 가능한 서비스를 개발하고 저장소에 배포하며, 서비스 사용자는 인터페이스를 통하여 블랙박스 컴포넌트 형태의 서비스를 사용한다. 저장소에 배포된 서비스는 시간이 지남에 따라 변경/진화될 가능성이 높고, 다양한 언어 또는 플랫폼을 사용하여 구현되는 이질성(Heterogeneity)을 가진다. 이런 이유로, 서비스 사용자는 서비스 내부 구조를 알기 힘들기 때문에, 서비스가 기능을 수행하는 도중 문제점이 발생하면 문제점을 식별하여 해결하는 등의 서비스 결함을 효과적으로 관리하는 것이 어렵다. 자율 컴퓨팅(Autonomic Computing, AC)은 사람의 개입을 최소화하고 시스템이 스스로의 결함을 관리하도록 설계하는 방식이다. AC는 시스템을 자율적으로 결함을 관리할 수 있는 주요 원칙들을 제안하고 있으므로, 서비스 결함 관리에 관한 기술적 이슈들은 AC의 기법들을 사용하여 해결될 수 있다. 본 논문에서는 SOA 환경에서 자율적으로 서비스의 결함을 관리하기 위한 이론적 모델인 Symptom-Cause-Actuator(SCA) 모델을 제시한다. SCA 모델은 의사가 환자를 치료하는 과정으로부터 유도된다. 먼저, 다섯 단계로 구성된 SCA 컴퓨팅 모델을 정의하고 SCA의 메타모델을 제안한다. 또한, SCA 모델의 저장소 역할을 하는 SCA 프로파일을 정의하고, SCA 프로파일에 저장되는 symptom, cause, actuator의 인스턴스와 이들 간의 의존 관계를 기계가 인식할 수 있는 형식으로 표현한다. 그리고, 서비스의 결함을 자율적으로 관리하는 컴퓨팅 모델의 다섯 단계를 수행하는데 필요한 알고리즘을 상세하게 기술한다. 마지막으로, SCA 모델의 실행 가능성을 보여주기 위하여, SCA 프로파일과 알고리즘을 구현한 프로토타입을 '비행기 예약 시스템'에 적용하는 사례 연구를 수행한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권12호
• /
• pp.549-564
• /
• 2017

자율성을 가지는 소프트웨어와 사물 인터넷 기술 등의 발달로 단일 시스템이 제공하는 서비스들이 다양해짐은 물론, 기존에는 상상하지 못했던 새로운 서비스들이 시스템간의 협업을 통해 제공되고 있다. 자율성을 가지는 시스템 간의 협업은 마치 생물학적 관점에서의 생태계 구성과 닮아 있다는 점에서 IT 생태계의 개념이 근래 들어 새롭게 대두되었다. IT 생태계란 단일 시스템이 아닌 다수개의 이기종 시스템들이 하나의 공통된 목적을 달성하기 위해 각자의 자율성을 활용하여 자신의 미션을 달성하는 동시에 전체 시스템 그룹의 목적을 이뤄나가는 개념이다. 우리는 앞선 연구에서 IT생태계 구현을 위한 기본적인 몇 가지 메타모델과 초보적인 수준의 아키텍처를 제안한 바 있다. 본 논문은 이러한 선행연구를 정제하여 IT생태계 시스템 구현을 위한 참조 아키텍처 프레임워크를 제안하고 있다. 제안된 프레임워크는 시스템 구성원의 동적 재구성 문제에 비용-혜택 모델을 기반으로 하는 유틸리티 함수와 IT생태계 구성원의 개체 숫자 확장에 따라 기하급수적으로 증가하는 동적 재구성 오버헤드를 감소시킬 수 있는 해결책으로서의 유전자 알고리즘 활용 방안을 포함하고 있다. 무인삼림관리를 위한 IT 생태계 시스템이라는 개연성 있는 사례 연구를 통해 제안된 프레임워크의 효용성을 정량적으로 검증하고 있다.

• 정보과학회 논문지
• /
• 제42권5호
• /
• pp.591-600
• /
• 2015

SLA(Service Level Agreement)는 클라우드 컴퓨팅 서비스를 제공하는 사업자가 이용자에게 신뢰성 있고 일관된 품질을 제공하기 위해서 반드시 보장해야 하는 요소이며 특히 클라우드 서비스 브로커리지를 이용해서 서비스를 중개하는 환경에서는 SLA를 통한 서비스 사업자와 고객 간의 계약이 중요하다. 클라우드 컴퓨팅은 다양한 클라우드 서비스의 IT 자원에 따라 IaaS, PaaS, SaaS 등으로 구분되는데 기존의 SLA는 물리적인 네트워크 환경에 대한 요소만 고려하거나 명세에 대한 방법론적인 접근이 없어서 SaaS를 기반으로 제공되는 소프트웨어 서비스의 품질 요소를 반영하기 어렵다. 본 연구를 통해 SaaS 환경에 적합한 SLA 제공을 위해 소프트웨어적인 품질 특성을 명세할 수 있는 방법을 제시하고 SLA 명세를 서비스 제공자와 소비자 간에 교환할 수 있는 메커니즘과 구조를 제안하였다. SaaS 레벨에서의 SLA 명세를 위한 메타모델을 정의하였고 SaaS의 품질 요구사항은 제안한 명세 언어로 기술될 수 있으며, 사례연구를 통해 다양한 소프트웨어적인 품질 요소가 제안한 명세 언어로 표현됨을 검증하였다. SLA 명세는 이를 교환하기 위한 UDDI 기반의 중개 프로세스 및 아키텍처를 이용하여 품질 명세 저장소에 저장되며 교환 아키텍처를 기반으로 서비스 바인딩 시 교환된다.