@book{Jankowski2004,
  author    = {Jankowski, \poundsukasz},
  title     = {Modelling and simulation of light propagation in non-aged and aged step-index polymer optical fibres. - [{\"u}berarb. Diss.]},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-0001659},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2004},
  abstract  = {Kunststofflichtwellenleiter (POFs) stellen ein verh{\"a}ltnism{\"a}ßig neues Medium zur optische Datenkommunikation {\"u}ber kurzen Strecken dar. W{\"a}hrend ihrer Einsatzdauer unterliegen POFs unterschiedlichen Arten von Umweltbeanspruchungen, haupts{\"a}chlich durch hohe Temperatur, hohe Feuchtigkeit und mechanischen Belastungen. Zahlreiche experimentelle Forschungen besch{\"a}ftigten sich mit der standardisierten Pr{\"u}fung der Zuverl{\"a}ssigkeit von im Handel erh{\"a}ltlichen Fasern. Jedoch gab es bisher wenig Erfolg bei der Bem{\"u}hung, zwei grundlegende optische Erscheinungen, Absorption und Streuung, die die Lichtausbreitung in Fasern stark beeinflussen, zu verstehen und praktisch zu modellieren: Diese beiden Effekte beschreiben nicht nur die Qualit{\"a}t neuer Fasern, sondern sie werden auch stark durch die Alterungsprozess beeinflusst. Der Hauptzweck dieser Doktorarbeit war es, ein praktisch verwendbares und theoretisch gut fundiertes Modell der Lichtausbreitung in nicht gealterten und gealterten POFs zu entwickeln und es durch optische Experimente zu verifizieren. Dabei wurden anwendungsorientierte Aspekte mit theoretischer POF-Modellierung kombiniert. Die Arbeit enth{\"a}lt die erste bekannte Anwendung der Wellenanalyse zur Untersuchung der winkelabh{\"a}ngigen Eigenschaften der Streuung in Lichtwellenleitern. F{\"u}r die praktischen Experimente wurden mehrere POF-Proben unterschiedlicher Hersteller k{\"u}nstlich gealtert, indem sie bis 4500 Stunden bei 100 °C gelagert wurden (ohne Feuchtekontrolle). Die Parameter der jeweiligen Simulationen wurden mittels einer systematischen Optimierung an die gemessen optischen Eigenschaften der gealterten Proben angeglichen. Die Resultate deuten an, dass der {\"U}bertragungsverlust der gealterten Fasern in den ersten Tagen und Wochen der Alterung am st{\"a}rksten durch eine wesentliche physikalische Verschlechterung der Kern-Mantel-Grenzfl{\"a}che verursacht wird. Chemische Effekte des Alterungsprozesses scheinen im Faserkernmaterial zuerst nach einigen Monaten aufzutreten.},
  language  = {en}
}
@book{Voss2008,
  author    = {Voß, Anja},
  title     = {Untersuchung und Modellierung der Stickstoff- und Phosphorumsatz- und Transportprozesse in mesoskaligen Einzugsgebieten des Tieflandes am Beispiel von Nuthe, Hammerfließ und Stepenitz},
  number    = {19},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-940793-13-3},
  issn      = {1434-2375},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-16356},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {XXI, 170},
  year      = {2008},
  abstract  = {Ziel dieser Arbeit war es, die Stickstoff- und Phosphorprozesse im nordostdeutschen Tiefland detailliert zu untersuchen und Handlungsoptionen hinsichtlich der Landnutzung zur nachhaltigen Steuerung der Stickstoff- und Phosphoreintr{\"a}ge in die Fließgew{\"a}sser aufzuzeigen. Als Grundvoraussetzung f{\"u}r die Modellierung des N{\"a}hrstoffhaushaltes mussten zun{\"a}chst die hydrologischen Prozesse und die Abfl{\"u}sse f{\"u}r die Einzugsgebiete validiert werden. Daf{\"u}r wurde in dieser Arbeit das {\"o}kohydrologische Modell SWIM verwendet. Die Abflussmodellierung umfasste den Zeitraum 1991 - 2000. Die Ergebnisse dazu zeigen, dass SWIM in der Lage war, die hydrologischen Prozesse in den Untersuchungsgebieten ad{\"a}quat wiederzugeben. Auf der Grundlage der Modellierung des Wasserhaushaltes wurden mit SWIM die Stoffumsatzprozesse f{\"u}r den Zeitraum 1996 - 2000 simuliert. Um dabei besonders das Prozessgeschehen im Tiefland zu ber{\"u}cksichtigen, war die Erweiterung von SWIM um einen Ammonium-Pool mit dessen Umsatzprozessen erforderlich. Außerdem wurde der Prozess der N{\"a}hrstoffversickerung so erg{\"a}nzt, dass neben Nitrat auch Ammonium und Phosphat durch das gesamte Bodenprofil verlagert und {\"u}ber die Abflusskomponenten zum Gebietsauslass transportiert werden k{\"o}nnen. Mit diesen Modellerweiterungen konnten die Stickstoff und Phosphorprozesse in den Untersuchungsgebieten gut abgebildet werden. Mit dem so validierten Modell wurden weitere Anwendungen erm{\"o}glicht. N{\"a}hrstoffsimulationen f{\"u}r den Zeitraum 1981 bis 2000 dienten der Untersuchung des abnehmenden Trends in den N{\"a}hrstoffkonzentrationen der Nuthe. Die Untersuchungsergebnisse lassen deutlich erkennen, dass sich die Konzentrationen nach 1990 haupts{\"a}chlich auf Grund der Reduzierung der Eintr{\"a}ge aus punktf{\"o}rmigen Quellen und Rieselfeldern verringert haben. Weitere Modellrechnungen zur Herkunft der N{\"a}hrstoffe haben ergeben, dass Nitrat {\"u}berwiegend aus diffusen Quellen, Ammonium und Phosphat dagegen aus punktf{\"o}rmigen Quellen stammen. Als besonders sensitiv auf die Modellergebnisse haben sich die Parameter zu Landnutzung und -management und die Durchwurzelungstiefe der Pflanzen herausgestellt. Abschließend wurden verschiedene Landnutzungsszenarien angewendet. Die Ergebnisse zu den Szenariorechnungen zeigen, dass fast alle vorgegebenen Landnutzungsszenarien zu einer Verringerung der Stickstoff- bzw. Phosphoremissionen f{\"u}hrten. Die Anwendung von Szenarien, die alle relevanten Zielvorgaben und Empfehlungen zum Ressourcenschutz ber{\"u}cksichtigen, zeigen die gr{\"o}ßten Ver{\"a}nderungen.},
  language  = {de}
}
@book{BeckerGiese2012,
  author    = {Becker, Basil and Giese, Holger},
  title     = {Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-217-9},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-62437},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {iv, 27},
  year      = {2012},
  abstract  = {Cyber-physical systems achieve sophisticated system behavior exploring the tight interconnection of physical coupling present in classical engineering systems and information technology based coupling. A particular challenging case are systems where these cyber-physical systems are formed ad hoc according to the specific local topology, the available networking capabilities, and the goals and constraints of the subsystems captured by the information processing part. In this paper we present a formalism that permits to model the sketched class of cyber-physical systems. The ad hoc formation of tightly coupled subsystems of arbitrary size are specified using a UML-based graph transformation system approach. Differential equations are employed to define the resulting tightly coupled behavior. Together, both form hybrid graph transformation systems where the graph transformation rules define the discrete steps where the topology or modes may change, while the differential equations capture the continuous behavior in between such discrete changes. In addition, we demonstrate that automated analysis techniques known for timed graph transformation systems for inductive invariants can be extended to also cover the hybrid case for an expressive case of hybrid models where the formed tightly coupled subsystems are restricted to smaller local networks.},
  language  = {en}
}
@book{GieseBecker2013,
  author    = {Giese, Holger and Becker, Basil},
  title     = {Modeling and verifying dynamic evolving service-oriented architectures},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-246-9},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-65112},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {97},
  year      = {2013},
  abstract  = {The service-oriented architecture supports the dynamic assembly and runtime reconfiguration of complex open IT landscapes by means of runtime binding of service contracts, launching of new components and termination of outdated ones. Furthermore, the evolution of these IT landscapes is not restricted to exchanging components with other ones using the same service contracts, as new services contracts can be added as well. However, current approaches for modeling and verification of service-oriented architectures do not support these important capabilities to their full extend.In this report we present an extension of the current OMG proposal for service modeling with UML - SoaML - which overcomes these limitations. It permits modeling services and their service contracts at different levels of abstraction, provides a formal semantics for all modeling concepts, and enables verifying critical properties. Our compositional and incremental verification approach allows for complex properties including communication parameters and time and covers besides the dynamic binding of service contracts and the replacement of components also the evolution of the systems by means of new service contracts. The modeling as well as verification capabilities of the presented approach are demonstrated by means of a supply chain example and the verification results of a first prototype are shown.},
  language  = {en}
}
@book{VogelGiese2013,
  author    = {Vogel, Thomas and Giese, Holger},
  title     = {Model-driven engineering of adaptation engines for self-adaptive software : executable runtime megamodels},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-227-8},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-63825},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {vi, 59},
  year      = {2013},
  abstract  = {The development of self-adaptive software requires the engineering of an adaptation engine that controls and adapts the underlying adaptable software by means of feedback loops. The adaptation engine often describes the adaptation by using runtime models representing relevant aspects of the adaptable software and particular activities such as analysis and planning that operate on these runtime models. To systematically address the interplay between runtime models and adaptation activities in adaptation engines, runtime megamodels have been proposed for self-adaptive software. A runtime megamodel is a specific runtime model whose elements are runtime models and adaptation activities. Thus, a megamodel captures the interplay between multiple models and between models and activities as well as the activation of the activities. In this article, we go one step further and present a modeling language for ExecUtable RuntimE MegAmodels (EUREMA) that considerably eases the development of adaptation engines by following a model-driven engineering approach. We provide a domain-specific modeling language and a runtime interpreter for adaptation engines, in particular for feedback loops. Megamodels are kept explicit and alive at runtime and by interpreting them, they are directly executed to run feedback loops. Additionally, they can be dynamically adjusted to adapt feedback loops. Thus, EUREMA supports development by making feedback loops, their runtime models, and adaptation activities explicit at a higher level of abstraction. Moreover, it enables complex solutions where multiple feedback loops interact or even operate on top of each other. Finally, it leverages the co-existence of self-adaptation and off-line adaptation for evolution.},
  language  = {en}
}
@book{WaetzoldtGiese2015,
  author    = {W{\"a}tzoldt, Sebastian and Giese, Holger},
  title     = {Modeling collaborations in self-adaptive systems of systems},
  number    = {96},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-324-4},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-73036},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {72},
  year      = {2015},
  abstract  = {An increasing demand on functionality and flexibility leads to an integration of beforehand isolated system solutions building a so-called System of Systems (SoS). Furthermore, the overall SoS should be adaptive to react on changing requirements and environmental conditions. Due SoS are composed of different independent systems that may join or leave the overall SoS at arbitrary point in times, the SoS structure varies during the systems lifetime and the overall SoS behavior emerges from the capabilities of the contained subsystems. In such complex system ensembles new demands of understanding the interaction among subsystems, the coupling of shared system knowledge and the influence of local adaptation strategies to the overall resulting system behavior arise. In this report, we formulate research questions with the focus of modeling interactions between system parts inside a SoS. Furthermore, we define our notion of important system types and terms by retrieving the current state of the art from literature. Having a common understanding of SoS, we discuss a set of typical SoS characteristics and derive general requirements for a collaboration modeling language. Additionally, we retrieve a broad spectrum of real scenarios and frameworks from literature and discuss how these scenarios cope with different characteristics of SoS. Finally, we discuss the state of the art for existing modeling languages that cope with collaborations for different system types such as SoS.},
  language  = {en}
}