Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2006.13D.1.117

The Performance-ability Evaluation of an UML Activity Diagram with the EMFG  

Yeo Jeong-Mo (부경대학교 전자컴퓨터정보통신공학부)
Lee Mi-Soon (부경대학교 교육대학원 전산교육)
Publication Information
The KIPS Transactions:PartD / v.13D, no.1, 2006 , pp. 117-124 More about this Journal
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.
Keywords
EMFG(Extended Mark Flow Graph); UML(Unified Modeling Language); AD(Activity Diagram); Performance-ability;
Citations & Related Records
Times Cited By KSCI : 7  (Citation Analysis)
연도 인용수 순위
1 Mayer, R. J., Menzel, C. P., Painter, M. K., deWitte, P. S., Blinn, T. and Perakath, B.(1995), Information Integration for Concurrent Engineering IDEF3 Process Description Capture Method Report, KBSI System Inc., Texas
2 슈물러, 조세핀, '(초보자를 위한)UML객체지향설계', 인포북, 1999
3 Hammer, M. and Champy, J.(1993), Reengineering the Corporation: a Manifesto for Business Revolution, Harper Business, New York
4 이태훈, 'EMFG시뮬레이터 설계 및 구현', 부경대학교 대학원 석사학위논문, 2004
5 Rik Eshuis, Roel Wieringa, 'Verification Support for Workflow Design with UML Activity Graphs', ICSE'02, pp.166-176, 2002   DOI
6 OMG, 'OMG Unified Modeling Language Specification (version 2.0), part 10-Activites', http://www.omg.com, 2004
7 D. Hollingsworth, 'Workflow Management Coalition - The Workflow Reference Model', TC00-1003 issue 1.1, 1994
8 Work Group1, 'Interface 1 : Process Definition Interchange Process Model', Workflow Management Coalition Specification, TC-016, 1998
9 홍현기, '워크플로우 시스템 구축을 위한 프로세스 지향적인 방법론에 관한 연구', 한독경상학회 경상논집, Vol.21, pp.221-242, 2000
10 허후숙, '워크플로우의 EMFG 모델링과 분석' 부경대학교 교육대학원 석사학위 논문, 2003
11 이동익, '페트리 넷 이론의 기초', 정보처리학회지, Vol.2, No.2, 1995   과학기술학회마을
12 여정모, '이산 제어시스템 설계를 위한 확장된 마크흐름선도의 동작해석', 정보처리 논문지 Vol.5, No.7, pp.1896-1907, 1998   과학기술학회마을
13 허후숙, 여정모, '워크플로우의 EMFG 모델링과 분석', 정보처리학회논문지D, 제10-D권 제7호, pp.1189-1196, 2003   과학기술학회마을   DOI
14 김소연, 이강수, '워크플로우 모형화 및 관리시스템', 정보처리 제3권 제5호, pp.18-30, 1996   과학기술학회마을
15 여정모, '마크흐름선도의 확장', 부산대학교 대학원 석사학위 논문, 1982
16 한관희, 황태일, 'UML/XML 기반의 비즈니스 프로세스 정의 도구', IE Interfaces Vol.16, No.2, pp.156-166, 2003
17 한관희, 황태일, '표준 워크플로우 정의 데이터를 산출하는 UML 기반 프로세스 모델링 도구 개발', 한국경영과학회/대한산업공학회 2003 춘계공동학술대회, 2003   과학기술학회마을
18 한관희, 'UML 활동 다이어그램의 페트리넷 변환을 통한 워크플로 분석', IE Interfaces Vol.17, No.2, pp.200-207, 2004
19 김희정, 여정모, 서경룡, 'EMFG의 개선된 동작해석 알고리즘', 정보처리학회논문지A, 제9-A권 제3호, pp.371-378, 2002   과학기술학회마을   DOI
20 Sheer, A.-W., ARIS Business Process Modeling, Springer-Verlag, Berlin. 1999
21 Van der Aalst, W. M. P., Woflan: A Petri Net Based Workflow Analyzer, Systems Analysis, Modeling, Simulation, 35(3), pp.245-357, 1999