Specifying complex process control aspects in workflows for exception handling

Proceedings - 6th International Conference on Database Systems for Advanced Applications, DASFAA 1999

Volumn , Issue , 1999, Pages 53-60

  Ter Hofstede, A H M ^a   Barros, A P ^b  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; FORMAL METHODS; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; WORK SIMPLIFICATION;

COMPLEX PROCESSES; CONCEPTUAL LEVELS; CONCEPTUAL MODELLING; EXCEPTION HANDLING; RECOVERY STRATEGIES; SEQUENTIAL EXECUTION; WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW MODELLING;

MODELING LANGUAGES;

EID: 84937486365     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DASFAA.1999.765736     Document Type: Conference Paper

References (13)

1. W.M.P. van der Aalst. Verification of Workow Nets. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407{426, Berlin, Germany, 1997. Springer-Verlag
2. G. Alonso, D. Agrawal, E. El Abadi, M. Kammath, R. Günthör, and C. Mohan. Advanced transaction models in workow concepts. In Proceedings of the 12th International Conference on Data Engineering, New Orleans, Lousiana, February 1996
3. J.C.M. Baeten, editor. Applications of Process Alge-bra. Cambridge University Press, Cambridge, United Kingdom, 1990
4. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, Cambridge, United Kingdom, 1990
5. J.A. Bergstra. A Mode Transfer Operator in Process Algebra. Report P8808b, University of Amsterdam, Amsterdam, The Netherlands, 1989
6. P.W.G. Bots. An Environment to Support Problem Solving. PhD thesis, Delft University of Technology, Delft, The Netherlands, 1989
7. F. Casati. A Discussion on Approaches to Handling Exceptions in Workows. In Proceedings of CSCW-98 Workshop "Towards Adaptive Workow Systems", Seattle, Washington, November 1998
8. F. Casati, S. Ceri, B. Pernici, and G. Pozzi. Conceptual Modeling of Workows. In M.P. Papazoglou, editor, Proceedings of the OOER'95, 14th Interna-tional Object-Oriented and Entity-Relationship Mod-elling Conference, volume 1021 of Lecture Notes in Computer Science, pages 341{354. Springer-Verlag, December 1995
9. CITEC. Feasibility Assessment of Con-rm Value-Added Services. Technical report, Department of Information Management and Communications, Queensland State Government, Brisbane, Australia, June 1998
10. W. Deiters, Th. Goesmann, K. Just-Hahn, and R. Rolles. Support for exception handling through workow management systems. In Proceedings of CSCW-98 Workshop "Towards Adaptive Workow Systems", Seattle, Washington, November 1998
11. J. Eder and W. Liebhart. Contributions to Exception Handling in Workow Management. In O. Bukhres, J. Eder, and S. Salza, editors, Proceedings EDBT Workshop on Workow Management Systems, pages 3{10, Valencia, Spain, 1998
12. C.A. Ellis and G.J. Nutt. Modelling and Enactment of Workow Systems. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 1{ 16, Berlin, Germany, 1993. Springer-Verlag
13. A.H.M. ter Hofstede and E.R. Nieuwland. Task structure semantics through process algebra. Software En-gineering Journal, 8(1):14{20, January 1993.