• 한국정보처리학회논문지
• /
• 제6권12호
• /
• pp.3500-3513
• /
• 1999

객체지향 기법과 정형 기법은 미래의 소프트웨어 공학 분야에 지대한 영향을 미칠 잠재력을 가진 두 갈래의 큰 영역으로 인식되고 있다. 따라서 이 두 영역의 접목 "객체지향 기술을 이용한 시스템 명세의 정형적 접근"은 빠른 속도로 성장하고 있으며 많은 연구결과를 산출하고 있다. LOTOS는 객체 기반 접근에 매우 적절하나, 완전한 객체지향 접근 방법을 제공하기 위하여 일반화(상속과 다형성)를 모델링할 수 있어야 한다. 이러한 주제를 연구해온 대부분의 연구자들은 LOTOS을 확장을 제안하였다. 본 논문은 ISO 8807 LOTOS로의 변환에 관심을 두며, 이러한 연구 동향의 일환으로 UML 정적구조 다이아그램으로부터 LOTOS 명세를 생성하는 방법을 제안한다.

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

웹은 소규모 정보에서 대규모 서비스에 이르기까지 광범위한 영역을 가지고 다양한 서버와 분산된 작업흐름 시스템에 대한 전역적인 환경으로 발전되어 오고 있다. 웹을 기반으로 하는 애플리케이션은 플랫폼에 관계 없이 접근가능한 브라우저와 표준화된 문서환경을 제공하며, 최소의 비용으로 단시간에 개발과 유지보수가 용이하다. 이러한 장점은 구조적인 변화와 웹 기반 구현기술의 발전을 가져왔지만 대부분의 웹 애플리케이션의 생성은 체계적인 프로세스없이 개발자의 지식과 경험에 의존하여 임시적으로 개발되어 왔다. 따라서, 고수준의 추상화를 제공하지 않는 저수준 기술에 기반한 애플리케이션 개발을 개선하고 웹을 기반으로한 애플리케이션 구축에 적용가능한 컴퍼넌트기반 개발 프로세스를 제안한다. 또한, 웹 애플리케이션에 적용 가능한 컴퍼넌트를 개발하기 위해서 분석, 설계 모델링 방법으로 네비게이션 다이아그램을 사용한다. 이는 모델링을 위한 고수준의 추상화 정의를 가능하게 함으로써 역으로의 개발을 통한 유지보수가 가능하며 구현기술의 재사용성을 기대할 수 있다.

• 한국항공우주학회지
• /
• 제47권10호
• /
• pp.695-704
• /
• 2019

극초음속 비행체의 경우 고속으로 이동하는 유체와 구조물 표면사이의 마찰에 의해 공력 가열현상이 발생하며, 이로 인해 구조물의 강성이 저하되고 열 변형이 발생하게 된다. 이러한 물리적인 현상들은 비행체의 열공탄성학적인 불안정성을 초래할 수 있으며, 이와 더불어 구조물의 열적 안전성 감소시킬 수 있다. 이에 본 연구에서는 비행고도/비행시간/마하수를 변화시켜가며 공력열탄성학적 연계해석을 수행하고, 해석된 결과를 이용하여 구조물의 열적 안전성과 동적 안정성에 대해 고찰을 하였다. 구조물의 동적 안전성을 판별하기 위해 계산된 변위와 자동회귀이동평균 기법을 이용하였으며, 내열 안전성은 계산된 온도와 구조물의 녹는점을 비교를 통해 판별을 하였다. 이를 통해 극초음속 비행체의 구조 건전성을 확보하기 위한 설계 방향을 제시하였다.