BIS 2000 pp 297-305 | Cite as

Checking Correctness of Business Processes Specification in Action Logic

  • Stanisław Kędzierski
Conference paper


One of the basic problems that the designer of a business process has to solve is the correctness of its design. A business process may be treated as a set of partially ordered actions. In this paper the action logic is used to prove correctness in specification of a business process.


Business Process Elementary Action Action Logic Atom Formula Deontic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Beth E. The foundations of mathematics. A study in the philosophy of science. North- Holland Publishing Company, Amsterdam, 1959zbMATHGoogle Scholar
  2. 2.
    Fitting M. Proof methods for modal and intuitionistic logics. D. Reidel Publishing Com-pany, Dordrecht, 1983zbMATHGoogle Scholar
  3. 3.
    SmullyanR. First-order logic. Springer-Verlag, 1968zbMATHGoogle Scholar
  4. 4.
    Vernadat F. Enterprise integration: on business process and enterprise activity model¬ling. Concurrent Engineering: Research and Applications, vol. 4, no. 3, 1996Google Scholar

Copyright information

© Springer Verlag London Limited 2000

Authors and Affiliations

  • Stanisław Kędzierski
    • 1
  1. 1.The Karol AdamieckiUniversity of Economics in KatowiceKatowicePoland

Personalised recommendations