TY - BOOK A1 - Aarseth, Espen T1 - Locating the Game in Computer Games : from game structure to game semantics : Ringvorlesung 2009-12-03 N2 - The talk will focus on a few central problems in Game Studies: The question of where to locate game meaning, game defintions and how to avoid them, and the conundrum of games vs stories. In all these problems, the choice of ludic perspective (e.g. are games artifacts, systems or activities?) limits our ability to discuss games across disciplinary boundaries. What is needed is a metaperspective that will offer the field a chance to move on. Y1 - 2009 UR - http://info.ub.uni-potsdam.de/multimedia/show_projekt.php?projekt_id=79 PB - Univ. Potsdam CY - Potsdam ER - TY - BOOK A1 - Alon, Ilan A1 - Chang, Julian A1 - Fetscherin, Marc A1 - Lattemann, Christoph A1 - McIntyre, John R. T1 - Final Reflections Y1 - 2009 SN - 978-0-230-57625-4 ER - TY - BOOK A1 - Alon, Ilan A1 - Chang, Julian A1 - Fetscherin, Marc A1 - Lattemann, Christoph A1 - McIntyre, John R. T1 - Introduction Y1 - 2009 SN - 978-0-230-57625-4 ER - TY - BOOK A1 - Becker, Basil A1 - Giese, Holger A1 - Neumann, Stefan T1 - Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations N2 - Service-oriented modeling employs collaborations to capture the coordination of multiple roles in form of service contracts. In case of dynamic collaborations the roles may join and leave the collaboration at runtime and therefore complex structural dynamics can result, which makes it very hard to ensure their correct and safe operation. We present in this paper our approach for modeling and verifying such dynamic collaborations. Modeling is supported using a well-defined subset of UML class diagrams, behavioral rules for the structural dynamics, and UML state machines for the role behavior. To be also able to verify the resulting service-oriented systems, we extended our former results for the automated verification of systems with structural dynamics [7, 8] and developed a compositional reasoning scheme, which enables the reuse of verification results. We outline our approach using the example of autonomous vehicles that use such dynamic collaborations via ad-hoc networking to coordinate and optimize their joint behavior. N2 - Bei der Modellierung Service-orientierter Systeme werden Kollaborationen verwendet, um die Koordination mehrerer Rollen durch Service-Verträge zu beschreiben. Dynamische Kollaborationen erlauben ein Hinzufügen und Entfernen von Rollen zur Kollaboration zur Laufzeit, wodurch eine komplexe strukturelle Dynamik entstehen kann. Die automatische Analyse service-orientierter Systeme wird durch diese erheblich erschwert. In dieser Arbeit stellen wir einen Ansatz zur Modellierung und Verifikation solcher dynamischer Kollaborationen vor. Eine spezielle Untermenge der UML ermöglicht die Modellierung, wobei Klassendiagramme, Verhaltensregeln für die strukturelle Dynamik und UML Zustandsdiagramme für das Verhalten der Rollen verwendet werden. Um die Verifikation der so modellierten service-orientierten Systeme zu ermöglichen, erweiterten wir unsere früheren Ergebnisse zur Verifikation von Systemen mit struktureller Dynamik [7,8] und entwickelten einen kompositionalen Verifikationsansatz. Der entwickelte Verifikationsansatz erlaubt es Ergebnisse wiederzuverwenden. Die entwickelten Techniken werden anhand autonomer Fahrzeuge, die dynamische Kollaborationen über ad-hoc Netzwerke zur Koordination und Optimierung ihres gemeinsamen Verhaltens nutzen, exemplarisch vorgestellt. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 29 Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-30473 SN - 978-3-940793-91-1 ER - TY - BOOK A1 - Braun, Uwe A1 - Ale-Agha, Nosratollah A1 - Bolay, Adrien A1 - Boyle, H. A1 - Brielmaier-Liebetanz, U. A1 - Emgenbroich, D. A1 - Kruse, J. A1 - Kummer, Volker T1 - New records of powdery mildew fungi (Erysiphaceae) N2 - The conidial stage and chasmothecia of Golovinomyces orontii have been found in Germany on cultivated Limnanthes douglasii. A powdery mildew anamorph found in the Netherlands on Malva alcea agrees morphologically with the Oidium of the latter species as well. Golovinomyces sp. (anamorph) on Parthenium integrifolium is described and discussed. Erysiphe sp. has been found in Germany on Acer opalus, and E. magnifica is recorded from Germany and Switzerland on Magnolia spp. Oidium passiflorae is new to Switzerland. An Oidium morphologically agreeing with the anamorph of Podosphaera aphanis has recently been collected on Exacum macranthum cultivated in a greenhouse, and conidiophores and conidia of a species of Podosphaera sect. Sphaerotheca subsect. Magnicellulatae (P. fusca complex) on Phlox paniculata and Polemonium caeruleum have been found in Germany. Y1 - 2009 ER - TY - BOOK A1 - Denecke, Klaus-Dieter A1 - Wismath, Shelly L. T1 - Universal Algebra and Coalgebra Y1 - 2009 SN - 978-981-283745-5 PB - World Scientific Publ. Co CY - Singapore ER - TY - BOOK A1 - Giese, Holger A1 - Hildebrandt, Stephan T1 - Efficient model synchronization of large-scale models N2 - Model-driven software development requires techniques to consistently propagate modifications between different related models to realize its full potential. For large-scale models, efficiency is essential in this respect. In this paper, we present an improved model synchronization algorithm based on triple graph grammars that is highly efficient and, therefore, can also synchronize large-scale models sufficiently fast. We can show, that the overall algorithm has optimal complexity if it is dominating the rule matching and further present extensive measurements that show the efficiency of the presented model transformation and synchronization technique. N2 - Die Model-getriebene Softwareentwicklung benötigt Techniken zur Übertragung von Änderungen zwischen verschiedenen zusammenhängenden Modellen, um vollständig nutzbar zu sein. Bei großen Modellen spielt hier die Effizienz eine entscheidende Rolle. In diesem Bericht stellen wir einen verbesserten Modellsynchronisationsalgorithmus vor, der auf Tripel-Graph-Grammatiken basiert. Dieser arbeitet sehr effizient und kann auch sehr große Modelle schnell synchronisieren. Wir können zeigen, dass der Gesamtalgortihmus eine optimale Komplexität aufweist, sofern er die Ausführung dominiert. Die Effizient des Algorithmus' wird durch einige Benchmarkergebnisse belegt. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 28 KW - Model Transformation KW - Model Synchronisation KW - Tripel-Graph-Grammatik KW - Modell-getriebene Softwareentwicklung KW - Model Transformation KW - Model Synchronization KW - Triple Graph Grammars KW - Model-Driven Engineering Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-29281 SN - 978-3-940793-84-3 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Hartmann, Stefanie A1 - Selbig, Joachim T1 - Introductory Bioinformatics Y1 - 2009 SN - 978-3-8370-5189-6 PB - Books on Demand CY - Norderstedt ER - TY - BOOK A1 - Höppner, Dörte A1 - Schultz, Christian A1 - Wohlrath, Christin T1 - Seeding university spin-outs: A campbrige experience Y1 - 2009 SN - 978-3-89936-799-7 ER - TY - BOOK A1 - Iro, Andrea T1 - The UN Peacebuilding Commission : lessons from Sierra Leone N2 - “The UN Peacebuilding Commission – Lessons from Sierra Leone” by political scientist Andrea Iro is an assessment of the United Nations Peacebuilding Commission (PBC) and the United Nations Peacebuilding Fund (PBF) by analysing their performance over the last two years in Sierra Leone, one of the first PBC focus countries. The paper explores the key question of how the PBC/PBF’s mandate has been translated into operational practice in the field. It concludes that though the overall impact has been mainly positive and welcomed by the country, translating the general mandate into concrete activities remains a real challenge at the country level. T3 - WeltTrends Thesis - 6 KW - Vereinte Nationen KW - Sierra Leone KW - Friedensforschung KW - United Nations KW - Sierra Leone KW - Peace Studies Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-29599 SN - 978-3-940793-77-5 PB - Universitätsverlag Potsdam CY - Potsdam ER -