Sematic analysis of business rules using discourse representation theory

In recent times, the domain of automated analysis and translation of business rules formal representations is getting popular. Various approaches have been presented to translate information presentation such as natural language software requirements to formal presentations. In this paper, an approach is presented to model the DRT tool for semantic analysis for business rules. Business rules write in a Natural language. Then these are represented using the formal specification languages like Z, OCL, B, Petrinets etc. However the process of generating formal representations from an informal concrete problem domain is a complex task. The process can become easy if developers able to write the formal specifications in NL and then the written NL specifications are automatically automated transformation of NL specification to a formal specification is real challenge due to informal nature of the NL.