Logic representation of processes in work activity coordination

This paper put forth the argument that processes in work activities coordination software, like workflows, process centered software engineering environments (PSEE), and so on, should be represented in a logic language. This allows for a unified representation of processes, constraints, and policies, and allows for many modes of interactions with the work activity coordination software, as appropriate for manufacturing, workflow applications, software processes application, and scientific applications. This paper discusses mainly the temporal aspects of a logic representation language for processes. K e y w o r d s : workflow, software process, work activity coordination, work processes, temporal logic