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.
Keywords: workflow, software process, work activity coordination,
work processes, temporal logic
