• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2008년도 정기 학술대회
• /
• pp.247-252
• /
• 2008

Systems architecture of information models for construction industry is introduced. The architecture ful fills international standards, such as ISO 10303(STEP) and IAI IFC, etc. It is defined in web service description language(WSDL) and ISO 10303-11(EXPRESS) language. A standard platform for this standard architecture is also developed. This platform has several tools which can transform EXPRESS description file into C++ or Java languages and which also can generate an IDL file or OWL file from an EXPRESS file. System architects, software engineers, information system consultants can use these standards to define their information model for construction industry in standardized way. Construction engineers can test this information model with ease using standard testing tools and testing method, which is also a part of standard architecture of information systems for virtual construction.

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

소프트웨어 아키텍쳐는 소프트웨어 시스템의 상위 수준 모델이다. 이러한 소프트웨어 아키텍쳐는 명료하고 엄밀한 표현을 위해 아키텍쳐 기술 언어(ADL)를 사용하여 기술된다. 하지만 대부분의 ADL들은 C2 스타일 ADL(C2SADL)처럼 소프트웨어 시스템의 개발에 필요한 요소들 중에서 특정한 관점만을 고려하여 정의되었거나 별도의 표기형식으로 배워야 하는 부담이 있기 때문에 아키텍쳐를 명세하는 언어로서 정착되지 못하였다. 반면 UML은 범용 모델링 언어로서 소프트웨어 개발의 전 과정에 일관된 표기형식과 폭넓은 지원도구들을 제공하고 있으므로 소프트웨어 개발을 위한 사실상의 표준 언어로 자리잡았다. 그러나 UML은 소프트웨어 아키텍쳐를 표현하도록 설계된 것은 아니기 때문에 UML을 사용하여 아키텍쳐를 표현하기 위해서는 UML을 확장, 변경하여야 한다. 본 논문에서는 UML2.0에 기반한 C2 아키텍쳐 모델링 언어 프로파일을 정의하였다. 정의된 C2 아키텍쳐 모델링 언어는 식당 예약 시스템을 모델링 하는데 사용되었다.

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

소프트웨어 시스템의 상위 수준 모델인 소프트웨어 아키텍쳐는 아키텍쳐 기술 언어(ADL)를 사용하여 표현된다. 하지만 ACME와 같은 대부분의 ADL들은 별도의 표기형식으로 배워야 하는 부담이 있기 때문에 아키텍쳐를 명세하는 언어로서 정착되지 못하였다. 반면 VML은 범용 모델링 언어로써 소프트웨어 개발의 전 과정에 일관된 표기형식과 폭넓은 지원도구들을 제공하고 있으므로 소프트웨어 개발을 위한 사실상의 표준 언어로 자리잡았다. 그러나 UML은 소프트웨어 아키텍쳐를 표현하도록 설계된 것은 아니기 때문에 UML을 사용하여 아키텍쳐를 표현하기 위해서는 UML을 확장, 변경하여야 한다. 지금까지 아키텍쳐 모델링에 UML을 이용하기 위한 많은 연구가 진행되어 왔다. 하지만 지금까지의 이러한 연구의 대부분은 아키텍쳐의 핵심 개념들의 표현이 미흡했던 UML1.x에 기반하고 있으며 곧 발표될 UML2.0에서는 이전 버전에서 미흡했던 아키텍쳐 모델링에 유용한 개념들이 많이 추가되었다. 본 논문에서는 UML2.0에 기반한 아키텍쳐 모델링 언어를 정의하였다. UML2.0을 확장하여 Generic ADL을 정의하였으며 정의된 아키텍쳐 모델링 언어는 식당 예약 시스템을 모델링 하는데 사용되었다.

• 정보처리학회논문지D
• /
• 제9D권3호
• /
• pp.409-416
• /
• 2002

프레임워크는 기본적으로 소프트웨어 개발 시 얻어진 생산물들을 상위레벨의 추상화 과정을 통해 그 분석 및 설계 정보의 재사용을 통해 소프트웨어의 재사용 범위를 넓히고자 하는 시도이다. 그러나 이 프레임워크는 역호출관계를 통한 어플리케이션 개발 시스템이기 때문에 어플리케이션에 대한 아키텍처 정보를 모두 가지고 있어야 한다. 기존의 프레임워크의 경우 이런 아키텍처 정보는 설계 수준에서만 머물고 바로 코드 수준에서 정의, 사용되는 형태를 가져왔다. 따라서 프레임워크의 화장이나 컴포지션 시 코드를 재 설계하고 구현해야 하는 문제점이 있다. 즉 아키텍처 정보를 설계 수준과 코드 재사용 수준의 중긴 형태인 언어로서 개발, 사용해야할 필요성이 생겼다. 본 논문에서는 다음과 같은 연구에 중점을 두었다. 첫째로 아키텍처 정보를 보다 구체화하는 방법으로 ADL을 통한 표현 방법에 대해 정의하였다. 둘째로 기존의 추상화된 컴포넌트 기반 프레임워크 개발 공정을 아키텍처 정보를 구체화하여 개발하는데 적합하도록 그 공정을 개선하였다. 셋째로 ADL로 표현된 아키텍처 정보를 프레임워크를 통한 어플리케이션 개발에 필요한 정보로 활용하여 개발할 수 있도록 컴포넌트 프레임워크 지원도구를 개발하였다.

• Nuclear Engineering and Technology
• /
• 제40권5호
• /
• pp.365-374
• /
• 2008

Dependability-critical systems, such as digital instrumentation and control systems in nuclear power plants, necessitate engineering techniques and tools to provide assurances of their safety and reliability. Determining system reliability at the architectural design phase is important since it may guide design decisions and provide crucial information for trade-off analysis and estimating system cost. Despite this, reliability and system engineering remain separate disciplines and engineering processes by which the dependability analysis results may not represent the designed system. In this article we provide an overview and application of our approach to build architecture-based, dynamic system models for dependability-critical systems and then automatically generate dynamic fault trees (DFT) for comprehensive, tool-supported reliability analysis. Specifically, we use the Architectural Analysis and Design Language (AADL) to model the structural, behavioral and failure aspects of the system in a composite architecture model. From the AADL model, we seek to derive the DFT(s) and use Galileo's automated reliability analyses to estimate system reliability. This approach alleviates the dependability engineering - systems engineering knowledge expertise gap, integrates the dependability and system engineering design and development processes and enables a more formal, automated and consistent DFT construction. We illustrate this work using an example based on a dynamic digital feed-water control system for a nuclear reactor.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권5호
• /
• pp.411-419
• /
• 2009

현재 온톨로지의 논리적 오류와 개념들 간의 포함 관계를 탐지하는 추론 엔진들이 소개되고 있다. 대부분의 서술 논리 기반 온톨로지 추론 엔진은 태블로 알고리즘을 기반으로 구축되었다. 그러나 태블로 알고리즘 기반의 온톨로지 추론은 인스턴스 추론에 있어서 한계를 보인다. 이에 본 논문에서는 Medusa 시스템을 제안한다. Medusa는 서술 논리로 표현된 온톨로지의 정형화된 의미를 기반으로 시맨틱 웹 규칙 언어(SWRL)를 지원하는 확장된 서술 논리 추론 엔진이다. 대부분의 서술 논리 기반 추론 엔진은 효과적으로 온톨로지 스키마 모델을 추론하지만 인스턴스(Assertional Knowledge) 정보를 추론하기 위한 규칙 기반 추론 기능을 제공하지는 않는다. 이러한 문제를 해결하기 위해서 Medusa는 서술 논리의 추론 방식과 규칙 기반 추론 방식을 동시에 사용한다. 본 논문에서 설명하는 Medusa의 프로토타입은 $Prot{\acute{e}}g{\acute{e}}$ API[1]를 사용하여 시맨틱 웹 규칙 언어 추론 엔진과 서술 논리 추론 엔진간의 상호작용을 제어한다.

• 한국전통조경학회지
• /
• 제28권2호
• /
• pp.23-36
• /
• 2010

파초의 상징적 의미와 이미지 그리고 식재 의미를 개관하는 한편 총 77엽의 조선시대 옛 그림 속 파초의 식재경향과 식재위치 그리고 파초가 등장하는 도엽의 특성을 분석함으로써 파초 식재의 양상과 그 의미를 추찰(推察)할 목적으로 시도된 본 연구의 결과는 다음과 같다. 파초는 기다림과 별리(別離), 미인 등의 꽃말뿐만 아니라 부귀와 기사회생(起死回生)을 상징하는 대용물이었으며, 도교적 의미로는 선인(仙人)의 풍취를 자아내는 대상이었다. 또한 불교적 언어로는 덧없는 인간사로부터 벗어나기 위한 탈속(脫俗)의 상징물이기도 하였다. 정원풍속도 및 고사인물도 또는 계회도에 빈번히 등장하는 파초는 탈속적 정취를 높이고 선비들의 아회(雅會)를 품격화하기 위한 소도구이며 장치로 보이는 바, 학과 사슴의 등장빈도가 높음은 이러한 경향을 반증한다. 또한 평생도(平生圖), 성시도(城市圖), 경직도(耕織圖) 등 특정 도상 속 파초의 의미는 부귀와 번영을 염원한 것으로 보이며, 사찰에 심겨진 파초는 인간사의 무상함을 환기시키는 탈속적 의미와 함께 '믿음의 구법'을 염원하는 의미도 함께 담고 있는 것으로 보인다. 더불어 파초 식재를 통한 기대 효과로 '비가 내릴 때 파초 잎을 울리는 소리경관'의 체험을 추구하고자 한 것으로 보이는데, 이는 넓은 잎을 지닌 (벽)오동나무 또한 가옥 근처에 파초와 같이 빈번히 발견됨에서도 확인된다. 한편, 파초의 식재장소는 주로 사랑채를 중심으로 한 전정이나 측정에 주로 단식이나 모아 심기한 것으로 보이며, 건물 내 파초 식재 위치는 우(雨)경관의 청음(聽音)이 용이한 침실 근방이었던 것으로 보인다. 그리고 파초와 같이 등장하는 괴석 또는 암석의 표현은 일종의 의경(意景) 구축의 수단이며, 아취 있는 완상(玩賞)을 위한 소재 조합의 산물로 보인다. 또한 옛 그림 속 등장인물은 주연의 경우, 풍류 등 선비활동과 관련이 높았으며, 조연의 주요 행위는 생활활동이 압도적으로 높게 나타났다. 조선조 17 18세기 파초는 아취 있는 정원의 구성과 묘사를 위한 긴요한 상징물이었다. 파초 식재문화는 선비들의 수양론적 의미대상이기도 하였다. 우경적(雨景的) 이미지 제공 및 자강불식(自彊不息)과 기사회생의 정신을 담았던 조선조 선비문화의 퇴조와 함께 파초는 우리나라 도시공간에서도 그 궤적을 같이 하여 퇴락한 것으로 추정된다.

• 한국컴퓨터정보학회논문지
• /
• 제14권1호
• /
• pp.191-203
• /
• 2009

유비쿼터스 컴퓨팅 환경에서 실시간의 상황을 고려한 동적인 서비스를 제공하기 위하여 이전 연구를 통해 메타서비스 개념과 기술 규격, 메타서비스 라이브러리 구축 방법을 제안한 바 있다. 하지만, 제안한 프로세스는 각 단계에서 UML, OWL, OWL-S 기반의 분리된 모델을 생성하게 되고 모델간의 변환을 위한 일정한 체계를 제공하지 못하고 있다. 게다가, 다양한 온톨로지 언어와 온톨로지 편집 도구들, 제안한 메타서비스 규격에 대한 전문가의 개입을 전제로 한다. 본 연구에서는, 비전문가도 일관된 모델을 생성하고 메타서비스 라이브러리를 구축할 수 있도록 OWL 형식의 도메인 온톨로지에서 OWL-S 형식의 메타서비스 라이브러리로의 자동 변환 프로세스를 설계하고 이를 지원할 수 있는 시각 도구를 개발한다. 메타서비스 라이브러리 변환 프로세스는 일관성을 유지하면서 기존의 OWL 모델과 메타서비스모델을 조합하여 메타서비스 라이브러리에 대한 OWL-S 코드를 자동으로 생성하는 것을 목표로 한다.