AGH-University of Science and Technology
Visual business process representation languages such as BPMN are a useful tool for specification of business processes. However, practical verification and execution of Business Process Models is a challenging task. One solution to this problem is integration of business processes with business rules, which provides a flexible runtime environment. This chapter concerns Business Process Models as a visual inference specification method for modularized rule bases. To provide the background for this approach, selected analysis and execution methods for Business Processes, such as BPEL and BPMN tools, are presented.