DefinePK

Abstract

An organization defines rules in its business to achieve the organizational goals. Along with developments and changes facing the business environment, often an organization's business rules have to change. Those changing can infer the software system of the organization. This could lead to an inefficient and ineffective system changing, if the organization has to change the whole system, for every small change of the business rules. This paper discus one approach to separate the business rules from other components of the system, as the changing of the business rules will not influence others components. The approach is called the Business Rules Approach. The approach will be implemented in a case study, the registration process of the academic information system of Del Institute of Technology. In order to check the correctness of the specification, the specification of the system with business rules approach is represented formally, implementing RAISE methodology and using notation of the RAISE Specification Language (RSL). The formal specification has been successfully verified and meets the requirement of the implementation relation criteria.