ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Verification Problems in Conceptual Workflow Specifications.

Arthur H. M. ter Hofstede, Maria E. Orlowska, Jayantha Rajapakse: Verification Problems in Conceptual Workflow Specifications. ER 1996: 73-88
@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}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 1, ER 1979-1998" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

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
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ER 1996 Proceedings, Lecture Notes in Computer Science: Copyright © by Springer
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:10:08 2009