Modeling workflow process models with statechart

This paper presents an approach for modeling workflow using statechart, a visual language for describing complex, reactive systems. The statechart is an extended finite state machine combined with hierarchy, concurrency and communication. In contrast to other modeling approaches, statechart is a concise, expressive language with rigorous semantics. The main advantages of statechart-based workflow modeling have: (1) visual language facilitates the understanding and communication between common users, experts, and modeler; (2) event-based communication as well as priority among states provide more advanced means of expressing complex business process logic; (2) workflow models are of well-defined operational semantics, thus making it possible to verify and check workflow models. Finally, a case study is illustrated to model workflow using statechart based on the approaches mentioned in this paper.