This article, part of "Advanced MBSE with SysML" series, deals with the formalization of the functional needs and the possible mappings between the different views to ensure global consistency.