• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.548-548
• /
• 2015

과거 1990년대에 인터넷 이용이 전 세계로 확산되면서 World Wide Web를 이용하여 다양한 웹 서비스 기술의 구현 및 유통은 현재에도 개발되고 있다. 일반적으로 오늘날의 서비스는 XML 및 인터넷을 통하여 웹 서비스로 구현한 응용프로그램간의 연동을 가능하게 하는 기반기술이다. 이는 단순 객체 접근 프로토콜(SOAP), 웹 서비스 기술 언어(WSDL), 전역 비즈니스 레지스트리(UDDI) 등의 표준 기술을 사용하여 네트워크에 연결된 다른 컴퓨터 간의 분산 컴퓨팅을 지원하는 소프트웨어 및 기술이다. 이러한 웹 서비스의 발전으로 웹 서비스의 성능이 웹 서비스 제공자의 성패를 좌우하게 되고, 제공하고 있는 웹 서비스에 대한 검증이 필요하게 되었다. 웹 서비스에 대한 검증은 미국 Bloor NA(Bloor Research-North America)에서 웹 서비스 아키텍처의 단점을 발표하여 서비스의 품질과 신뢰성 및 개선점에 대하여 제시되어 활발한 연구가 진행 중에 있다. 그러나 사용자 관점에서 웹 서비스의 성능을 측정하고, 단순한 서비스 제공자의 서비스 검증 목적만이 아닌 서비스 제공자의 성능을 서비스 사용자에게 제공하는 검증 방법에 관한 연구가 많지 않은 실정이다. 하천공간정보에 대하여 웹 서비스 방식 중 통신 프로토콜인 HTTP 등을 이용한 인터넷상의 메시지 교환을 가능하게 하는 통신 프로토콜인 SOAP 및 WWW와 같은 분산 하이퍼미디어 시스템을 위한 소프트웨어 아키텍처의 한 형식인 REST(Representational State Transfer)를 실행하여 이에 따른 검증 프로세스를 수립하였다. 하천공간정보 웹 서비스에 대한 테스트 시나리오는 응답시간, 임계성능, 이용가능성, 신뢰성 및 접근성에 대하여 검증하며 하나 이상의 웹 서비스들 간의 호환성 표준의 준수 여부와 상호 운용 가능 여부를 테스트 하는 상호운용성 테스트, 신뢰성 메시징 및 분산 환경에서의 트랜잭션 처리 성능을 검증하는 웹 서비스 프로세스 품질 테스트를 실시하는 방안을 도출하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.189-192
• /
• 2011

클라우드 컴퓨팅에서 사용되는 웹 서비스들은 BPEL에 의해 여러 서비스들이 새로운 웹 서비스로 조합 되어지며, 서비스가 제대로 동작하는지를 검증하기 위해 Petri nets, Abstract State Machine(ASM), BPECalculus 등의 검증 방법을 사용한다. 이러한 검증 방법은 BPEL을 사용하여 새로 만들어진 웹 서비스들이 안정적으로 동작하는지를 검증하는 것으로, 웹 서비스 설계와 검증이 서로 분리되어 있다. 본 논문에서는 명세, 분석 및 검증의 전 과정에서 프로세스의 포함관계, 상태정보, Interaction, Mobility 등을 그래프로 표현하며, 한 단계의 그래프를 통하여 시스템 전체의 복잡도 및 시스템의 행위를 예측할 수 있는 Onion Visual Language(OVL)을 사용하여 BPEL로 설계 되는 클라우드 웹 서비스들을 OVL로 변환 후 이를 분석 및 검증한다. 추후 OVL은 서로 다른 클라우드 안에서의 웹 서비스 재사용을 위한 동일성 검증을 위한 방법으로 사용될 수 있다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2006.06a
• /
• pp.334-339
• /
• 2006

인터넷을 통한 고도의 정보 통신망 구축은 제한적이던 네트워크의 침입에 대한 위험성을 증대시켰으며, 그에 따라 안전성 있는 웹 서비스 구축이 무엇보다 중요한 문제로 자리 잡고 있다. 안전성 있는 인터넷 서비스를 구성하기 위한 하나의 일환으로, 본 논문에서는 사용자에게 안전한 웹 서비스 제공을 위한 실시간 웹 무결성 검증 시스템을 제안하고자 한다. 프록시 서버와 웹 서버의 연동 보안 기술로, 데이터 무결성 검증을 위한 SHA-1과 N-gram의 효율적인 hybrid 방식 기법을 이용한 이 시스템은 XSS 취약점 공격, SQL 삽입 공격, 파일 업로드 취약점 공격 등을 방어하고 정부기관 및 기업뿐만이 아닌 홈네트워크 환경에서도 안전한 보안 서비스를 제공할 수 있을 것이다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2013.06a
• /
• pp.196-199
• /
• 2013

본 논문에서는 웹에 공개된 웹서비스들을 매쉬업하여 스마트 TV 앱을 개발하는 과정에서의 문제점을 고찰하고, 문제 해결을 위한 접근방법을 설명한다. 웹서비스 매쉬업 개발 시, 분산된 웹서비스 들 중 개발자가 필요로 하는 적절한 웹서비스를 손쉽게 찾기 어렵고, 웹서비스마다 인증받고 호출하는 방법이 다르며, 또한 서비스의 가용성을 확인하고 이용해야 문제로 요약된다. 이와 같은 웹서비스 매쉬업 과정의 문제를 해결하기 위해 제시한 본 연구의 접근 방법은 검색, 검증, 인증이 손쉽게 지원되는 개발환경 시스템으로 제공될 필요가 있으며, 자동화된 개발환경 시스템은 개발자를 도와 웹서비스의 활용을 증대시킴으로써 다양한 앱 개발의 촉매제가 될 수 있을 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.671-674
• /
• 2005

현재 지능형 웹 서비스를 위한 서비스 온톨로지의 생성은 서비스 개발자의 휴리스틱에 의존하여 많은 시간과 비용을 소모할 뿐만 아니라 서비스와 서비스 온톨로지간의 완벽한 매핑이 어렵다는 문제점을 가지고 있다. 또한 서비스 온톨로지를 기술하기 위한 마크업 언어를 서비스 개발자가 단기간 내에 학습하기에 많은 어려움이 있는 실정이다. 본 논문에서는 지능형 웹 서비스를 위한 서비스 온톨로지 생성의 문제점들을 해결하기 위해 MDA 방법론을 사용하여 서비스 온톨로지를 효율적으로 설계 및 생성하기 위한 방안을 제안한다. 본 논문에서 제안하는 방안은 MDA를 기반으로 널리 사용되고 있는 UML을 사용하여 웹 서비스 모델을 설계하고 이를 OWL-S에 최적화된 모델로 변환한 후 XMI를 통해 OWL-S로 기술되는 서비스 온톨로지로 변환한다. 본 논문에서 제안하는 방안은 이미 널리 사용되는 UML과 같은 소프트웨어 공학적 방법을 사용하기 때문에 서비스 개발자들이 쉽게 서비스 온톨로지를 구축할 수 있으며 하나의 모델로부터 서비스와 서비스 온톨로지 모델을 동시에 이끌어 낼 수 있는 장점을 가진다. 또한 모델로부터 자동적으로 서비스 온톨로지를 생성함으로써 시간과 비용을 절감할 수 있는 효과를 얻을 수 있다. 그리고 플랫폼 변화와 같은 외부 환경 변화에 유연하게 대처할 수 있다. 끝으로 본 논문에서는 제안된 방안의 타당성을 검증하기 위해 실제로 웹 서비스 모델을 설계하고 서비스 온톨로지를 생성하는 예를 보인다. 또한 생성된 서비스 온톨로지가 올바르게 생성되었는지를 유효성 검사를 통해 검증한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2008.05a
• /
• pp.823-826
• /
• 2008

This paper shows linkage management for external services. There are many services for specific entities such as DBLP and OntoWorld. OntoFrame, as a Semantic Web-based research information service portal, aims at one-stop service in ways that it connects external services with hyperlinks. For managing the linkage, linkage rules are manually edited by human administrators and automatically verified and tested by linkage management system. It consists of linkage rule management, linkage rule verification, linkage test, and dynamic link generation. Linkage rule management creates and edits linkage rules to connect external services on the Web. After finished rule editing and verification step, linkage management invokes linkage test with entity list. Only valid links are visible to enable users to click on our system, and thus it increases user's reliability on the system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.387-391
• /
• 2006

로봇이 적응성을 위해 웹 서비스를 통해 문제를 해결하려고 할 때, 웹 서비스는 서비스의 의미로 서비스를 찾을 수 있는 방법을 제공하지 않아서 원하는 기능의 서비스를 찾기가 어렵다. 하지만 시멘틱 웹에서는 온톨로지를 이용하여 서비스의 의미를 표현하기 때문에 위의 문제를 해결할 수 있다. OWL-S를 이용하면 웹 서비스의 표현을 용이하게 해준다. 하지만 문맥(Context) 정보를 고려한 서비스의 검색이나 검색을 통해 가져온 서비스를 검증하는 수단을 제공하지 않고 있다. 본 논문에서는 OWL-S과 에이전트를 기반으로 하여 적합한 서비스를 찾는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2265-2268
• /
• 2002

인터넷 사용자들의 기하급수적인 증가와 웹 페이지의 폭발적인 증가로 인하여 정보공유를 위한 인터넷에서 효율적으로 원하는 정보를 발견하고 이용하기에 매우 힘든 상황에 처해있다. 따라서, 이러한 문제점들을 근본적으로 해결하기 위한 노력의 일환으로 기계가 이해하고 추론할 수 있는 시맨틱 웹이 등장하였다. 시맨틱 웹과 관련된 여러 가지 기술들 중 시맨틱 웹 서비스는 사용자에게 현재의 인터넷 환경에서 제공할 수 있는 서비스보다 향상된 고품질의 서비스를 제공하는 것을 목적으로 삼고 있다. 이러한 시맨틱 웹 서비스는 웹 서비스의 발견, 실행 및 구성으로 구성된다. 본 논문에서는 시맨틱 웹 서비스를 자동화하기 위한 노력의 일환으로서 시맨틱 웹에서 웹 서비스를 구성하는 문제에 대하여 언급한다. 시맨틱 웹 서비스 구성문제는 사용자의 요구사항을 충족시키기 위하여 다양한 웹 서비스들을 조합하는 문제이다. 그러나, WSFL, X-LANG 및 BPEL4WS 그리고, DAML-S와 같은 웹 서비스 구성문제에 대한 일련의 노력들에서는 사용자 요구사항에 대한 검증이나 서비스의 품질에 대한 사항들을 확인 및 제공할 수 있는 방법들이 없다. 따라서, 본 논문에서는 시맨틱 웹 서비스 구성문제와 관련된 상기와 같은 문제점들을 해결할 수 있는 방법론을 제시한다. 본 논문에서 제시된 방법론에서는 시맨틱 웹 구성문제를 제약만족문제로 변환함으로써 제약만족문제에 있어 늘리 알려진 다양한 알고리즘들을 활용할 수 있는 장점들이 있을 뿐만 아니라 사용자들의 요구사항에 대한 검증과 서비스의 품질을 확인할 수 있는 장점들이 있다.의 위상변화에 대한 적응성을 높일 수 있도록 한다. SQL Server 2000 그리고 LSF를 이용하였다. 그리고 구현 환경과 구성요소에 대한 수행 화면을 보였다.ool)을 사용하더라도 단순 다중 쓰레드 모델보다 더 많은 수의 클라이언트를 수용할 수 있는 장점이 있다. 이러한 결과를 바탕으로 본 연구팀에서 수행중인 MoIM-Messge서버의 네트워크 모듈로 다중 쓰레드 소켓폴링 모델을 적용하였다.n rate compared with conventional face recognition algorithms. 아니라 실내에서도 발생하고 있었다. 정량한 8개 화합물 각각과 총 휘발성 유기화합물의 스피어만 상관계수는 벤젠을 제외하고는 모두 유의하였다. 이중 톨루엔과 크실렌은 총 휘발성 유기화합물과 좋은 상관성 (톨루엔 0.76, 크실렌, 0.87)을 나타내었다. 이 연구는 톨루엔과 크실렌이 총 휘발성 유기화합물의 좋은 지표를 사용될 있고, 톨루엔, 에틸벤젠, 크실렌 등 많은 휘발성 유기화합물의 발생원은 실외뿐 아니라 실내에도 있음을 나타내고 있다.>10)의 $[^{18}F]F_2$를 얻었다. 결론: $^{18}O(p,n)^{18}F$ 핵반응을 이용하여 친전자성 방사성동위원소 $[^{18}F]F_2$를 생산하였다. 표적 챔버는 알루미늄으로 제작하였으며 본 연구에서 연구된 $[^{18}F]F_2$가스는 친핵성 치환반응으로 방사성동위원소를 도입하기 어려운 다양한 방사성의 약품개발에 유용하게 이용될 수 있을 것이다.었으나

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2003.05a
• /
• pp.385-391
• /
• 2003

상이한 IT 환경 기반의 여러 기업이 협업하는 방법 중 하나가 각 기업이 가진 비즈니스를 웹서비스로 오픈하고 웹서비스 협업 프레임워크 위에서 상호 협업하여 다자간 비즈니스 프로세스를 구축하는 것이다. 본 논문의 시스템은 웹서비스 기반 비즈니스 프로세스 모델링 언어인 BPEL4WS 위에 협업 프레임워크 명세인 WS-Coordination / Transaction 프레임워크를 결합한 아키텍처를 구현한 서비스 통합 시tm템이다. 이 시스템 위에 다자간 비즈니스 프로세스를 운용할 수 있는 BPM 포탈인 금융포탈을 구축하여 본 논문의 시스템 활용성을 검증하였다. 또한 웹서비스. 협업 프레임워크를 실 업무에 적용할 때 예상되는 문제점을 미리 도출하고 그에 대응하기 위한 목적으로, 이 시스템의 협업 기능에 대해 테스트를 실시 하였다.

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

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