• 정보처리학회논문지D
• /
• 제12D권2호
• /
• pp.327-334
• /
• 2005

복잡한 구조의 웹사이트를 표현하기 위해 EMG(Extended Mark Flow Graph)를 이용한 웹사이트의 표현이 연구되고 있다. 대부분의 웹사이트들은 반복구조가 많이 나타나고, 이러한 웹사이트들을 EMFG로 표현하면 너무 복잡하여 때로는 웹사이트의 구조의 파악이 어려워지게 된다. 따라서 본 논문에서는 웹사이트를 EMG로 표현할 때 나타나는 반복구조를 직렬반복구조와 병렬반복구조로 분류하고, 이를 간략화하여 박스, 아크, 트랜지션의 수를 줄여 전체 웹사이트의 구조 및 웹페이지 간의 이동관계를 효율적으로 설계하고 관리할 수 있는 방법을 제시하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (중)
• /
• pp.807-810
• /
• 2003

EMFG(Extended Mark Flow Graph)는 이산시스템을 개념설계하거나 상세설계할 수 있는 좋은 도구이다. 시스템을 설계함에 있어서 마크흐름을 분석하는 것은 시스템의 성능향상과 직결되므로 상당히 중요한 작업이다. 본 논문에서는 EMFG의 각 박스들간의 상태변화를 박스추이가중행렬을 통하여 확인, 분석하는 기법을 제안하고자 한다. EMFG로 설계한 시스템의 상태변화를 쉽게 분석함으로써 시스템의 설계 및 분석이 쉬워지므로 자동화된 시스템 개발시 유용하게 사용될 것으로 기대된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1379-1382
• /
• 2003

분산 시스템 환경의 사용이 증가하면서 트렌잭션 처리의 중요성이 부각되고 있다. 이러한 트랜잭션의 사용에 있어서 효과적인 트랜잭션 제어 및 수행완료 검증의 필요성이 제기된다. 이에 본 논문에서는 개념적 설계와 수학적 해석이 가능한 EMFG(Extended Mark Flow Graph)로 트랜잭션 기본 연산을 표현하고 이를 이용하여 다중 트랜잭션을 표현하고, 이를 통해 도달가능트리기법을 사용하여 트랜잭션 수행완료 여부를 검증하고자 한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 춘계학술발표논문집(상)
• /
• pp.10-15
• /
• 2002

확장된 마크흐름선도(EMFG : Extended Mark Flow Graph)는 시스템의 동시성이나 병렬성을 잘 표현할 수 있는 방향성 그래프이다. 이를 이용하여 시스템을 모델링하면 개념설계가 가능하고, 상세 동작분석이 용이해짐으로 이산제어시스템이나 시퀀스 제어회로등을 설계할 때 사용될 수 있는 도구이다. 기존 EMFG에서는 타이머에 대한 표기 방법이 미비하여 타이머를 많이 사용하는 분야인 시퀀스제어 설계 및 릴레이 회로의 표현에는 많은 어려움이 있다. 본 논문에서는 타이머 릴레이들의 동작에 대하여 생성지연-소멸 트랜지션, 생성-소멸지연 트랜지션과같이 이중바로 표기된 새로운 트랜지션을 도입하였다. 새로운 트랜지션을 이용하면 타이머들의 동작을 분명하게 표현할 뿐만 아니라 EMFG의 표현을 알고리듬할 수 있다. 그러므로 복잡한 시스템을 모델링할 때 제안된 트랜지션을 이용하면 효율적인 모델링을 할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.2301-2304
• /
• 2002

IT 산업의 발달로 조직의 자동화된 업무 흐름인 워크플로우에 대한 관심과 연구가 활발해지고 있다. 본 논문에서는 워크플로우 설계시 자주 사용되는 기본 구조를 개념적 설계와 수학적 해석이 가능한 EMFG(Extended Mark Flow Graph)로 표현하고 이를 이용하여 워크플로우를 모델링한다. 모델링된 EMFG로 도달가능트리를 구현하여 워크플로우의 수행완료 가능성과 논리적 오류의 존재 여부를 검증한다. 또한 논리적 오류가 발생할 경우에 이를 제거하는 방법을 제안하고 이를 통해 워크플로우의 정형적 설계와 동적 분석을 가능하게 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.2219-2222
• /
• 2002

웹사이트의 활용가치가 높아지고 사용자의 요구가 다양해짐으로 인해 웹사이트의 규모가 방대해지고 구조가 복잡해져서 웹사이트 설계에 많은 어려움이 있다. 이에 개념적이고 직관적인 설계가 가능한 EMFG(Extended Mark Flow Graph)를 이용하여 웹사이트를 표현하였다. 웹사이트의 EMFG 표현을 통해서 웹사이트의 전체적인 흐름과 페이지간의 세부적인 연결 관계를 파악할 수 있게 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1725-1728
• /
• 2003

인터넷의 보급 확산과 정보통신기술 및 웹 기술의 발달로 쇼핑몰 사이트가 등장하게 되었다. 현재 쇼핑몰 사이트는 그 종류가 다양해지고, 규모가 대형화되고 있으며, 매출규모 또한 증가하고 있는 추세이다. 이러한 많은 쇼핑몰 사이트들은 매출경쟁에서 자사의 수익창출을 위해 끈임없이 노력하고 있고 특히, 고객이 편리하게 쇼핑을 할 수 있도록 원활한 페이지 이동을 지원하고 있다. 고객의 쇼핑과정에 영향을 미치는 페이지 이동을 기존의 웹사이트 설계기법인 플로우차트, 스토리보드, 사이트 맵으로 표현하기에는 미흡한 점이 있다. 따라서 본 논문에서는 개념적이고 직관적인 설계가 가능한 EMFG(Extended Mark Flow Graph)[6]를 이용하여 쇼핑몰 사이트에서 웹 페이지간의 이동흐름을 나타내는 링크구조를 표현하고 분석 한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.60.5-60
• /
• 2001

It is very difficult to design and analyze the relay circuit because one have to consider and analyze in order the behavior in which the relay contacts. In this paper, we propose the relay circuit to EMPG (Extended Mark Flow Graph) convension with a box´s characteristic equation. It will give you a lot of benefits in case of analysis and check of the relay circuit to convert the relay circuit into EMPG.