Logic representation of processes in work activity coordination

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2000, Pages 203-209

  Wainer, Jacques ^a  

^a UNIVERSITY OF CAMPINAS   (Brazil)

Author keywords

Software process; Temporal logic; Work activity coordination; Work processes; Workflow

Indexed keywords

FORTH (PROGRAMMING LANGUAGE); SOFTWARE ENGINEERING; TEMPORAL LOGIC;

COORDINATION SOFTWARE; PROCESS-CENTERED SOFTWARE ENGINEERING ENVIRONMENT; SCIENTIFIC APPLICATIONS; SOFTWARE PROCESS; WORK ACTIVITIES; WORK PROCESS; WORKFLOW; WORKFLOW APPLICATIONS;

APPLICATION PROGRAMS;

EID: 0346834298     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/335603.335745     Document Type: Conference Paper

References (13)

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 Collaboration (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.