Abstract
This paper provides a formal foundation for distributed workflow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for both correctness reasoning and run-time support for complex and large-scale workflow applications. To allow for the distributed execution of a workflow across different workflow servers, which is required for scalability and organizational decentralization, a method for the partitioning of workflow specifications is developed. It is proven that the partitioning preserves the original state chart's behavior.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
E.A. Emerson, Temporal and Modal Logic, in: J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier, 1990
D. Georgakopoulos, M. Hornick, A. Sheth, An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure Distributed and Parallel Databases, 3(2), 1995
D. Harel, On the Formal Semantics of Statecharts, Proc. Symposium on Logics in Computer Science, Ithaca, New York, 1987
D. Harel, Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming Vol.8, 1987
D. Harel, On Visual Formalisms, Communications of the ACM, 31(5), 1988
D. Harel et al., STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, 16(4), 1990
D. Harel, A. Naamad, The STATEMATE Semantics of Statecharts, Technical Report, i-Logix Inc., October 1995
J. Helbig, P. Kelb, An OBDD-Representation of Statecharts, Proc. European Design and Test Conference, 1994
R.P. Hopkins, Distributable nets, in: Rozenberg (ed.), Advances in Petrinets, LNCS 524, Springer, 1991
C. Huizing, Modelling Statecharts in a fully abstract way, in: Proc. CAAP, LNCS 299, Springer, 1988
i-Logix Inc., Documentation for the Statemate System, 1991
Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer, 1992
K.L. McMillan, Symbolic Model Checking, Kluwer, 1993
R. Milner, Communication and Concurrency, Prentice Hall, 1989
C. Mohan, Workflow Management Systems: State of the Art on Research and Products, Tutorial Notes, Int. Conf. on Extending Database Technology, Avignon, 1996
A. Sheth (ed.), Proc. NSF Workshop on Workflow and Process Automation in Information Systems, Athens, 1996, http://lsdis.cs.uga.edu/activities/NSF-workflow/
M. von der Beeck, A Comparison of Statechart Variants, in: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, Springer, 1994
G. Vossen, J. Becker (eds.), Business Process Modelling and Workflow Management-Models, Methods, Tools (in German), International Thomson, 1996
D. Wodtke, G. Weikum, A Formal Foundation for Distributed Workflow Execution Based on State Charts, Technical Report, University of Saarbruecken, 1996
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
J. Weissenfels, D. Wodtke, G. Weikum, A. Kotz Dittrich, The Mentor Architecture for Enterprise-wide Workflow Management, in: [Sh96]
Workflow Management Coalition, 1995, http://www.aiai.ed.ac.uk/WfMC/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wodtke, D., Weikum, G. (1996). A formal foundation for distributed workflow execution based on state charts. In: Afrati, F., Kolaitis, P. (eds) Database Theory — ICDT '97. ICDT 1997. Lecture Notes in Computer Science, vol 1186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62222-5_48
Download citation
DOI: https://doi.org/10.1007/3-540-62222-5_48
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62222-2
Online ISBN: 978-3-540-49682-3
eBook Packages: Springer Book Archive