WUC: A system for workflow specification and verification

This work presents the WUC system definition. WUC system is an integrated tools set for workflow developing. WUC system contains tools for helping in workflows construction process, including specification, analysis and verification. The objective of this work is to provide a tool that facilitates the workflows production. Our interest is to facilitate processes definition methods and notations for helping to visualize the processes graphically and to incorporate formal specifications in its definition, in order to be able to prove basic properties (ie. no deadlock) and to be able to guarantee the process appropriate operation. WUC system is conceived as the integration of a group of interactive subsystems. They communicate to each other and they share a friendly interface. The system implementation is carried out on a platform based on microcomputers with Pentium processors and Windows NT as operating system, using Java as programming language.