Let [Formula: see text] and [Formula: see text] be two [Formula: see text]-algebras such that [Formula: see text] is a Banach [Formula: see text]-bimodule with the left and right compatible action of [Formula: see text] on [Formula: see text]. We define [Formula: see text] as a [Formula: see text]-algebra, where it is a strongly splitting [Formula: see text]-algebra extension of [Formula: see text] by [Formula: see text]. Normal, self-adjoint, unitary, invertible and projection elements of [Formula: see text] are characterized; sufficient and necessary conditions for existing unit and bounded approximate identity of [Formula: see text] as a Banach algebra and as a [Formula: see text]-algebra are given. We characterize ∗-automorphisms on [Formula: see text] and give some results related to ∗-homomorphisms, ∗-representations and completely bounded maps on this [Formula: see text]-algebra. Also, we have constructed a new Hilbert [Formula: see text]-module [Formula: see text] over [Formula: see text], where [Formula: see text] is a Hilbert [Formula: see text]-module over [Formula: see text] and [Formula: see text] is a Hilbert [Formula: see text]-module over [Formula: see text].