Formalizing (And reasoning about) the specifications of workflows

Goce Trajcevski, Chitta Baral, Jorge Lobo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

We address the problem of workflow requirements specifications under realistic assumptions that it involves experts from different domains (different business policies), where not all the possible execution scenarios known beforehand. Using recent results on reasoning about actions, we formalize the notion of the specifications’ correctness. To address this, we propose a high level language Aw as a basis of our prototype tool for process specification. We go “one step” before actual analysis and design, and offer a formalism which enables the experts to specify their knowledge in terms of the effects that the activities have on the workflow environment. Our methodology allows expressing not only the knowledge, but also the “ignorance” (the semantics allows unknown values to reflect a realistic situation of agents dealing with incomplete information) and the possibility of exceptional situations. We define an entaihnent relation which enables reasoning about the correctness of the specifications, in terms of achieving a desired goal, and testing about conscquenccs of modifications in the workflow descriptions.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsPeter Scheuermann, Opher Etzion
PublisherSpringer Verlag
Pages1-17
Number of pages17
ISBN (Print)354041021X, 9783540410218
StatePublished - Jan 1 2000
Event7th International Conference on Cooperative Information Systems, CoopIS 2000 - Eilat, Israel
Duration: Sep 6 2000Sep 8 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1901
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other7th International Conference on Cooperative Information Systems, CoopIS 2000
CountryIsrael
CityEilat
Period9/6/009/8/00

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Formalizing (And reasoning about) the specifications of workflows'. Together they form a unique fingerprint.

  • Cite this

    Trajcevski, G., Baral, C., & Lobo, J. (2000). Formalizing (And reasoning about) the specifications of workflows. In P. Scheuermann, & O. Etzion (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 1-17). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1901). Springer Verlag.