• International Journal of Naval Architecture and Ocean Engineering
• /
• 제8권1호
• /
• pp.83-101
• /
• 2016

This paper suggests an event-based scenario manager capable of creating and editing a scenario for shipbuilding process simulation based on multibody dynamics. To configure various situation in shipyards and easily connect with multibody dynamics, the proposed method has two main concepts: an Actor and an Action List. The Actor represents the anatomic unit of action in the multibody dynamics and can be connected to a specific component of the dynamics kernel such as the body and joint. The user can make a scenario up by combining the actors. The Action List contains information for arranging and executing the actors. Since the shipbuilding process is a kind of event-based sequence, all simulation models were configured using Discrete EVent System Specification (DEVS) formalism. The proposed method was applied to simulations of various operations in shipyards such as lifting and erection of a block and heavy load lifting operation using multiple cranes.

• 인터넷정보학회논문지
• /
• 제13권1호
• /
• pp.99-106
• /
• 2012

다수의 오브젝트로 구성된 반응형 시스템을 모델링 하거나 디자인하기 위해 외부의 입력 및 오브젝트들간의 상호작용을 분석하는 것은 중요하고 어려운 문제이다. 또한, 반응형 시스템이 요구 사항들을 모든 가능한 환경 하에서 올바르게 만족하는지를 확인하는 것은 많은 노력이 필요하다. 본 논문에서는 요구 사항들을 기존에 다양한 분야에서 사용되는 시나리오 명세 언어인 MSC(Message Sequence Chart)에 대해 구문 및 의미를 확장한 LSC(Live Sequence Chart)를 이용하여 반응형 시스템에 적합한 시나리오 기반 명세 모델을 만든다. 그리고 LTL Synthesis를 통해 각 오브젝트에 대하여 모든 요구 사항을 올바르게 만족하는 반응형 시스템 모델을 자동으로 생성한다. 마지막으로 생성된 반응형 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 반복함으로써 전체 반응형 시스템을 개발하는 방법을 제안한다.

• 정보처리학회논문지D
• /
• 제9D권4호
• /
• pp.651-658
• /
• 2002

본 논문에서는 명세를 기반으로 한 통합 테스트를 수행할 때 사용되는 시나리오 작성지원 절차를 제시하고, 시나리오 작성지원 도구를 구현하였다. 이를 위해 기본적으로 요구사항 정의테이블, 프로세스 정의테이블, 프로그램 대 테이블 상관도를 사용한다. 추가로 앞의 3가지 테이블 기능을 요구분석, 설계, 테스트 단계별로 나누어 한곳에서 신속·정확하게 체크할 수 있는 요구사항 추적테이블을 생성한다. 본 연구의 통합 테스트를 위한 시나리오 작성지원 도구의 출력물은 시나리오 작성을 위한 지침서 역할을 한다. 그 결과 검사팀의 시나리오 작성노력을 상당부분 줄일 수 있을 뿐만 아니라 요구사항의 누락을 방지하고, 해당 프로세스에 대한 테이블 정보를 알 수 있으므로 테스트할 때 잘못된 값을 입력하는 것도 방지할 수 있다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 춘계학술대회 논문집
• /
• pp.1114-1117
• /
• 2004

Application of information technology for the construction area has been processed actively with the development of information technology. In this study, a framework of the Construction Specification IETM(Interactive Electronic Technical Manual) was suggested through the analysis of the Department of Defense(DoD)'s standards and the trend of techniques related to the IETM. As the Framework, the DFD(Data Flow Diagram) of the construction specification IETM's organizing and using procedure was suggested. And a Model of construction specification IETM was organized on the basis of DFD. Finally, a scenario was constructed by the pilot system which is based on the model. The application of the construction specification IETM would make efficient and effect task implementations possible. By that, in addition to the reduction of the cost and time, the quality enhancement from information missing protect effectiveness could be expected.

• 정보보호학회논문지
• /
• 제20권2호
• /
• pp.23-32
• /
• 2010

IEEE 802.16e 표준을 기반으로 하는 와이브로(WiBro) 서비스는 순수 국내 기술로 개발된 초고속 무선 휴대인터넷 기술이다. 본 논문에서는 와이브로 초기인증 단계에서 생길 수 있는 보안취약점을 분석하고 그러한 보안위협을 대상으로 한 공격을 탐지할 수 있는 명세기반의 침입탐지시스템을 제안한다. 제안된 침입탐지시스템은 PKMv2 EAP-AKA 기반의 정상적인 초기 인증 동작방식을 명세화하여 상태전이머신으로 모델링한 후 명세에 기반한 침입탐지를 실시한다. 본 논문에서는 초기인증 과정에서 발생 가능한 다섯 가지의 공격들을 시나리오로 모델링하고, 시나리오 기반의 실험을 실시하여 제안된 침입탐지시스템의 탐지성능을 검증한다.

• Journal of Information Technology Applications and Management
• /
• 제13권4호
• /
• pp.71-88
• /
• 2006

A business process specification (BPS) plays the role of a contracted business scenario in the execution of the B2B business process instances. XML based specification languages, such as BPSS, WS BPEL, etc., are usually adopted for the specifications. However, composing complex XML based specifications are not easy for humans. As an alternative, graphical modeling languages such as UML and BPMN can be employed. This paper presents an UML based modeling method for graphically specifying ebXML BPSS instances (namely, business process specifications). UML diagrams, directly matching with ebXML BPSS, can be reused for understanding and generating ebXML BPSS instances. We discuss the value of the method by developing a business reference library in the area of supply chain management.

• 한국정보기술응용학회:학술대회논문집
• /
• 한국정보기술응용학회 2006년도 춘계학술대회
• /
• pp.629-655
• /
• 2006

A business process specification (BPS) plays the role of a contracted business scenario in the execution of the B2B business process instances. XML-based specification languages, such as BPSS, WS-BPEL, etc., are usually adopted for the specifications. However, composing complex XML-based specifications are not easy for humans. As an alternative, graphical modeling languages such as UML and BPMN can be employed. This paper presents an UML-based modeling method for graphically specifying ebXML BPSS instances (namely, business process specifications). UML diagrams, directly matching with ebXML BPSS, can be reused for understanding and generating ebXML BPSS instances. We discuss the value of tile method by developing a business reference library in the area of supply chain management.

• 한국정보처리학회논문지
• /
• 제5권5호
• /
• pp.1204-1215
• /
• 1998

이 논문에서 우리는 OARTS(Object based Approach for Real-Time Systems)를 위한 시나리오를 표현하는 방법과 명세언어 및 확인기법을 제안한다. 이 방법은 지금까지 방법론 차원의 시나리오를 다루지 않았기 때문에 일반적인 모델링기법(사건추적도)에 명세언어와 확인방법을 포함한다. 본 논문은 객체에 기초한 통신 인터페이스인 외부 모듈 천이의 동기를 중심으로 내부 액션 천이와 외부 사건들의 열의 표현에 중점을 둔다. 실제의 예를 통하여 제안된 방법이 분석 단계의 요구사항들을 잘 반영하였으며 개념적인 확인기를 통하여 그 표현의 정당성을 확인할 수 있었다. 또한 이 방법은 일반적인 실시간 시나리오를 표현하기 위한 분석 도구로도 이용될 수 있을 것이다.

• 한국컴퓨터정보학회논문지
• /
• 제11권6호
• /
• pp.49-57
• /
• 2006

사용자와 상호작용을 하는 복잡한 기능을 가진 소프트웨어 시스템을 구현하는데 있어서, 사용자의 요구를 분석하고 이를 개발되는 시스템에 제대로 반영하는 매우 중요한 일이다. 따라서 사용자의 필요를 빠르고 정확하게 이해하는 것이 성공적인 소프트웨어 시스템을 개발하는 중요한 열쇠가 된다. 여러 가지의 요구 명세 언어 중에서도 UML의 Sequence Diagram으로 알려져 있는 Message Sequence Charts (MSC)는 시나리오 개념을 가장 잘 표현하고 있는 언어라고 할 수 있다. Live Sequence Charts (LSC)는 MSC의 확장된 형태로 메시지 추상화와 시나리오의 모드 설정이 가능하다는 특징을 가지고 있다. 본 논문에서는 기존의 연구에서는 다루어지지 않았던 LSC 명세언어의 주요 생성자들을 모두 포괄할 수 있는 LSC 명세언어의 의미론을 새롭게 정의하고 논의하였다. 본 논문에서 정의된 의미론은 기존의 방법들과 비교했을 때 훨씬 넓은 범위의 LSC 명세언어를 포괄하고 있으며, 그동안 정형화되지 않았던 기존의 LSC 명세언어의 내용을 가장 정확하게 표현하고 있다는 장점을 가지고 있다.

• 정보처리학회논문지D
• /
• 제17D권2호
• /
• pp.147-156
• /
• 2010

임베디드 소프트웨어의 적합성 테스트는 소프트웨어의 기능이 명세를 따라 정확히 구현되었는지 검사하는 것이다. 적합성 테스트에서 테스트 시나리오는 소프트웨어의 전체 기능을 테스트할 수 있도록 추출되어야 한다. 일반적으로 테스트 시나리오는 단순히 전체의 기능들을 한 번씩 테스트해 보는데 초점이 맞춰져 있다. 하지만 테스트 시나리오는 테스트 수행의 효율성을 고려할 필요가 있다. 이 연구에서는 각 함수들을 테스트하는데 걸리는 시간과 사용자 입력으로 인해 발생하는 대기 시간을 고려하여 최적화된 테스트 시나리오를 추출하는 기법을 제안한다. 테스트 시나리오를 추출하기 위해 상태 머신 다이어그램과 테스트 케이스를 바탕으로 그래프 형태의 테스트 모델을 생성한다. 테스트 모델에는 테스트 수행 시간과 사용자 입력에 대한 정보가 포함되어 있다. 최적화된 테스트 시나리오는 테스트 모델을 기반으로 수정된 최단거리 알고리즘을 이용하여 추출한다. 제안하는 테스트 시나리오 작성 기법을 이용하면 테스트 수행 시간을 줄일 수 있고, 테스트 자동화를 향상시킬 수 있다.