In this paper we propose an approach to treat business logics and system logics separately. Using the proposed model, we can ensure that for any set of facts, business rules are applied efficiently and consistently.

In our model, it is also feasible to introduce new rules into any business process, where each process depends upon some specific rules, policies, procedures and standards. As a result, business processes can be automated in a more customizable, flexible, efficient and reusable way. In the paper we use a vehicle reservation system as an example to illustrate how our proposed approach can be implemented.