Title :
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
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;
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
DOI :
10.1109/APCC.1999.820453
