Checking Correctness of Business Processes Specification in Action Logic
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.
KeywordsBusiness Process Elementary Action Action Logic Atom Formula Deontic Logic
Unable to display preview. Download preview PDF.
- 4.Vernadat F. Enterprise integration: on business process and enterprise activity model¬ling. Concurrent Engineering: Research and Applications, vol. 4, no. 3, 1996Google Scholar