EMFG를 이용한 UML 활동 다이어그램의 수행가능성 평가
The Performance-ability Evaluation of an UML Activity Diagram with the EMFG
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
UML(Unified Modeling Language)은 객체지향 모델링을 위한 언어이다. UML에 포함되어 있는 AD(Activity Diagram; 활동 다이어그램)는 워크플로우 시스템의 모델링에 적합하지만 수행 과정의 평가가 수학적이지 못하므로 수행 과정을 직관적으로 파악해야 하는 단점이 있다. 그러나 EMFG(Extended Mark Flow Graph)는 이산적인 시스템의 모델링에 적합할 뿐 아니라 수행 과정을 수학적으로 평가할 수 있다. 따라서 본 연구에서는 EMFG를 사용하여 모델링된 AD의 수행 동작을 평가하려고 한다. 우선 AD를 EMFG로 변환하는 방법에 대하여 제안하고, 변환된 EMFG의 수행을 평가함으로써 모델링된 AD의 수행완료 가능성을 평가한다. 그리고 컴퓨터 시뮬레이션을 통하여 이를 입증한다. 제안한 알고리듬은 대규모 워크플로우 시스템을 모델링한 AD의 수행완료 가능성도 쉽게 평가할 수 있는 장점이 있다. 攀 †정 회 원：부경대학교 전자컴퓨터정보통신공학부 교수††준 회 원：부경대학교 교육대학원 전산교육전공논문접수：2005년 9월 1일, 심사완료：2005년 11월 25일攀攀
Abstract
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.
참고문헌 (21)
- D. Hollingsworth, "Workflow Management Coalition - The Workflow Reference Model", TC00-003(1.1) (1994)
- Work Group1, "Interface 1:Process Definition Interchange Process Model", TC-016 (1998)
- Rik Eshuis, "Verification Support for Workflow Design with UML Activity Graphs", pp.166~176 (2002)
- OMG, "OMG Unified Modeling Language Specification (version 2.0) part 10-Activites" (2004)
- Hammer, M, "Reengineering the Corporation: a Manifesto for Business Revolution" (1993), Harper Business
- Mayer, R. J, "Information Integration for Concurrent Engineering IDEF3 Process Description Capture Method Report" (1995), KBSI System Inc.
- Sheer, A.-W, "ARIS Business Process Modeling" (1999), Springer-Verlag
- Van der Aalst, "W.M.P.", 35(3), pp.245~357 (1999)
- 한관희, "UML 활동 다이어그램의 페트리넷 변환을 통한 워크플로 분석", 17(2), pp.200~207 (2004)
- 이동익, "페트리 넷 이론의 기초", 2(2) (1995)
- 김희정, "EMFG의 개선된 동작해석 알고리즘", 9-a(3), pp.371~378 (2002)
- 한관희, "UML", XML 기반의 비즈니스 프로세스 정의 도구, 2003., pp.16(2), 156~166
- 한관희, "표준 워크플로우 정의 데이터를 산출하는 UML 기반 프로세스 모델링 도구 개발" (2003)
- 여정모, "마크흐름선도의 확장" (1982)
- 허후숙, "워크플로우의 EMFG 모델링과 분석", 10-d(7), pp.1189~1196 (2003)
- 김소연, "워크플로우 모형화 및 관리시스템", 3(5), pp.18~30 (1996)
- 허후숙, "워크플로우의 EMFG 모델링과 분석" (2003)
- 이태훈, "EMFG시뮬레이터 설계 및 구현" (2004)
- 여정모, "이산 제어시스템 설계를 위한 확장된 마크흐름선도의 동작해석", 5(7), pp.1896~1907 (1998)
- 홍현기, "워크플로우 시스템 구축을 위한 프로세스 지향적인 방법론에 관한 연구", 21, pp.221~242 (2000)
- 슈물러, "(초보자를 위한) UML객체지향설계" (1999), 인포북