Formalizing (and Reasoning About) the Specifications of Workflows.

Goce Trajcevski, Chitta Baral, Jorge Lobo: Formalizing (and Reasoning About) the Specifications of Workflows. CoopIS 2000: 1-17
  author    = {Goce Trajcevski and
               Chitta Baral and
               Jorge Lobo},
  editor    = {Opher Etzion and
               Peter Scheuermann},
  title     = {Formalizing (and Reasoning About) the Specifications of Workflows},
  booktitle = {Cooperative Information Systems, 7th International Conference,
               CoopIS 2000, Eilat, Israel, September 6-8, 2000, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1901},
  year      = {2000},
  isbn      = {3-540-41021-X},
  pages     = {1-17},
  ee        = {db/conf/coopis/TrajcevskiBL00.html},
  crossref  = {DBLP:conf/coopis/2000},
  bibsource = {DBLP,}

Printed Edition

Opher Etzion, Peter Scheuermann (Eds.): Cooperative Information Systems, 7th International Conference, CoopIS 2000, Eilat, Israel, September 6-8, 2000, Proceedings. Lecture Notes in Computer Science 1901 Springer 2000, ISBN 3-540-41021-X
Contents BibTeX BibTeX


Gustavo Alonso, Divyakant Agrawal, Amr El Abbadi, C. Mohan: Functionality and Limitations of Current Workflow Management Systems. submitted to IEEE Expert : (1997) BibTeX
Gustavo Alonso, Ulrich Fiedler, Claus Hagen, Amaia Lazcano, Heiko Schuldt, N. Weiler: WISE: Business to Business E-Commerce. RIDE 1999: 132-139 BibTeX
Chitta Baral, Michael Gelfond, Alessandro Provetti: Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31(1-3): 201-243(1997) BibTeX
Chitta Baral, Jorge Lobo: Formal Characterization of Active Databases. Logic in Databases 1996: 175-195 BibTeX
Chitta Baral, Jorge Lobo: Defeasible Specifications in Action Theories. IJCAI 1997: 1441-1446 BibTeX
Chitta Baral, Jorge Lobo, Goce Trajcevski: Formal Characterizations of Active Databases: Part II. DOOD 1997: 247-264 BibTeX
Chitta Baral, Tran Cao Son: Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. ILPS 1997: 387-401 BibTeX
Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992) BibTeX
Anthony J. Bonner: Workflow, Transactions, and Datalog. PODS 1999: 294-305 BibTeX
Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. ICLP 1993: 257-279 BibTeX
Anthony J. Bonner, Michael Kifer: Concurrency and Communication in Transaction Logic. JICSLP 1996: 142-156 BibTeX
Fabio Casati, Giuseppe Pozzi: Modeling Exceptional Behaviors in Commercial Workflow Management Systems. CoopIS 1999: 127-138 BibTeX
Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Deriving Active Rules for Workflow Enactment. DEXA 1996: 94-115 BibTeX
Patrick Cousot: Methods and Logics for Proving Programs. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 841-994 BibTeX
Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson: Modeling and Analysis of Interactions in Virtual Enterprises. RIDE 1999: 12-18 BibTeX
Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33 BibTeX
Michael Gelfond, Vladimir Lifschitz: Representing Action and Change by Logic Programs. J. Log. Program. 17(2/3&4): 301-321(1993) BibTeX
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
Enrico Giunchiglia, Vladimir Lifschitz: An Action Language Based on Causal Explanation: Preliminary Report. AAAI/IAAI 1998: 623-630 BibTeX
Claus Hagen, Gustavo Alonso: Flexible Exception Handling in the OPERA Process Support System. ICDCS 1998: 526-533 BibTeX
Claus Hagen, Gustavo Alonso: Beyond the Black Box: Event-based Inter-Process Communication in Process Support Systems. ICDCS 1999: 450-457 BibTeX
John Jeffrey, Jorge Lobo, Tadao Murata: A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. IEEE Trans. Knowl. Data Eng. 8(2): 241-259(1996) BibTeX
Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl: Foundations of a Logical Approach to Agent Programming. ATAL 1995: 331-346 BibTeX
Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl: GOLOG: A Logic Programming Language for Dynamic Domains. J. Log. Program. 31(1-3): 59-83(1997) BibTeX
Frank Leymann, Wolfgang Altenhuber: Managing Business Processes an an Information Resource. IBM Systems Journal 33(2): 326-348(1994) BibTeX
C. Mohan: State of the Art in Workflow Management Research and Products. SIGMOD Conference 1996: 544 BibTeX
Peter Muth, Jeanine Weißenfels, Michael Gillmann, Gerhard Weikum: Integrating Light-Weight Workflow Management Systems within Existing Business Environments. ICDE 1999: 286-293 BibTeX
Nils J. Nilsson: Teleo-Reactive Programs for Agent Control. J. Artif. Intell. Res. (JAIR) 1: 139-158(1994) BibTeX
Raymond Reiter: On Specifying Database Updates. J. Log. Program. 25(1): 53-91(1995) BibTeX
Amit P. Sheth, Dimitrios Georgakopoulos, Stef Joosten, Marek Rusinkiewicz, Walt Scacchi, Jack C. Wileden, Alexander L. Wolf: Report from the NSF Workshop on Workflow and Process Automation in Information Systems. SIGMOD Record 25(4): 55-67(1996) BibTeX
Dirk Wodtke, Gerhard Weikum: A Formal Foundation for Distributed Workflow Execution Based on State Charts. ICDT 1997: 230-246 BibTeX

Copyright © Sat May 16 23:03:32 2009 by Michael Ley (