FORMALIZATION OF A CONVERGEDINTERNET AND TELECOMMUNICATIONSSERVICE ENVIRONMENTVONDIPL. INFORMATIKER (FH) NIKLAS BLUMDissertationzurErlangungdesakademischenGradesDoktorderIngenieurwissenschaften–Dr.-Ing. –eingereichtanderMathematisch-NaturwissenschaftlichenFakultätderUniversitätPotsdamam15. September2010Betreuer:Prof. Dr. TizianaMargaria-Steffen UniversitätPotsdamProf. Dr. ThomasMagedanz TechnischeUniversitätBerlinThis work is licensed under a Creative Commons License: Attribution - Noncommercial - Share Alike 3.0 Germany To view a copy of this license visit http://creativecommons.org/licenses/by-nc-sa/3.0/de/ Published online at the Institutional Repository of the University of Potsdam: URL http://opus.kobv.de/ubp/volltexte/2011/5114/ URN urn:nbn:de:kobv:517-opus-51146 http://nbn-resolving.org/urn:nbn:de:kobv:517-opus-51146 Ich erkläre hiermit, dass die Arbeit bisher an keiner anderen Hochschule einge-reicht worden ist sowie selbständig und ausschließlich mit den angegebenen Mit-telnangefertigtwurde.Berlin,den15. September2010 ——————————————NiklasBlumiiiivAcknowledgementsI have been supported throughout the last years by several people. Without thevaluablefeedbackindiscussionsandgreatteamwork, Iwouldnothavebeen abletoreachmyowngoalofwritingthisthesis.