Completely positive module maps and completely positive extreme maps

Let $A,B$ be unital $C^*$-algebras and $P_\infty (A,B)$ be the set of all completely positive linear maps of $A$ into $B$. In this article we characterize the extreme elements in $P_\infty (A,B,p)$, $p=\Phi (1)$ for all $\Phi \in P_\infty (A,B,p)$, and pure elements in $P_\infty (A,B)$ in terms of a self-dual Hilbert module structure induced by each $\Phi$ in $P_\infty (A,B)$. Let $P_\infty (B(H))_R$ be the subset of $P_\infty (B(H), B(H))$ consisting of $R$-module maps for a von Neumann algebra $R\subseteq B(\mathbb{H})$. We characterize normal elements in $P_\infty (B(H))_R$ to be extreme. Results here generalize various earlier results by Choi, Paschke and Lin.