A formal foundation for distributed workflow execution based on state charts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1186, Issue , 1997, Pages 230-246

  Wodtke, Dirk ^a   Weikum, Gerhard ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

DISTRIBUTED WORKFLOW; FORMAL FOUNDATION; ORIGINAL STATE; STATE CHARTS; WORKFLOW APPLICATIONS; WORKFLOW MODELING; WORKFLOW SERVERS; WORKFLOW SPECIFICATION;

ARTIFICIAL INTELLIGENCE;

EID: 84948960269     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62222-5_48     Document Type: Conference Paper

References (22)

1. [Em90] E.A. Emerson, Temporal and Modal Logic, in: J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier, 1990
2. [GHS95] D. Georgakopoulos, M. Homick, A. Sheth, An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure, Distributed and Parallel Databases, 3(2), 1995
3. [Ha87a] D. Harel, On the Formal Semantics of Statecharts, Proc. Symposium on Logics in Computer Science, Ithaca, New York, 1987
4. [Ha87b] D. Harel, Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming Vol.8, 1987
5. [Ha88] D. Harel, On Visual Formalisms, Communications of the ACM, 31(5), 1988
6. [Ha90] D. Harel et al., STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, 16(4), 1990
7. [HN95] D. Harel, A. Naamad, The STATEMATE Semantics of Statecharts, Technical Report, i-Logix Inc., October 1995
8. [HK94] J. Helbig, P. Kelb, An OBDD-Representation of Statecharts, Proc. European Design and Test Conference, 1994
9. [Ho91] R.P. Hopkins, Distributable nets, in: Rozenberg (ed.), Advances in Petrinets, LNCS 524, Springer, 1991
10. [Hu88] C. Huizing, Modelling Statecharts in a fully abstract way, in: Proc. CAAP, LNCS 299, Springer, 1988
11. [i-Log91] i-Logix Inc., Documentation for the Statemate System, 1991
12. [MP92] Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer, 1992
13. [McM93] K.L. McMillan, Symbolic Model Checking, Kluwer, 1993
14. [Mi189] R. Milner, Communication and Concurrency, Prentice Hall, 1989
15. [Mo96] C. Mohan, Workflow Management Systems: State of the Art on Research and Products, Tutorial Notes, Int. Conf. on Extending Database Technology, Avignon, 1996
16. [Sh96] A. Sheth (ed.), Proc. NSF Workshop on Workflow and Process Automation in Information Systems, Athens, 1996, http://lsdis.cs.uga.edu/activities/NSF-workflow/
17. [vB94] M. von der Beeck, A Comparison of Statechart Variants, in: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, Springer, 1994
18. [VB96] G. Vossen, J. Becker (eds.), Business Process Modelling and Workflow Management-Models, Methods, Tools (in German), International Thomson, 1996
19. [WW96] D. Wodtke, G. Weikum, A Formal Foundation for Distributed Workflow Execution Based on State Charts, Technical Report, University of Saarbruecken, 1996
20. [WWWK96a] D. Wodtke, J. Weissenfels, G. Weikum, A. Kotz Dittrich, The Mentor Project: Steps Towards Enterprise-wide Workflow Management, Proc. 11th International Conference on Data Engineering, New Orleans, 1996
21. [WWWK96b] J. Weissenfels, D. Wodtke, G. Weikum, A. Kotz Dittrich, The Mentor Architecture for Enterprise-wide Workflow Management, in: [Sh96]
22. [WfMC95] Workflow Management Coalition, 1995, http://www.aiai.ed.ac.uk/WfMC/