  We generalize the notion of and results on maximal proper quadratic modules
from commutative unital rings to $\ast$-rings and discuss the relation of this
generalization to recent developments in noncommutative real algebraic
geometry. The simplest example of a maximal proper quadratic module is the cone
of all positive semidefinite complex matrices of a fixed dimension. We show
that the support of a maximal proper quadratic module is the symmetric part of
a prime $\ast$-ideal, that every maximal proper quadratic module in a
Noetherian $\ast$-ring comes from a maximal proper quadratic module in a simple
artinian ring with involution and that maximal proper quadratic modules satisfy
an intersection theorem. As an application we obtain the following extension of
Schm\" udgen's Strict Positivstellensatz for the Weyl algebra: Let $c$ be an
element of the Weyl algebra $\mathcal{W}(d)$ which is not negative semidefinite
in the Schr\" odinger representation. It is shown that under some conditions
there exists an integer $k$ and elements $r_1,...,r_k \in \mathcal{W}(d)$ such
that $\sum_{j=1}^k r_j c r_j^\ast$ is a finite sum of hermitian squares. This
result is not a proper generalization however because we don't have the bound
$k \le d$.
