2000 | OriginalPaper | Buchkapitel
Formalizing (and Reasoning about) the Specifications of Workflows
verfasst von : Goce Trajcevski, Chitta Baral, Jorge Lobo
Erschienen in: Cooperative Information Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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 $\mathcal{A_W}$ as a basis of our prototype tool for process specification. We go “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 entailment relation which enables reasoning about the correctness of the specifications, in terms of achieving a desired goal, and testing about consequences of modifications in the workflow descriptions.