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

This study proposes a way to validate BIM data quality in BIM applications. Solibri model checker is adopted as a module development platform, which is based on Java programming language. The platform makes application developers implement BIM model checker for their own purpose. This study has developed a BIM validation module for circulation analysis of building design. The validation module enables end-users to automatically detect data corrupted or not defined. In case studies, the module found that an IFC file generated from a BIM software has wrong relation information between a space and boundary elements. A building model should satisfy modeling requirements and then domain users can get analysis results. The BIM data validation module needs to be developed in each BIM application domain.

• 산업공학
• /
• 제14권1호
• /
• pp.1-8
• /
• 2001

This paper presented a web-based virtual system to simulate forging operation. The system utilized simulation techniques of Finite Element Method (FEM) to analyze the forging process and Virtual Reality Modeling Language (VRML) to visualize the simulation results in the web. The analysis using FEM could show mechanical information such as stresses and deformation profiles of a specimen during forging process and the analysis results were transferred into virtual space using VRML. Since the forging machine and specimen were modeled using Java and VRML, the forging machine and analysis results were browsed and integrated on the web that is interfaced to users through EAI to show the whole forging simulation. The developed system realized the working environment virtually so that education and experiment could be performed effectively even on the PC.

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

본 논문에서는 무선 마크업 언어의 특성을 고려하여 무선 환경에 적합한 무선 인터넷 컨텐츠인 바이너리 무선 마크업 언어 문서를 브라우징하기 위한 시스템을 설계, 구현하였다. 카드 랜더링 및 사용자와의 상호작용 시 브라우징 처리를 단순화하기 위해 문서를 개체 모델링하였다. 무선 마크업 언어 문서 객체 모델은 무선 마크업 언어 특성을 고려하여 설계되었으며, 브라우징 처리 시에 문서의 검색 및 편집을 용이하게 하는 장점을 가진다. 또한 문서객체 모델은 컨텐츠의 파싱과 브라우징 처리를 분리하는 역할을 하기도 한다. 본 논문의 브라우징 시스템은 자바를 기반으로 설계 및 구현되었기 때문에 플랫폼 독립적이며, 메모리나 디스크가 제한되어 있어 한번에 여러 개의 프로그램을 상주시킬 수 없는 단말의 경우 네트워크를 통해 동적으로 프로그램을 실행시킬 수 있다는 장점이 있다.

• 한국방재학회:학술대회논문집
• /
• 한국방재학회 2008년도 정기총회 및 학술발표대회
• /
• pp.661-664
• /
• 2008

U-Eco City is promoted nation-wide by development of recent IT technology, method of effective countermeasure disasters, which real-time wire/wireless communication network, and 3D-Web GIS shall be connected that massive database, intelligent service be perceived. U&V-City is the four-dimensional future city that actualizes an intelligent daily ubiquitous computing service by embodying 3D-Virtual City, the reproduction of real world U-City while using Digital map, satellite image, VRML(Virtual Reality Modeling Language), which are presentation tool to describe city components and by efficiently catch and cope about nature and human disasters while employing EAI(External Authoring Interface) that provides HTML&JAVA, and interface for efficient removal/process of massive information/service and also by employing GPS/LBS/Navigation in support of the world-wide orientation concept, and RTLS(Real Time Location System).

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.517-519
• /
• 2001

클래스 라이브러리, 설계 패턴, 프레임워크 등의 재사용 기술과 더불어 근래 들어 소프트웨어 컴포넌트 기술이 크게 각광을 받았다. 산업계에서도 Microsoft사 중심의 COM+와 Sun사 중심의 Enterprise Java Bean (EJB) [1]이 대두되 있으며 있따른 제품들이 출시되 있다. 소프트웨어의 재사용 단위가 객체에서 컴포넌트로 이동함으로써 기존 객체 중심의 개발 방법론, 모델링 및 개발도구들이 컴포넌트 개념을 포함하며 발전하 있다. 본 논문은 컴포넌트 추출에 초점을 두 있다. 서블릿[2] 프로그램에서 EJB 컴포넌트 추출을 위한 기법을 제공한다. 서블릿기반으로 개발된 웹 프로그램을 분석하여 재사용 가능한 EJB 컴포넌트를 추출하여 차후 유사만 어플리케이션 개발 시 활용하고자 한다. 서블릿의 메소드들을 분석하여 메소드 특성에 따라 session bean [1] 또는 entity bean [11의 메소드로 변환한다. 제안된 컴포넌트 추출 과정을 기술하 Unified Modeling Language(UML)[3] 기반의 추출 모듈에 대한 분석, 설계 다이어그램을 제공한다.

• 한국전산구조공학회논문집
• /
• 제25권5호
• /
• pp.389-395
• /
• 2012

최근 IT산업 기술의 발전으로 U-City가 전국적으로 추진되는 가운데 유비쿼터스를 효과적으로 구현하기 위해 도시 구성요소 표현 매체인 수치지도(map)와 위성영상, 인터넷 가상세계구현 표준 언어인 VRML(Virtual Reality Modeling Language)를 이용하여 현실세계의 U-City를 그대로 모사한 3차원 3D-가상도시 개념을 정립하였다. 가상도시(V-City)에서는 USN기반의 수많은 데이터베이스 자료와 지능형 서비스정보를 언제 어디서나 상황인지 하기 위하여 실시간 유, 무선 통신 네트워크와 연계시킨 가상도시 개념을 통해, 방대한 양의 유비쿼터스 정보와 서비스를 효율적으로 제어, 처리하기 위한 HTML 자바 애플릿과 인터페이스를 제공하는 EAI(External Authoring Interface)방식을 채용하여 RFID/USN으로 구축된 도시 생활정보를 효율적으로 연동시킴으로써 지능화된 유비쿼터스 컴퓨팅 생활서비스를 구현하는 전 세계 공간 위치 개념의 GPS, LBS, 내비게이션 시간개념의 RTLS와 함께 4차원개념의 유비쿼터스 가상도시(U&V-City) 시스템을 제안하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권9호
• /
• pp.349-354
• /
• 2019

최근 프로그래밍 교육이 중요해짐에 따라, 객체지향 프로그래밍에 있어 작성한 소스코드가 어떻게 객체지향 개념을 반영하고 있는지를 분석하는 것은 중요하다. 본 논문에서는 UML과 소스코드의 실시간 동기화를 제공하는 웹 기반 환경에서 객체지향 개념을 분석 및 학습하기 위해 Unified Modeling Language(UML) 클래스 다이어그램과 자바 소스코드를 상호 변환하는 Round-Trip Translator(RTT)를 제안한다. RTT는 기존 Round-Trip Engineering(RTE)기반 도구를 개선시켜 구현 하였으며 작성된 UML 혹은 소스코드가 어떻게 객체지향 개념을 반영하는 지에 대한 이해도를 높이기 위한 도구이다. 본 논문은 기존 RTE 기반 도구와 RTT의 효율성과 사용자의 편의성을 비교한 결과 UML과 소스코드 상호 변환을 통해 객체지향에 대한 이해도가 향상되었음을 보여준다. 우리는 또한 학생들이 기존 도구보다 더 효율적이고 편리한 사용자 인터페이스를 제공하는 RTT 사용에 만족한다는 사실을 알아냈다.

• 인터넷정보학회논문지
• /
• 제8권6호
• /
• pp.135-144
• /
• 2007

특성 모델(Feature Model)은 소프트웨어 제품 라인 개발 시 도메인 공학 단계에서 제품들 사이의 공통된 개념들과 서로 다른 개념들을 모델링하는데 널리 사용된다. 특성 모델로부터 특정 제품에 포함될 특성들을 선택한 결과를 특성 구성(Feature Configuration)이라고 하며, 이것은 특정 제품에 대한 요구 사항을 나타낸다. 현재 소프트웨어 제품 라인 개발 시 특성 모델과 특성 구성을 어떻게 구축하고 이용하는지에 대한 연구는 많이 되어 있지만, 이들에 대한 정형적 시맨틱과 논리적 추론에 대한 연구는 부족하다. 본 논문에서는 소프트웨어 제품 라인 공학에서의 표준 문제로 제안된 Graph Product Line을 예제로 하여 규칙 기반 시스템인 JESS를 이용한 특성 구성 검증 기법을 제안한다. 본 논문의 기법은 특성 구성의 불일치성을 일으키는 원인을 명확히 제시하는 장점을 가지며, 자바 언어와의 결합성이 뛰어난 JESS 시스템에 기반을 두었기 때문에 다른 소프트웨어 제품 라인 개발 환경과 쉽게 통합될 수 있다.

• 정보처리학회논문지D
• /
• 제15D권6호
• /
• pp.825-840
• /
• 2008

리팩토링은 내부적으로는 시스템의 품질을 개선하고, 외부적으로는 시스템의 기능을 유지하는 일종의 소프트웨어를 변경하는 과정이다. 이러한 리팩토링을 적용하여 기존 소스코드를 개선하기 위해서는 개선할 사항이 무엇인지를 아는 것이 우선이다. 이를 위해 Martin Fowler와 Kent Beck은 코드속의 나쁜 냄새(코드스멜)를 식별할 수 있는 방법을 제시 하였다. 또한 코드스멜을 탐지하고 어디에 어떤 리팩토링을 적용할 것인가를 결정하는 문제와 관련된 몇몇 연구가 발표되었다. 그러나 이러한 연구들은 코드스멜에 대한 명확한 표현이 부족하거나 한정된 코드스멜만을 탐지하는 단점이 있다. 그리고 리팩토링을 적용할 경우 행위보존을 위한 선행조건들의 표현방법이 리팩토링 절차에 포함되어 있거나 정형화되지 않아 행위보존의 모호함이 발생되는 단점을 가지고 있다. 이에 본 논문에서는 OCL을 이용하여 코드스멜의 정보를 정확히 명세화하고, OCL 번역기를 통해 코드스멜을 자동으로 탐지하여 리팩토링하는 프레임워크를 제안한다. 또한 적용사례를 통하여 자바소스코드속의 코드스멜을 OCL로 명세화하여 자동탐지하고, 리팩토링을 적용해 봄으로써 활용성과 효용성을 검증해본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (2)
• /
• pp.292-294
• /
• 1999

최근에 데이터베이스 기술에 이은 차세대 사무업무 전산화의 핵심 기술일 뿐만 아니라 CALS/EC의 핵심기술인 워크플로우 기술에 많은 관심이 집중되고 있다. 워크플로우 기술은 사무업무의 흐름을 자동화하기 위한 일종의 운영체계 역할을 수행하는 워크플로우 관리 시스템분야와 그 워크플로우 관리 시스템의 이론적 기반일 뿐만 아니라 사무업무의 흐름 자체를 정의하고 분석하는 워크플로우 모델 분야로 나뉘어 진다. 본 논문에서는 대표적인 워크플로우 모델중의 하나인 ICN (Information Control Nets) 모델을 기반으로 하는 모델링 도구의 설계 및 구혀에 관하여 기술하였다. 본 워크플로우 모델링 도구는 자바 기반의 워크플로우 정의 및 분석 환경을 제공함으로서 컴퓨터 시스템에 의존적인 기존의 모델링 도구가 갖는 단점을 개선하였으며, 또한 ICN으로 정의된 사무업무 워크플로우를 국제표준의 워크플로우 정의 언어인 WPDL(Workflow Procedure Description Language)로 변환시킴으로써 워크플로우 관리 시스템에 독립적인 워크플로우 모델링 환경을 제공하는 것을 특징으로 한다. 결론적으로, 본 ICN 모델링 도구는 사무업무 흐름과 리엔지니어링을 위한 분석 도구로서 확장될 수 있을 뿐만 아니라 분석된 결과인 사무업무 프로세스를 다른 워크플로우 관리 시스템에 직접 적용할 수 있게 하는 Streamlining 워크플로우 정의 업무의 기반이 된다.