Privacy is recognized as one of the key factors regarding the acceptance of ambient intelligence (AmI). However, privacy is neglected in many projects. We address a formal representation of AmI allowing to model systems including privacy expectations and assumptions. In order to be able to compare systems, either existing or theoretically defined, we develop a benchmark framework that is based on this formal representation. We demonstrate the applicability of our approach with a system implementing two different privacy settings.