Based On Formal Methods To Build The Domain Model And Its Implementation Discussed

In enterprise application development, there are special challenges and complexity different from the other kinds of software development. It because of so many flexible domain rules in different fields. Building object-oriented domain models is a good way to resolve this problem, but traditional analysis and design method could not ensure consistency between requirement and model.The lack of a method to indicate direction of building domain models would lead to requirement mismatch because of falling into details or misunderstanding. In addition to traditional analysis and design method, formal specification can be used to describe requirements, and formal domain model can be used as direction indicator in enterprise software development.This paper introduces compositions of formal domain model, and how to build formal domain models from requirements with reality. In detail, this paper introduces method of building formal entity, formal service and activity. The invoice management module described by this paper consists of five use cases, including registering product, deleting product, updating product, appending price record, generating bill. This paper gives a full approach of developing invoice management module, including building a formal domain model, the procedure of transforming formal domain model into object-oriented domain model and code filling after the transforming.In the practice of building formal domain model, it can be concluded that formal domain models help the developers in associating requirement and program code, so it ensure the consistency between requirement and application.