A Windows-Explorer-like model for workflow specification

Author

Cheung, To-yat ; Shi, Lixin ; Ye, Xinming

Author_Institution

Dept. of Comput. Sci., City Polytech. of Hong Kong, Kowloon, Hong Kong

Volume

2

fYear

1999

fDate

18-22 Oct. 1999

Firstpage

1091

Abstract

This paper presents the modeling part of our component-based approach for the specification and verification of workflow systems (WFS). Based on a graphical version of LOTOS, a WFS is specified as a user-friendly Windows-Explorer-like hierarchy of activities. The activities may be on-line or off-line. They may be composed of simple actions or complicated processes under various workflow patterns, such as sequential, parallel, synchronization, interruption, choice, etc. By expanding or collapsing the activities in the hierarchy, a WFS can be viewed with different levels of detail. The specification can also be used for viewing, monitoring, executing, controlling, scheduling and verifying the WFS.

Keywords

commerce; specification languages; user interfaces; workflow management software; LOTOS; Windows-Explorer-like model; activities hierarchy; business; component-based approach; synchronization; workflow patterns; workflow specification; workflow systems verification; Application software; Automatic control; Computer science; Computerized monitoring; Job shop scheduling; Manufacturing automation; Processor scheduling; Research and development; Software prototyping; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Communications, 1999. APCC/OECC '99. Fifth Asia-Pacific Conference on ... and Fourth Optoelectronics and Communications Conference

Conference_Location

Beijing, China

Print_ISBN

7-5635-0402-8

Type

conf

DOI

10.1109/APCC.1999.820453

Filename

820453