Using Enterprise Analyst, software analysts, architects and developers can validate, simulate and document future system domain models. The tool allows them to concentrate on the core of the system domain logic and is able to test the system during the analysis phase. Some of the important benefits of applying formal analysis are: - Much lower defect rate in the later phases (project time and cost decrease) - Easier understanding and specification of the user requirements (software quality increases) - Platform independent models as formal as the source code (future system maintenance, extension or technology update much easier) - System documentation validated and generated (documentation quality increases) Enterprise Analyst extends Enterprise Architect's built-in model validation capabilities by: - Actively guiding the developer towards correcting syntax errors when validating model syntax - Simulating and testing model semantics and helping the developer to achieve the needed functionality - Checking model specifications for completeness and producing convenient documentation