워크플로우 모델링을 위한 ASM 시멘특 표현 = Expression of ASM Semantics for Workflow Modeling

다국어 초록 (Multilingual Abstract)

The Unified Modeling Language provides rich notations for representing and analyzing architecture and behaviors of systems. Because among these notations, UML activity diagram is well-known for describing systems' dynamic behaviors, it is useful to model business process and workflow.
Currently, the UML semantics is informally defined in plain text and it is often unclear, ambiguous or it contains contradictory assertions. So it is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the UML activity diagram. In this thesis, the alternative approach of using Abstract State Machines to formalize UML activity diagrams is presented. We propose the workflow modeling methodology by applying ASM semantics to the activity diagram. Through the exact definition to formal semantics based on ASM,it is possible to effectively model the workflow.
A Business process describes in detail how trading partners take on shared roles, relationships, and responsibilities to facilitate interaction with other trading partners.

목차 (Table of Contents)

• 목차
• Ⅰ. 서론
• Ⅱ. 관련연구
• Ⅲ. 워크플로우 모델링에서 ASM 시멘틱 표현
• Ⅳ. 사례연구 및 평가
• Ⅴ. 결론
• □참고문헌