Abstract
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 machines combined with hierarchy, concurrency and communication. In contracts to other modeling approaches, statechart is a concise, expressive languages 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-base 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 cased study is illustrated to model workflow using statechart based on the approaches mentioned in this paper.