Formalizing (and Reasoning About) the Specifications of Workflows.

@inproceedings{DBLP:conf/coopis/TrajcevskiBL00,
  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, http://dblp.uni-trier.de}
}

Printed Edition

References

[1]

Gustavo Alonso, Divyakant Agrawal, Amr El Abbadi, C. Mohan: Functionality and Limitations of Current Workflow Management Systems. submitted to IEEE Expert : (1997) BibTeX

[2]

Gustavo Alonso, Ulrich Fiedler, Claus Hagen, Amaia Lazcano, Heiko Schuldt, N. Weiler: WISE: Business to Business E-Commerce. RIDE 1999: 132-139 BibTeX

[3]

...

[4]

Chitta Baral, Michael Gelfond, Alessandro Provetti: Representing Actions: Laws, Observations and Hypotheses. J. Log. Program. 31(1-3): 201-243(1997) BibTeX

[5]

Chitta Baral, Jorge Lobo: Formal Characterization of Active Databases. Logic in Databases 1996: 175-195 BibTeX

[6]

Chitta Baral, Jorge Lobo: Defeasible Specifications in Action Theories. IJCAI 1997: 1441-1446 BibTeX

[7]

Chitta Baral, Jorge Lobo, Goce Trajcevski: Formal Characterizations of Active Databases: Part II. DOOD 1997: 247-264 BibTeX

[8]

...

[9]

...

[10]

...

[11]

Chitta Baral, Tran Cao Son: Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. ILPS 1997: 387-401 BibTeX

[12]

...

[13]

Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992) BibTeX

[14]

Anthony J. Bonner: Workflow, Transactions, and Datalog. PODS 1999: 294-305 BibTeX

[15]

Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. ICLP 1993: 257-279 BibTeX

[16]

Anthony J. Bonner, Michael Kifer: Concurrency and Communication in Transaction Logic. JICSLP 1996: 142-156 BibTeX

[17]

...

[18]

...

[19]

Fabio Casati, Giuseppe Pozzi: Modeling Exceptional Behaviors in Commercial Workflow Management Systems. CoopIS 1999: 127-138 BibTeX

[20]

Fabio Casati, Stefano Ceri, Barbara Pernici, Giuseppe Pozzi: Deriving Active Rules for Workflow Enactment. DEXA 1996: 94-115 BibTeX

[21]

...

[22]

...

[23]

Patrick Cousot: Methods and Logics for Proving Programs. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 841-994 BibTeX

[24]

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

[25]

Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33 BibTeX

[26]

Michael Gelfond, Vladimir Lifschitz: Representing Action and Change by Logic Programs. J. Log. Program. 17(2/3&4): 301-321(1993) BibTeX

[27]

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

[28]

...

[29]

Enrico Giunchiglia, Vladimir Lifschitz: An Action Language Based on Causal Explanation: Preliminary Report. AAAI/IAAI 1998: 623-630 BibTeX

[30]

Claus Hagen, Gustavo Alonso: Flexible Exception Handling in the OPERA Process Support System. ICDCS 1998: 526-533 BibTeX

[31]

Claus Hagen, Gustavo Alonso: Beyond the Black Box: Event-based Inter-Process Communication in Process Support Systems. ICDCS 1999: 450-457 BibTeX

[32]

...

[33]

...

[34]

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

[35]

...

[36]

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

[37]

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

[38]

Frank Leymann, Wolfgang Altenhuber: Managing Business Processes an an Information Resource. IBM Systems Journal 33(2): 326-348(1994) BibTeX

[39]

...

[40]

C. Mohan: State of the Art in Workflow Management Research and Products. SIGMOD Conference 1996: 544 BibTeX

[41]

Peter Muth, Jeanine Weißenfels, Michael Gillmann, Gerhard Weikum: Integrating Light-Weight Workflow Management Systems within Existing Business Environments. ICDE 1999: 286-293 BibTeX

[42]

Nils J. Nilsson: Teleo-Reactive Programs for Agent Control. J. Artif. Intell. Res. (JAIR) 1: 139-158(1994) BibTeX

[43]

Raymond Reiter: On Specifying Database Updates. J. Log. Program. 25(1): 53-91(1995) BibTeX

[44]

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

[45]

...

[46]

...

[47]

...

[48]

...

[49]

...

[50]

Dirk Wodtke, Gerhard Weikum: A Formal Foundation for Distributed Workflow Execution Based on State Charts. ICDT 1997: 230-246 BibTeX