RIA 기반 해양 환경 동적 매쉬업 서비스 개발

정희택,김해진,김해란,Ceong, Hee-Taek,Kim, Hae-Jin,Kim, Hae-Ran 한국정보통신학회 2010 한국정보통신학회논문지 Vol.14 No.10

웹에서 제공되는 정보나 콘텐츠, 또는 Open API 서비스를 섞어 하나의 새로운 서비스를 창출하는 것이 매쉬업 서비스이다. 단순한 정보의 조합이 아닌 필요에 의해 개발된 매쉬업 서비스는 실용성과 편리함으로 새로운 부가가치 창출에 기여할 수 있다. 따라서 본 논문에서는 날씨와 같은 일기 예보와 해양 환경 정보가 중요한 사용자들을 위해 지도와 연계된 RIA 기반 동적 매쉬업 서비스를 개발하고자 한다. 본 논문은 지도와 연계한 사업장 정보의 동적 등록 과정과 선택된 사업장에 대해 지도상에 위치를 마킹하고 사업장의 내부 환경정보, 외부 연안정보, 날씨 정보를 함께 한 화면에 보여 주도록 설계하고 구현하였다. 구현된 서비스는 한 화면 내에서 동시에 여러 정보를 확인 가능하기에 매번 관련 정보 확인을 위해 해당 웹 사이트를 방문해야 했던 지루한 과정이 필요 없다. A mashup is a web page or application that uses and combines information, contents or Open APIs available on the web to create a new service. The mashup developed by the need not combination of simple information can contribute to new added-values with practicality and convenience. Thus, in this paper, we want to develop a RIA-based dynamic mashup service for the users considering weather forecast and marine information importantly. We design and implement the system that it can register a number of information about a domain dynamically through registration process based on the map and present a mark of domain location on the map and the information including internal environment, external environment and weather of related to the domain within a webpage. Implemented service need not require a tedious process visiting other web sites every time to confirm the relevant information because we can see simultaneously related information with a map within a page.

고품질 수산물 생산지원시스템 설계

정희택,예성빈,김해란,한순희,Ceong, Hee-Taek,Ye, Seoung-Bin,Kim, Hae-Ran,Han, Soon-Hee 한국정보통신학회 2008 한국정보통신학회논문지 Vol.12 No.9

식품선택에 있어서 소비자들은 철저한 품질관리를 통한 식품의 안전성과 신뢰성을 중요하게 여긴다. 또한 지역과 환경을 고려한 지속 가능한 생산과 소비에 관심이 많다. 본 연구에서는 소비자의 요구와 세계적인 식품인증 흐름에 따른 안전성과 신뢰성 있는 수산물 생산을 위해, 국제적 위생관리 기준인 HACCP인증과 이력제 인증, 친환경 수산물인증의 기반시스템이 되도록 고품질 수산물 생산지원시스템을 제안하고 설계하였다. 고품질 수산물 생산지원 시스템은 양식장 HACCP, 환경 제어모니터링, 생산이력, 질병예방/질병알림, 수산물 가격조회 등 5개 부분으로 구성된다. 제안 시스템은 다양한 u-IT 기술인 USN, 네트워크 CCTV, 모바일 기기 등의 첨단 융 복합 기술을 활용한다. In food choice, consumers consider importantly food safely and reliability focusing on a high qualify control. Also they are concerned about sustainable production and consumption considering of area and environment. In this paper, We propose and design the high-quality seafood production support system that is based on international sanitary standard haccp, traceability and eco-fiendly seafood certification for safety and reliability of the seafood production. The system is categorized into five part: aquafarm haccp, environmental control monitoring, traceability, disease prevention and messenger service and seafood price inquiry service. The proposed system utilize diverse ubiquitous-it technologies like usn, network cctv, mobile device etc.

페트리넷을 이용한 어류양식 환경 정보 모델러 및 시뮬레이터 구현

정희택,조혁현,Ceong, Hee-Taek,Cho, Hyug-Hyun 한국정보통신학회 2012 한국정보통신학회논문지 Vol.16 No.3

It is required that system can seamlessly identify and manage change history and comprehensive assessment of several types of data as well as individual information of feeding and water environment for scientific and systematic management of fish farming environment and fish farmer. In this study, we implemented the system which can present and simulate current status of water quality and feeding based on th historical data of them, and check changes of state step by step using visual C++. In addition, we proposed the entropy model which can be comprehensive analysis about water quality and feed status information based on knowledge of fisheries. It can be the foundation to create high-level environment model reflecting the more diverse fisheries knowledge such as disease. 양식 환경의 과학적이고 체계적인 관리와 양식어민을 위해 실시간 수질 및 급이 정보 이외에도 자료의 종합적인 판단과 변화 이력을 확인하고 관리할 수 있는 시스템이 필요하다. 따라서 본 연구에서는 양식장의 수질, 급이의 현재 상태를 제시하고 이력 정보를 기반으로 시뮬레이션 가능하며 상태 변화를 단계 별로 확인 가능한 시스템을 비주얼 C++를 이용하여 구현하였다. 또한 수질, 급이 상태 정보를 수산지식을 기반으로 종합적으로 분석할 수 있고 제시할 수 있는 엔트로피 모델을 제안하였다. 이는 추후 질병 및 다양한 연구 결과를 반영한 고차원의 양식 환경 모델을 생성할 수 있는 토대가 될 수 있다.

페트리넷을 이용한 워크플로우 명세의 완료가능성 및 무결성 검증

정희택,이도헌,Ceong, Hee-Taek,Lee, Do-Heon 한국정보처리학회 2000 정보처리논문지 Vol.7 No.7

최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에대한 연구가 활발히 이루어지고 있다. 본 연구는 병행 수행되는 과업간에 다양한 종속성을 포함한 워크플로우 명세에 대해, 페트리넷을 이용한 완료 기능성 및 완료 무결성 검증 방안을 제안한다. 이를 위해 첫째, 기존에 연구된 워크플로우 그래프를 이용한 워크플로우 명세 방안을 간략히 기술한다. 둘째, 워크플로우 명세의 검증을 위해, 워크플로우 그래르를 레트리넷으로 변환하기 우한 방안을 제안한다. 셋째, 페트리넷을 이용하여 워크플로우 명세가 왼료 가능한지를 검증하는 완료 가능성 검증과 원하지 않는 워크플로우 상택가 존재하는지 검증하는 무결성 검증방안을 제안한다. 넷째, 제안된 검증방안의 구현 및 모순 추출 방안을 제안한다. A study on workflow as an automated business processing system is done recently. This appear proposes a method to verify commitability and integrity of workflow specifications, which include various dependencies between parallel tasks, using petri nets. For this, firstly, e describe briefly workflow specification method using workflow graphs. Secondly, we propose a method to convert a workflow graph into a petri net to verify workflow specifications. Thirdly, we suggest the commitability verification method using petri nets to check whether workflow specifications can commit or not and the integrity verification method to check whether invalid components exist or not. Lastly, we implement the proposed verification method and propose a defect extraction method.

시맨틱 웹기반 수산용 의약품 정보시스템 설계

정희택,김해란,한순희,Ceong, Hee-Taek,Kim, Hae-Ran,Han, Soon-Hee 한국정보통신학회 2010 한국정보통신학회논문지 Vol.14 No.1

In this paper, we suggest a fish drug domain ontology to show an associated information and hierarchy together through concept-relation and inference mechanism instead of keyword matching. First, we investigate competency questions from workers of fishery industry and then we derive concepts and terminologies. Next, we present a process of fish drug ontology modelling using Protege-OWL editor, which is an extension of Protege that supports the Web Ontology Language(OWL). Last, we suggest the user interface of semantic web-based fish drug information system to search easily associated informations of fish drug using this ontology. It is to provide an effective search method that fish disease manager, fish farmer, and students majoring in fisheries can confirm details of diseases, fish, and drug evaluations associated with fish drug within one screen without moving to another position. 본 연구는 키워드 기반의 단순 검색이 아닌 개념의 관계와 추론을 통해 연관정보 및 계층 정보를 함께 보여 줄 수 있는 수산용의약품 도메인 온톨로지 구축 방안을 제안한다. 이를 위해 수산분야 종사자들로부터 적합성질문 목록을 조사하여 개념 및 용어를 도출하는 선행과정을 수행한다. 다음으로 온톨로지 언어인 OWL을 지원하는 Protege-OWL 편집기를 이용하여 온톨로지 모델링 과정을 기술한다. 그리고 마지막으로 구축된 온톨로지를 통해 사용자들이 수산용의약품에 대한 관련 정보를 쉽게 찾아갈 수 있는 사용자 인터페이스를 제안한다. 이는 수산용의약품과 연관된 질병, 어종, 약품평가 내역을 다른 위치로 이동하지 않고 한 화면 내에서 확인 할 수 있게 됨으로써 관련 전공학생, 수산질병관리사, 양식어민들에게 필요한 정보에 대한 효과적인 검색 방법을 제공한다.

시간 제약을 포함한 워크플로우 모델링 및 검증

정희택(Ceong Hee Taek),이도헌(Lee Do Heon),김문자(Kim Moon Ja),류영철(Lew Young Chul) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.2

Recently, automated business processing systems, so called workflow systems, have been studied. Even though each task has noticible duration inherently, most of previous models regard it as a simple finite automaton where state transitons occur instantly. In this paper, we propose a modeling method for workflows each of whose component task has minimum processing time and due-date. Firstly, we provide a priority function to choose the propoer alternatives when tasks fail before their due-date. The priority function considers the time-relevant factor and the semantic compatibility level to decide the best alternative. Secondly, we identify six different types of execution requirements for tasks with noticible durations. They are serial, parallel, simultaneous start, simultaneous termination, interleaved and nested dependency. Note that previous models deal with only serial execution and parallel execution. Lastly, we also propose graph-based methods to detect logical conflicts in time constraint-based workflow specifications.

워크플로우 명세의 적시성과 병행 수행간 양립성 검증

정희택(Hee Taek CEONG),이도헌(Do Heon LEE) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.1B

최근 조직 규모의 복잡화와 방대화에 따른, 자동화된 업무처리 시스템인 워크플로우 시스템에 대한 연구가 활발히 이루어지고 있다. 본 연구는 워크플로우 명세에 있어 과업의 적시성과 다양한 병행 수행 요구의 양립성을 검증하기 의한 방안을 제안한다. 이를 위해 첫째, 과업의 시간 제약과 병행 수행하는 과업들간의 다양한 병행 수행 형태를 간략히 기술한다. 둘째, 시간 제약과 병행 수행 요구의 양립에 따른 모순의 존재를 예로 제시한다. 이러한 모순을 검증하기 위한 과정으로써, 병행 수행형태에 따라 가장 늦은 준비시간 결정방안을 제안한다. 셋째, 결정된 각 과업의 가장 늦은 준비 시간을 기반으로 시간제약 및 병행 수행 충돌 모순을 정의한다. 마지막으로, 정의된 충돌 모순을 워크플로우 명세로부터 검증할 수 있는 방안을 제안한다.

시간제약을 포함한 워크플로우 모델링

정희택(Hee Taek CEONG),이도헌(Do Heon LEE) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1B

비즈니스 프로세스의 복잡화 및 조직 규모의 방대화에 따른 자동화된 업무처리 요구가 날로 증가하고 있다. 자동화된 비즈니스 프로세스를 체계적으로 관리하는 시스템을 워크플로우 관리 시스템이라 한다. 워크플로우를 체계적으로 관리하기 위해 워크플로우를 구성하는 태스크 및 태스크간 종속성을 모델링해야 한다. 본 논문은 워크플로우에 내재된 시간 제약을 고려함으로써, 시간제약을 포함한 태스크 및 다양한 태스크간 종속성 모델링 방안을 제안한다. 이를 달성하기 위해 먼저, 태스크의 시간 제약 특성을 분석하고 그에 따른 완료, 재수행가능 철회, 그리고 재수행 불가능 철회를 정의한다. 또한, 재수행가능 철회에 대해 수행할 대안태스크 결정을 위한 의미적 호환 관계와 대안태스크 우선순위함수를 제안한다. 다음으로 6가지 태스크간 종속성을 제안함으로써, 순차 종속성이외에 다양한 병행 종속성인 동시수행 종속성, 동시시작 종속성, 동시종료 종속성, 간섭된 종속성, 그리고 중첩된 종속성을 표현할 수 있다.

페트리넷을 이용한 워크플로우 명세의 완료가능성 및 무결성 검증

정희택(Hee Taek Ceong),이도헌(Do Heon Lee) 한국정보처리학회 2000 정보처리학회논문지 Vol.7 No.7

A study on workflow as an automated business processing system is done recently. This paper proposes a method to verify commitability and integrity of workflow specifications, which include various dependencies between parallel tasks, using petri nets. For this, firstly, we describe briefly workflow specification method using workflow graphs. Secondly, we propose a method to convert a workflow graph into a petri net to verify workflow specifications. Thirdly, we suggest the commitability verification method using petri nets to check whether workflow specifications can commit or not and the integrity verification method to check whether invalid components exist or not. Lastly, we implement the proposed verification method and propose a defect extraction method.

고객 관계 관리를 위한 워크플로우 시스템의 통합

정희택(Hee Taek Ceong) 한국정보과학회 2000 정보과학회지 Vol.18 No.11