Verification Problems in Conceptual Workflow Specifications.

@inproceedings{DBLP:conf/er/HofstedeOR96,
  author    = {Arthur H. M. ter Hofstede and
               Maria E. Orlowska and
               Jayantha Rajapakse},
  editor    = {Bernhard Thalheim},
  title     = {Verification Problems in Conceptual Workflow Specifications},
  booktitle = {Conceptual Modeling - ER'96, 15th International Conference on
               Conceptual Modeling, Cottbus, Germany, October 7-10, 1996, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1157},
  year      = {1996},
  isbn      = {3-540-61784-1},
  pages     = {73-88},
  ee        = {db/conf/er/HofstedeOR96.html},
  crossref  = {DBLP:conf/er/96},
  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-1 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

[ASSR93]

Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz: Specifying and Enforcing Intertask Dependencies. VLDB 1993: 134-145 BibTeX

[BGS93]

Yuri Breitbart, Andrew Deacon, Hans-Jörg Schek, Amit P. Sheth, Gerhard Weikum: Merging Application-centric and Data-centric Approaches to Support Transaction-oriented Multi-system Workflows. SIGMOD Record 22(3): 23-30(1993) BibTeX

[Bot89]

...

[BW90]

...

[CCPP95]

Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Conceptual Modelling of WorkFlows. OOER 1995: 341-354 BibTeX

[FKB95]

Alexander Forst, eva Kühn, Omran A. Bukhres: General Purpose Work Flow Languages. Distributed and Parallel Databases 3(2): 187-218(1995) 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

[GJ79]

M. R. Garey, David S. Johnson: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979, ISBN 0-7167-1044-7
BibTeX

[HN93]

...

[JLL77]

Neil D. Jones, Lawrence H. Landweber, Y. Edmund Lien: Complexity of Some Problems in Petri Nets. Theor. Comput. Sci. 4(3): 277-299(1977) BibTeX

[KS95]

Narayanan Krishnakumar, Amit P. Sheth: Managing Hetergeneous Multi-system Tasks to Support Enterprise-Wide Operations. Distributed and Parallel Databases 3(2): 155-186(1995) BibTeX

[MSKW96]

...

[Pet81]

...

[RS94]

Marek Rusinkiewicz, Amit P. Sheth: Specification and Execution of Transactional Workflows. Modern Database Systems 1995: 592-620 BibTeX

[Sal73]

...

[WHO92]

...

Referenced by

1. Yahia Rabih: Formalisation and Analysis of Dynamic Behaviour in Object-Oriented Systems. ADBIS (Short Papers) 1999: 163-170
2. Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33