EMFG를 이용한 UML 활동 다이어그램의 수행가능성 평가

여정모,이미순,Yeo Jeong-Mo,Lee Mi-Soon 한국정보처리학회 2006 정보처리학회논문지D Vol.13 No.1

UML(Unified Modeling Language)은 객체지향 모델링을 위한 언어이다 UML에 포함되어 있는 AD(Activity Diagram; 활동 다이어그램)는 워크플로우 시스템의 모델링에 적합하지만 수행 과정의 평가가 수학적이지 못하므로 수행 과정을 직관적으로 파악해야 하는 단점이 있다. 그러나 EMFG(Extended Mark Flow Graph)는 이산적인 시스템의 모델링에 적합할 뿐 아니라 수행 과정을 수학적으로 평가할 수 있다. 따라서 본 연구에서는 EMFG를 사용하여 모델링된 AD의 수행 동작을 평가하려고 한다. 우선 AD를 EMFG로 변환하는 방법에 대하여 제안하고, 변환된 EMFG의 수행을 평가함으로써 모델링된 AD의 수행완료 가능성을 평가한다. 그리고 컴퓨터 시뮬레이션을 통하여 이를 입증한다. 제안한 알고리듬은 대규모 워크플로우 시스템을 모델링한 AD의 수행완료 가능성도 쉽게 평가할 수 있는 장점이 있다. Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

EMFG를 이용한 웹사이트 표현의 간략화

여정모,안정숙,Yeo Jeong Mo,An Jeong Suk 한국정보처리학회 2005 정보처리학회논문지D Vol.12 No.2

복잡한 구조의 웹사이트를 표현하기 위해 EMG(Extended Mark Flow Graph)를 이용한 웹사이트의 표현이 연구되고 있다. 대부분의 웹사이트들은 반복구조가 많이 나타나고, 이러한 웹사이트들을 EMFG로 표현하면 너무 복잡하여 때로는 웹사이트의 구조의 파악이 어려워지게 된다. 따라서 본 논문에서는 웹사이트를 EMG로 표현할 때 나타나는 반복구조를 직렬반복구조와 병렬반복구조로 분류하고, 이를 간략화하여 박스, 아크, 트랜지션의 수를 줄여 전체 웹사이트의 구조 및 웹페이지 간의 이동관계를 효율적으로 설계하고 관리할 수 있는 방법을 제시하고자 한다. The representation of Web Sites with EMFG(Extended Mark Flow Graph) is studied as a new method that represents the complicated Web Sites structure. The Web Sites usually have the number of iteration structures. The representation of these Web Sites with EMFG is too complicated, and so we can not understand the structure of these Web Sites sometimes. Therefore, in this paper, we classify these iteration structures when express Web Sites by EMFG as serial iteration structures and parallel iteration structures and propose the method that can simplify these iteration structures. Then we can reduce number of boxes, arcs, and transitions, and efficiently design and manage Web Sites by using this method.

애플리케이션 개발을 위한 대상업무 도출 방법에 관한 연구

여정모,박선이,Yeo, Jeong-Mo,Park, Sun-Yi 한국정보통신학회 2011 한국정보통신학회논문지 Vol.15 No.12

Target businesses mean a business of specific and detailed management targets being used for realization of applications for business. Though elicitation methods of target businesses exist variously, it mostly requires much experience and consumes much time. So because its procedure is not suggested clearly, there is much difficulty when a beginner elicits target businesses. Accordingly, this study proposes a method capable of eliciting target businesses procedurally from given business statements. And hypothetical business statements were used as a case, and a method proposed from this study was applied to given business statements with the target of undergraduates, graduate students and company employees. And as a result of questioning an individual performance method and analyzing its reliability, a reliable result was obtained generally. Due to this, it could be confirmed that the method suggested in this study is not only used in the field, but also can be used easily even for a beginner. 대상업무란 업무용 애플리케이션의 구현에 사용되는 구체적이고 상세한 관리대상의 업무를 말한다. 대상업무 도출 방법은 다양하게 존재하지만, 대부분 많은 경험을 요구하고 시간이 많이 소요될 뿐 아니라 절차가 명확하게 제시되지 않아 초보자가 대상업무들을 도출할 때 많은 어려움이 있다. 따라서 본 연구에서는 주어진 업무명세서로부터 대상업무들을 절차적으로 도출할 수 있는 방법을 제안한다. 그리고 사례로서 가상의 업무명세서를 사용하였으며, 학부생과 대학원생 및 업체 직원들을 대상으로 주어진 업무명세서에 대하여 본 연구에서 제안한 방법을 적용시켰다. 그리고 각자의 수행 방법에 대하여 설문하고 신뢰도를 분석한 결과, 전반적으로 신뢰성 있는 결과를 얻었다. 이로 인해 본 연구에서 제시한 방법은 현장에서도 사용할 수 있을 뿐 아니라 초보자도 용이하게 사용할 수 있음이 확인되었다.

쇼핑몰 시스템의 데이터 모델 기반 설계 및 구현

여정모,신의정,정보위,Yeo, Jeong-Mo,Shin, Ue-Jung,Zheng, Bao-Wei 한국정보처리학회 2009 정보처리학회논문지 A Vol.16 No.4

인터넷 쇼핑몰 시스템은 인터넷의 발달로 인하여 동시 사용자 수가 많아지고 판매하는 상품이 다양화됨에 따라 홈페이지가 자주 바뀔 뿐만 아니라 관리 데이터의 다변화로 인하여 데이터의 종류가 증가하고 데이터 량도 대용량화되면서 관리용 프로그램도 자주 변경된다. 이로 인하여 프로세스 중심으로 설계된 대부분의 기존 쇼핑몰 시스템들은 그 적응성이 떨어져 미래 변화에 대한 대응이 힘들고 유지보수도 어려워 추가 비용이 발생할 가능성이 높다. 따라서 본 연구에서는 기존의 천연비누 쇼핑몰 시스템을 대상으로 적응성과 유지보수성을 개선시키기 위하여 데이터 모델을 기반으로 시스템을 설계하고 구현한다. 본 연구에서의 데이터 모델은 미래에 대한 요구를 감안하여 설계하였고, DA(Data Architecture) 관점에서 표준화를 도입하여 시스템을 설계하고 구현하였으므로 그 적응성과 유지보수성이 기존의 시스템보다 개선되었다. Because of a number of internet concurrent users and the diversity of goods and data items to be managed, the web sites for internet shopping mall are changed and their management application are updated frequently. So the existing internet shopping mall systems to be implemented by process-based design have the bad adaptability, then we have the difficulty for its maintenance and the overhead cost owing to a variety of changes in the future. Therefore to improve on its adaptability and maintenance, in this study, we design and implement the natural soap shopping mall system with the data model based method. In this paper, the data model designed for the system is considered requirements in the future, and in the view of DA(Data Architecture) it is designed and implemented including the data standardization, then the system has the improved adaptability and maintenance.

The Rule Case Simplification Algorithm to be used in a Rule-Based System

여정모,Zheng, Baowei,Yeo, Jeong-Mo 한국정보처리학회 2010 정보처리학회논문지D Vol.17 No.6

다양한 업무요소들의 값의 조합에 따라 대상 값이 결정되는 것을 규칙이라고 한다. 업무를 표현한 기업의 정보시스템은 이러한 수많은 규칙들을 포함하는데, 이러한 규칙들을 구현한 서버 시스템을 규칙기반 시스템이라고 한다. 규칙기반 시스템은 규칙 엔진 기법을 사용하거나 직접 데이터베이스를 사용하여 구현된다. 규칙 엔진 기법은 많은 단점을 가지기 때문에 대부분 관계형 데이터베이스를 사용하여 규칙기반 시스템을 구현한다. 업무의 규모가 커지고 복잡하게 될수록 수많은 다양한 경우의 규칙이 존재하게 되므로 시간과 비용이 크게 증가하고, 대량의 저장공간을 요구하게 될 뿐만 아니라 수행속도의 저하 현상도 많이 발생한다. 따라서 본 연구에서는 이러한 수많은 경우의 규칙들을 동일한 효과를 가지는 간소화된 경우의 규칙들로 변환시킬 수 있는 알고리즘을 제안한다. 본 연구의 알고리즘을 가지고 다양한 업무 규칙 데이터에 적용하여 테스트한 결과 데이터 건수를 간소화시킬 수 있음을 입증하였다. 본 연구의 알고리즘을 사용하여 업무 규칙 데이터를 간소화하게 되면 데이터 베이스를 사용하여 구현된 규칙기반 시스템의 성능을 개선할 수 있다. A rule is defined as a case to determine the target values according to combination of various Business factors. The information system is used to represent enterprise's business, which includes and implements the amount of these rules to Rule-Based System. A Rule-Based System can be constructed by using the rules engine method or Relational Database technology. Because the rules engine method has some disadvantages, the Rule-Based System is mostly developed with Relational Database technology. When business scales become larger and more complex, a large number of various rule cases must be operated in system, and processing these rule cases requires additional time, overhead and storage space, and the speed of execution slows down. To solve these problems, we propose a simplification algorithm that converts a large amount of rule cases to simplification rule cases with same effects. The proposed algorithm is applied to hypothetical business rule data and a large number of simplification experiments and tests are conducted. The final results proved that the number of rows can be reduced to some extent. The proposed algorithm can be used to simplify business rule data for improving performance of the Rule-Based System implemented with the Relational Database.

이산 시스템의 설계와 해석을 위한 확장된 마크흐름선도의 재정의와 회로변환

여정모(Jeong Mo Yeo) 한국멀티미디어학회 1998 멀티미디어학회논문지 Vol.1 No.2

확장된 마크흐름선도의 재구성과 회로변환

여정모(Jeong Mo Yeo),하재목(Jae Mok Ha) 한국멀티미디어학회 1998 한국멀티미디어학회 학술발표논문집 Vol.1998 No.1

이산제어시스템 설계를 위한 확장된 마크흐름선도의 동작해석

여정모(Yeo Jeong mo) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.7

The EMFG(Extended Mark Flow Graph) can be easily translated to a physical circuit through a conversion formula and then has been used as the powerful tool for modeling, design and implementation of discrete-event control systems. In this paper, we present an analysis method of an EMFG using boolean functions and vectors that describes the firing processing of the transitions and calculate the number of marks in each box. We also present an EMFG running algorithm that a designer can recognize the state variation of the system easily. The proposed algorithm works well on two analysis examples: an EMFG representing a 3-bit up counter and an EMFG including time transitions. Due to the analysis possibility of an EMFG with boolean functions, the operations of the system can be understood and analyzed easily, then the automatic analysis and design of the system is possible with the computer simulation.

릴레이 회로의 확장된 마크흐름선도 변환

여정모(Jeong-Mo Yeo),백형구(Hyung-Goo Paek) 제어로봇시스템학회 2003 제어·로봇·시스템학회 논문지 Vol.9 No.11

EMFG를 이용한 웹사이트의 동적 인터페이스 표현

김은숙,여정모,Kim, Eun-Sook,Yeo, Jeong-Mo 한국정보처리학회 2008 정보처리학회논문지D Vol.15 No.5

Web designers generally use a story board, a site map, a flow chart or the combination of these for representing web sites. But these methods are difficult to represent the entire architecture of a web site, and may be not adaptive for describing the detail flow of web pages. To solve these problems to some degree, there were works using EMFG(Extended Mark Flow Graph) recently. However the conventional EMFG representation method is not adaptive to represent the dynamic interface of web sites because that cover only the static parts of a web site. Internet utilization is rapidly growing in our life and we cannot imagine the worlds of work, study and business without internet. And web sites recently have not only more complex and various architecture but also web pages containing the dynamic interface. Therefore we propose the representation method of these web sites - for example, a web site containing varying pages with time and varying page status or contents with mouse operations - using EMFG. We expect our work to be help the design and maintenance of web sites. 웹사이트의 구조를 표현하고 설계하는 일반적인 방법으로 스토리보드나 사이트 맵 또는 플로우 차트 등을 사용하거나 또는 이들을 조합하여 사용하는 방법이 있다. 그러나 이들은 웹사이트의 전체 구조를 표현하기 어렵고 웹페이지 간의 세부적인 흐름 관계를 표현하기에 부적절한 면이 있다. 이러한 문제점을 다소 해결하기 위하여 EMFG(Extended Mark Flow Graph)를 이용하여 웹사이트를 표현하고 설계하려는 연구가 진행되었다. 그런데 이러한 기존의 연구는 웹사이트의 정적인 부분들을 대부분 표현하였기 때문에 동적인 웹사이트의 인터페이스를 표현하고 설계하기에는 부족한 점이 있다. 그리고 현재 인터넷의 생활화가 가속화되어 감에 따라 웹사이트의 구조가 더욱 다양하고 복잡하게 되었을 뿐 아니라 인터페이스도 많은 부분에서 동적인 부분을 포함하게 되었다. 따라서 본 연구에서는 EMFG를 사용하여 복잡하고 다양한 웹사이트의 구조뿐만 아니라 동적인 인터페이스 - 예를 들어, 시간에 따라 변하는 페이지 구조 또는 마우스 동작에 따라 변하는 페이지 상태나 구조 등 - 를 표현하는 방법을 제시한다. 본 연구가 웹사이트를 설계하는데 많은 도움이 되고, 웹사이트의 유지보수에도 도움이 될 수 있을 것으로 기대한다.