The input to the requirements analysis process is the functional specification.
The output of the requirements analysis process is the analysis model, also called the computation-independent model or CIM:
The analysis model describes the system from the user's perspective. However, it contains complex UML diagrams meant to be understood by developers, not users.
The analysis model contains a class diagram called the object model. The object model describes the structure of the system.
The analysis model also contains sequence diagrams and statechart diagrams associated with control classes in the object model. (A control class implements the logic of one or more use cases.)
These diagrams are collectively called the dynamic model. They describe the internal and external behavior of the system.
The Entity-Control Boundary Pattern
Requirements Analysis Document