2008 | OriginalPaper | Buchkapitel
A Hybrid Approach for Business Process Verification
verfasst von : Bing Li, Junichi Iijima
Erschienen in: Research and Practical Issues of Enterprise Information Systems II
Verlag: Springer US
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
Business Process Verification (BPV) works as one of the important functions in the emerging Business Process Management Systems. Current proposed approaches are not yet well applied because of the gap between formal models defined in the academia and informal models used in the industry. This paper attempts to propose a hybrid approach to solve this problem. XPDL will be used to describe business processes and Situation Calculus will be employed as the formalism to perform the function of BPV. A typical order fulfillment process is exemplified to illustrate the approach and the demonstration system implements the automatic transformation from the XPDL-defined process and performs the logical verification.