next up previous
Next: About this document ... Up: Logic representation of processes Previous: Acknowledgments

Bibliography

1
S. Arbaoui and F. Oquendo.
Software Process Modelling and Technology, chapter Peace: goal-oriented logic-based formalism for process modeling.
John Wiley and Sons, 1994.

2
A. Borgida and T. Murata.
Tolerating exceptions in workflows: A unified framework for data and processes.
In Proeceedings of the International Joint COnference on Work Activities Coordination and C0llaboration (WACC'99), Software Engineering Notes, pages 59-68, March 1999 1999.

3
W. M. Coalition.
Workflow Reference Model.
Brussels, 1994.

4
C. Ellis, K. Keddara, and G. Rozenberg.
Dynamic change within workflow systems.
In ACM Proc. Conf. on Organizational Computing Systems, 1995.

5
E. A. Emerson.
Temporal and modal logics.
In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume Volume B, Formal Methods and Semantics, pages 995-1072. Elsevier Science Publishers and The MIT Press, 1990.

6
A. Finkelstein, J. Kramer, and B. Nuseibeh, editors.
Software Process Modeling and Technology.
John Wiley and Sons, 1994.

7
A. Fuggetta and A. Wolf, editors.
Software Process.
John Wiley and Sons, 1996.

8
S. Jablonski and C. Bussler.
Workflow Management: Modeling Concepts, Architectures and Implementation.
International Thomson COmputer Press, 1996.

9
M. Klein, editor.
JCSCW: Special issue on flexible workflows.
Klukwer Publishers, 1999.
forthcomming.

10
G. Nutt.
Software engineering process model case study.
Technical Report CU-CS-760-94, Department of COmputer Science, University of Colorado, 1994.

11
A. Sheth.
Proceedings of the nsf workshop on workflow and process automation in information systems: State of the art and future directions.
Athens, USA, 8-10 May 1996.

12
Y. Shoham.
Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence.
MIT Press, Cambridge, MA, 1988.

13
U.S. Department of Defense.
Military Standard Defense System Software Development, dod-std-2167a edition, 1998.


Jacques Wainer
2000-01-06