The objective of this paper is to propose a formal model of software requirement traceability with multiple viewpoints focusing the product qualities required by the customers. The various levels of abstraction and decomposition in the software modeling may bring new processes and constraints in the analysis phase from different viewpoints. The primary actors and use cases in the analysis are to be ascertained to fulfill the functional and quality requirements within the estimated budget and to develop the software with low defect level. The traceability matrix method generally allows checking and verifying the fulfillment of the matrix elements but not their exact semantics.