• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.519-521
• /
• 1999

Message Sequence Charts는 요구 사항 및 설계 단계에서 시스템의 시나리오 정보를 명세하는 수단으로 많이 사용되어 왔다. 하지만, 그 정형 시멘틱에 대한 연구가 미흡하여, 자신의 완결성 및 다른 명세와의 일치성 등의 검증이 힘든 상황이다. 본 논문에서는 Message Sequence Charts의 오토마타 기반 정형적 시멘틱을 정의한다. 제안된 오토마타 기반 정형적 시멘틱은 MSC에서의 모든 경로에 대한 행위를 유지하고, 그 오토마타는 MSC에서 발생할 수 있는 이벤트의 연속과 일치한다. 또한 본 논문에서는 오토마타의 추출을 위한 알고리즘을 제공한다. 이를 통하여 오토마타 추출과정이 자동화 됨으로써 다를 상태 기반 언어와의 검증 등이 용이하게 되고, MSC의 자체 검증에도 도움을 준다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.614-616
• /
• 2003

최근 인터넷 전자 상거래 시장의 급속한 성장과 발전은 웹어플리케이션 기술을 이용해 기업이 제공하는 서비스를 명세하고 이를 통한 기업간 서비스 연동 플렛폼 구축에 대한 관심으로 확대되고 있다. 인터넷을 기반으로한 전자 거래 협업을 위한 표준 기술로써 ebXML은 기업간 거래 프로세스를 모델링하여 공용 저장소에 등록하고 이를 토대로 기업간 협업을 명세하여 거래 비즈니스 프로세스의 수행을 자동화 시켜주는 기술이다. e-Logistics 비즈니스 프로세스 자동화 시스템은 ebXML 표준스팩을 기반으로 하여 기업간 전자 물류 거래 프로세스를 모델링하고 협업명세 정보와 연관된 비즈니스 프로세스를 해석하여 수행을 자동화하여 이들의 진행 상태와 수행결과에 대한 모니터링 정보를 제공한다. 비즈니스 상태 모니터링 도구는 e-Logistics 플랫폼과 EJB Framework 환경을 바탕으로 설계 및 구현 되었으며 비즈니스 프로세스의 원활한 수행에 필요한 상태 모니터링 정보와 거래 문서의 송수신 기능을 제공한다. 본 논문에서는 ebXML 비즈니스 프로세스 상태 모니터링을 위한 모니터링 도구의 시스템 구조와 주요 기능을 언급하고 설계 요구사항 및 클래스 구조도를 제시한다. 또한 BPMS 엔진 컴포넌트 모듈과의 연동 시나리오 및 구현된 사용자 인터페이스에 대해서 기술한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.1939-1943
• /
• 2008

저수지 수질은 유역의 점오염원 배출부하와 강우시 발생하는 비점오염부하 발생에 의한 유역유출수의 저수지 유입과 저수지내 상황 및 기상등에 많은 영향을 받는다. 이와같이 저수지 수질은 저수지 내외의 다양한 요인에 따라 그 특성을 달리함으로 수질관리를 위해서는 기상, 수리 수문, 수질, 지형, 오염원, 처리시설 등 많은 자료를 필요로 하게 된다. 따라서 각종자료의 입력, 수정 및 분석을 하는 자료관리시스템, 수질모의를 수행하는 모델시스템 그리고 분석결과를 표나 그래프로 표현하는 체계를 하나의 시스템으로 통합 구축하여 필요한 분석을 실시함으로서 여러 가지 대안에 대한 평가를 시각적으로 쉽게 할수 있게 되어 관리자는 보다 정확하고 신속하게 의사결정을 할 수 있게 된다. 본 논문에서는 UML(Unified Model Language)기반 하에서 Visual $C^{++}$ 언어를 사용하여 Class diagram, 화면명세, Database명세 등을 생성하는 체계적인 시스템을 구축하였으며, 수질모의를 위해 유역모델로 HSPF 모형을 선정하였고 저수지 모델로는 CE-QUAL-W2를 적용하였다. 구축된 시스템의 활용을 위해 유역관리 시나리오 4개(하폐수처리장 운영에 따른 수질변화모의, 점오염원 제거시 수질모의, 비점오염원 제거시 수질모의, 개발지 관리에 의한 수질모의)와 저수지관리 시나리오 4개(저수지 운영조건 변화에 따른 수질모의, 조류 차단막 설치에 의한 수질모의, 조류제거선 운영에 따른 수질모의, 빈도강우시 탁수관리 모의)를 적용하여 수질변화를 모의하였으며, 다양한 새로운 시나리오를 원활한 적용할수 있도록 설계하였다. 이상의 적용결과로 평가해 볼 때 본 시스템은 저수지 수질관리에 활용할 수 있는 효율적인 시스템으로 평가되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04d
• /
• pp.355-357
• /
• 2003

ebXML은 단일 세계 전자 시장의 형성을 목표로. UN/CEFACT와 OASIS의 주도로 만들어진 인터넷 상에서 기업간 전자 상거래를 위한 XML 기반의 표준 프레임워크이다. ebXML에서는 비즈니스 트랜잭션으로 구성되는 비즈니스 협업을 ebBPSS (ebXML Business Process Specification Schema) 스펙에 정의하는데, 기업의 비즈니스 시나리오를 기술하기 위해서 이 ebBPSS를 따르는 ebXML 비즈니스 프로세스 영세를 기술한다. 본 논문에서는 ebXML 비즈니스 프로세스 명세를 비즈니스 라이브러리에 저장하고, 서로 다른 시스템 사이에서 교환하기 위해 메타프레임워크인 XMI와 RDF 문서로 변환시키는 알고리즘을 제안한다. 이 알고리즘은 ebXML의 상호 운영성에 기여하여 ebXML 레지스터리에 저장된 비즈니스 프로세스 명세서의 유용성을 증대시킬 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06a
• /
• pp.49-50
• /
• 2007

• The KIPS Transactions:PartD
• /
• v.17D no.2
• /
• pp.147-156
• /
• 2010

Conformance testing for embedded software is to check whether software was correctly implemented according to software specification or not. In conformance testing, test scenarios must be extracted to cover every test cases of software. In a general way, test scenarios simply focus on testing all functions at least one time. But, test scenarios are necessary to consider efficiency of test execution. In this paper, we propose a test scenario extraction method by considering function's execution time and waiting time for user interaction. A test model is a graph model which is generated from state machine diagram and test cases in software specification. The test model is augmented by describing test execution time and user interaction information. Based on the test model, test scenarios are extracted by a modified Dijkstra's algorithm. Our test scenario approach can reduce testing time and improve test automation.

• The KIPS Transactions:PartD
• /
• v.9D no.4
• /
• pp.651-658
• /
• 2002

This paper suggests the scenario composition supporting method, which can be used to perform integration test based on specification, and implemented a scenario composition supporting tool. To compose scenario for object-oriented integration testing, requirement specification, Process definition table and program to table relation diagram are used. In addition, requirement trace table is created. It can check user's requirements, quickly and exactly, dividing former three fables into the stages of requirement analysis, design, and test. The output of scenario composition supporting tool plays a guide part in composing scenario. This tool can reduce scenario composition effort of quality for the checking team and prevent an omission of requirement and input of errors during the test.

• Journal of KIISE:Software and Applications
• /
• v.35 no.7
• /
• pp.424-430
• /
• 2008

Identifying crosscutting concerns during requirements engineering phase is one of the most essential parts in Aspect-Oriented Software Development. Considering crosscutting concerns in the earlier phase of the development improves consistency among requirements so that it can help maintain software systems efficiently and effectively. It also provides a systematic way to manage requirements changes by supporting traceability throughout the software lifecycle. Thus, identifying tangled and scattered concerns, and encapsulating them into separate entities must be addressed from the early phase of the development. To do so, first, functional and non-functional concerns must be clearly separated. Second, a pointcut where a main concern meets crosscutting concerns should be defined and specified precisely. Third, it is required to detect conflicts being occurred during composition of crosscutting concerns from the earlier phase. Therefore, this paper proposes a systematic approach to identifying and specifying crosscutting concerns using goal-scenario based requirements analysis. And we demonstrate the applicability of the approach by applying it into the intelligent service robot system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06b
• /
• pp.100-102
• /
• 2006

연구자 간 협업을 지원하기 위한 정보 유통 플랫폼은 통제 가능한 검증된 정보의 유통을 보장하여야 한다. 그렇지만, 기존의 정보 유통 관련 연구들은 어떠한 유형의 정보를 유통시킬 것인가, 또는 어떤 명세로 플랫폼을 설계 할 것인가에만 국한되어 왔다. 본 연구에서는 기존 정보 유통 연구들이나 P2P 시스템들에서 다루지 못한 정보 검증과 추적에 초점을 맞추고 있으며, 연구자들을 위한 추론 서비스 제공까지도 가능한 플랫폼의 설계와 구현을 기술한다. 본 정보 유통 플랫폼을 통해 제공되는 서비스는 연구자들의 자발적 정보 교류를 지원하는 정보 유통 서비스와 단순 정보 검색이나 질의 응답으로 제공하기 힘든 지식 서비스로 구성된다. 지식 서비스는 다시 온톨로지를 이용한 지식화 과정과 시멘틱 웹 기반 추론 엔진을 이용한 추론 서비스로 나누어진다. 특히, 본 연구에서는 기존의 시멘틱 웹 기반 시스템들이 보여주지 못한 동적인 지식 추가와 이를 반영한 추론 과정을 연구자 간 협업 지원 서비스 시나리오에 맞추어 구현하였다. 국가 R&D기반 정보 모델링을 위해 온톨로지를 구축하였으며, 한국과학기술정보연구원 내부 성과 정보 2,300여 건으로부터 얻어진 37,656 RDF Triple들을 이용하여 연구자 네트워크, 연구자 추적, 연구 맵 등 세 가지 추론 서비스를 제공할 수 있도록 하였다. 본 연구는 실제적인 시멘틱 웹기반 정보 유통 플랫폼의 실현 가능성을 보여주었다는 데 그 중요성이 있다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.12
• /
• pp.1700-1709
• /
• 2019

Recently, many researches have been under way to develop systems (services) to support the safety navigation of ships, and in these studies, common difficulties have been encountered in assessing the usefulness and effectiveness of the developed system. To solve these problems, we propose the DEVS-based ship navigation modeling and simulation technique. Following the preceding study, we analyze the COLREG rules and reflected to officer and helmsman agent models for decision making. Also we propose estimation and interpolation techniques to adopt the motion characteristics of the actual vessel to simulation. In addition, we implement the navigation simulation system to reflect the designed proposed methods, and we present five-scenarios to verify the developed simulation system. And we conduct simulations according to each scenario and the results were reconstructed. The simulation results confirm that the components modelled in each scenario enable to operate according to the navigation relationships.