Copyright ACM, 2000
next up previous
Next: Introduction

SAC'2000 Villa Olmo, Como, Italy 2000


Logic representation of processes in work activity coordination

Jacques Wainer
Instituto de Computação
Caixa Postal 6176
Campinas, 13083-970, Brazil

1 December 1999


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


Jacques Wainer

Copyright 2000 ACM

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and or fee.
SAC 2000 March 19-21 Como, Italy
(c) 2000 ACM 1-58113-239-5/00/003>...>$5.00