UML(Unified Modeling Language) 액티비티 다이어그램은 시스템의 동적인 측면을 표현하는데 적합하기 때문에 비즈니스 프로세스와 워크플로우를 모델링하는데 유용하게 사용된다 그러나 워크플로우 시스템에서 중요시 되는 시멘틱 정보 표현의 경우 OMG가 제공하는 UML 액티비티 다이어그램에 대한 시멘틱 정보를 표현하기 위한 지침만으로는 정확한 시멘틱 정보의 표현이 어렵다. 이에 본 논문에서는 워크플로우 시스템의 특성에 맞도록 ASM(State Machine) 시멘틱을 확장한 후 액티비티 다이어그램에 적용하여 워크플로우 시스템을 모델링하는 방안을 제시한다. 이와 같은 ASM 시멘틱을 기반으로 하는 정형적인 시멘틱에 대한 정확한 정의를 통하여 보다 효율적인 워크플로우 모델링이 가능하다.
UML activity diagram is useful to model business process and workflow by reason of its suitability to present dynamic aspect of system. However 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. This paper suggests workfolw system modelling methodology by applying ASM semantics to the activity diagram after extending its semantics to correspond to workflow system characteristics. Through the exact definition to formal semactics based on ASM it is possible to effectively model workflow.
