최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기산업공학 = IE Interfaces, v.17 no.2, 2004년, pp.200 - 207
Because the designed workflow may contain potential errors which may result in deadlocks, livelocks and so on, it is important to analyze the correctness of a workflow definition before it is put into the run time environment. Proposed in this paper is a transformation procedure of an UML activity d...
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
하나의 페트리넷 블록은 무엇으로 구성되는가? | 그러므로 페트리넷 단위 요소들의 조합으로 특징적인 행위를 수행하는 복수 개의 블록을 만들어 이를 활동 다이어그램의 각 단위 요소의 성격에 따라 매핑시키기로 한다. 하나의 페트리넷 블록은 <그림 2>와 같이 ① 다른 블록과의 구분을 나타내는 경계와, ② 블록 사이의 워크플로 흐름을 연결하는 입력 포트, ③ 출력 포트 및 ④ 업무 로직 및 흐름을 표현하는 페트리넷 부분으로 구성된다. 블록을 구성하는 경계와 입 · 출력 포트는 페트리넷의 구조와 속성에 영향을 주지 않는다. | |
UML 활동 다이어그램의 요소를 1대 1로 매핑한다는 것은 불가능하므로 어떻게 매핑시키는가? | UML 활동 다이어그램(OMG, 2003)은 총 12개의 요소로 구성되어 있고 페트리넷은 4개의 요소(플레이스, 트랜지션, 아크, 토큰)로 구성되어 있어서 이를 1대1로 매핑한다는 것은 불가능하다. 그러므로 페트리넷 단위 요소들의 조합으로 특징적인 행위를 수행하는 복수 개의 블록을 만들어 이를 활동 다이어그램의 각 단위 요소의 성격에 따라 매핑시키기로 한다. 하나의 페트리넷 블록은 <그림 2>와 같이 ① 다른 블록과의 구분을 나타내는 경계와, ② 블록 사이의 워크플로 흐름을 연결하는 입력 포트, ③ 출력 포트 및 ④ 업무 로직 및 흐름을 표현하는 페트리넷 부분으로 구성된다. | |
활동 다이어그램의 구성 요소들을 성격에 따라 어떻게 구분할 수 있는가? | 활동 다이어그램의 구성 요소들을 그 성격에 따라 구분해보면, 1) 워크플로에서의 실제 단위 업무를 나타내는 동적 활동 요소(action state, signal receipt, signal sending)와 2) 동적 활동 요소를 지원하는 정적 활동 요소(start point, end point, object)와 3) 업무 흐름을 표현하는 흐름 요소(transition, object flow)와 4) 업무 흐름 중의 경로를 제어하는 경로 제어 요소(decision, sync state) 및 5) 기타 요소(swimlane, sub-activity state)로 구분할 수 있다. 동적 활동 요소는 하나의 입력 포트와 두 개의 출력 포트를 갖는 블록으로 표현되는데 두 개의 출력 포트 중 하나는 워크플로 흐름을 위한 것이고 다른 하나는 활동을 담당하는 필요자원을 명시적으로 표현할 필요가 있을 때 자원 가용도 토큰의 흐름을 표현하기 위한 것으로 구체적으로는 활동 다이어그램 구성 요소의 하나인 구획선(swimlane) 모델링에 필요한 자원가용도 토큰의 흐름을 표현하는 용도로 사용된다. |
한관희, 황태일(2003), UML/XML 기반의 비즈니스 프로세스 정의 도구, 산업공학지, 16(2), 156-166
Adam, N. R, Atluri, V., Huang, W. K.(1998), Modeling and Analysis of Workflow Using Petri nets, Journal of Intelligent Systems, 10(2), 131-158
Bastos, R.M. and Ruiz, D. D. A.(2002), Extending UML Activity Diagram for Wotkflow Modeling in Production Systems, Proceedings of the 35th Annual Hawaii International Conference on System Science(HICSS - 35), Big Island, Hawaii
Bosilj-Vuksic, V., Giaglis, G.M. and Hlupic, V.(2000), IDEF Diagrams and Petri Nets for Business Process Modeling: Suitability, Efficacy and Complementary Use, Proceedings of the International Conference on Enterprise Information Systems(ICEIS 2000), 242-247, Stafford, UK
Donatelli, S. and Franceschinis, G.(1996), PSR Methodology: Integrating Hardware and Software Models, Proceedings of Application and Theory of Petri Nets, Lecture Notes in Computer Science 1091, 133-152, Springer, Berlin
Dumas, M. and ter Hofstede. A. H. T.(2001), UML Activity Diagram as a Workflow Specification Language, Proceedings of the International Conference on the Unified Modeling Language(UML), Toronto, Canada
Eriksson, H.-E. and Penker, M.(2000), Business Modeling with UML, John Wiley and Sons, New York
Eshuis, R. and Wieringa, R.(2003), Comparing Petri Net and Activity Diagram Variants for Worklflow Modeling - A Quest for Reactive Petri Nets, Petri Net Technology for Communication Based Systems, Lecture Notes in Computer Science 2472, 321-351, Springer, Berlin
Hammer, M. and Champy, J.(1993), Reengineering the Corporation: a Manifesto for Business Revolution, Harper Business, New York
Hollingsworth, D.(1995), The Workflow Reference Model Version 1.1, Document Number TC00-1003, Workflow Management Coalition, Hamsphire, UK
Hruby, P.(1998), Structuring Specification of Business Systems with UML, OOPSLA-98 Business Object Workshop Proceedings, Vancouver, Canada
Liu, D., Wang, J., Chan, S. C F., Sun, J., Zhang, L.(2002), Modeling Workflow Processes with Colored Petri Nets, Computers in Industry, 49(3), 267-281
Lopez-Grao, J. P., Merseguer, J. and Campos, J.(2004), From UML Activity Diagram to Stochastic Petri Nets: Application to Software Performance Engineering, Fourth International Workshop Proceedings on Software and Performance(WOSP 2004), Redwood City, CA, USA
Marshall, C(2000), Enterprise Modeling with UML, Addison Wesley, Reading, MA
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 Systems Inc., Texas.
OMG(2000), Workflow Management Facility Specification V1.2, Object Management Group,http://www.omg.org
OMG(2003), OMG Unified Modeling Language Specification VI.5: Part 10-Activity Diagrams, Object Management Group, http://www.omg.org
Peterson, J L.(1981), Petri NetTheory andthe Modeling of Systems, Prentice Hall, Englewood Clifs, NJ
Reisig, W.(1985), Petri Nets: An Introduction, Springer Verlag, Berlin
Salimifard, K., Wright, M.(2001), Petri Net-Based Modeling of Workflow Systems: An Overview, European Journal of Operations Research, 134(3), 664-676
Sheer, A.-W.(1999), ARIS Business Process Modeling, Springer-Verlag, Berlin
van der Aalst, W. M. P.(1998), The Application of Petri Nets to Workflow Management, the Journal of Circuits, Systems and Computers, 8(1), 21-66
van der Aalst, W. M. P.(1999), Woflan: A Petri Net Based Workflow Analyzer, Systems Analysis, Modeling, Simulation, 35(3), 345-357
van der Aalst, W. M. P., ter Hofstede, A. H. M.(2000), Verification of Workflow Task Structures: A Petri-Net Approach, Information Systems, 25(1),43-69.
van der Aalst, W. M. P., van Hee, K.(2002), Workflow Management- Model, Methods, and Systems, The MIT Press, Massachusetts
WfMC(1999), Workflow Management Coalition Terminology & Glossary: Document Number WFMC-TC-1011, Workflow Management Coalition, Hamsphire, UK
Wirtz, G., Weske, M. and Giese, H.(2000), Extending UML with Workflow Modeling Capabilities, Lecture Notes in Computer Science 1901, 30-41, Springer-Verlag, Berlin
※ AI-Helper는 부적절한 답변을 할 수 있습니다.