A Formal Foundation for Distributed Workflow Execution Based on State Charts.

@inproceedings{DBLP:conf/icdt/WodtkeW97,
  author    = {Dirk Wodtke and
               Gerhard Weikum},
  editor    = {Foto N. Afrati and
               Phokion G. Kolaitis},
  title     = {A Formal Foundation for Distributed Workflow Execution Based
               on State Charts},
  booktitle = {Database Theory - ICDT '97, 6th International Conference, Delphi,
               Greece, January 8-10, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1186},
  year      = {1997},
  isbn      = {3-540-62222-5},
  pages     = {230-246},
  ee        = {db/conf/icdt/WodtkeW97.html},
  crossref  = {DBLP:conf/icdt/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[Em90]

E. Allen Emerson: Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 995-1072 BibTeX

[GHS95]

Dimitrios Georgakopoulos, Mark F. Hornick, Amit P. Sheth: An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases 3(2): 119-153(1995) BibTeX

[Ha87a]

David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman: On the Formal Semantics of Statecharts (Extended Abstract). LICS 1987: 54-64 BibTeX

[Ha87b]

David Harel: Statecharts: A Visual Formulation for Complex Systems. Sci. Comput. Program. 8(3): 231-274(1987) BibTeX

[Ha88]

David Harel: On Visual Formalisms. Commun. ACM 31(5): 514-530(1988) BibTeX

[Ha90]

David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot: STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Trans. Software Eng. 16(4): 403-414(1990) BibTeX

[HN95]

David Harel, Amnon Naamad: The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Eng. Methodol. 5(4): 293-333(1996) BibTeX

[HK94]

...

[Ho91]

...

[Hu88]

Cornelis Huizing, Rob Gerth, Willem P. de Roever: Modeling Statecharts Behaviour in a Fully Abstract Way. CAAP 1988: 271-294 BibTeX

[i-Log91]

...

[MP92]

...

[McM93]

...

[Mil89]

...

[Mo96]

...

[Sh96]

...

[vB94]

...

[VB96]

...

[WW96]

...

[WWWK96a]

Dirk Wodtke, Jeanine Weißenfels, Gerhard Weikum, Angelika Kotz Dittrich: The Mentor Project: Steps Toward Enterprise-Wide Workflow Management. ICDE 1996: 556-565 BibTeX

[WWWK96b]

...

[WfMC95]

...

Referenced by

1. Michael Gillmann, Jeanine Weißenfels, Gerhard Weikum, Achim Kraiss: Performance and Availability Assessment for the Configuration of Distributed Workflow Management Systems. EDBT 2000: 183-201
2. Anthony J. Bonner: Workflow, Transactions, and Datalog. PODS 1999: 294-305
3. Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33
4. Dirk Wodtke, Jeanine Weißenfels, Gerhard Weikum, Angelika Kotz Dittrich, Peter Muth: The MENTOR Workbench for Enterprise-wide Workflow Management. SIGMOD Conference 1997: 576-579
5. Richard Hull: Managing Semantic Heterogeneity in Databases: A Theoretical Perspective. PODS 1997: 51-61
6. Frans J. Faase, Susan J. Even, Rolf A. de By, Peter M. G. Apers: Integrating Organisational and Transactional Aspects of Cooperative Activities. DBPL 1997: 336-354