@book{OPUS4-8381, title = {Proceedings of the Master seminar on event processing systems for business process management systems}, number = {102}, editor = {Baumgraß, Anne and Meyer, Andreas and Weske, Mathias}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-347-3}, issn = {1613-5652}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-83819}, publisher = {Universit{\"a}t Potsdam}, pages = {vii, 67}, year = {2015}, abstract = {Traditionally, business process management systems only execute and monitor business process instances based on events that originate from the process engine itself or from connected client applications. However, environmental events may also influence business process execution. Recent research shows how the technological improvements in both areas, business process management and complex event processing, can be combined and harmonized. The series of technical reports included in this collection provides insights in that combination with respect to technical feasibility and improvements based on real-world use cases originating from the EU-funded GET Service project - a project targeting transport optimization and green-house gas reduction in the logistics domain. Each report is complemented by a working prototype. This collection introduces six use cases from the logistics domain. Multiple transports - each being a single process instance - may be affected by the same events at the same point in time because of (partly) using the same transportation route, transportation vehicle or transportation mode (e.g. containers from multiple process instances on the same ship) such that these instances can be (partly) treated as batch. Thus, the first use case shows the influence of events to process instances processed in a batch. The case of sharing the entire route may be, for instance, due to origin from the same business process (e.g. transport three containers, where each is treated as single process instance because of being transported on three trucks) resulting in multi-instance process executions. The second use case shows how to handle monitoring and progress calculation in this context. Crucial to transportation processes are frequent changes of deadlines. The third use case shows how to deal with such frequent process changes in terms of propagating the changes along and beyond the process scope to identify probable deadline violations. While monitoring transport processes, disruptions may be detected which introduce some delay. Use case four shows how to propagate such delay in a non-linear fashion along the process instance to predict the end time of the instance. Non-linearity is crucial in logistics because of buffer times and missed connection on intermodal transports (a one-hour delay may result in a missed ship which is not going every hour). Finally, use cases five and six show the utilization of location-based process monitoring. Use case five enriches transport processes with real-time route and traffic event information to improve monitoring and planning capabilities. Use case six shows the inclusion of spatio-temporal events on the example of unexpected weather events.}, language = {en} } @book{OPUS4-8996, title = {Auswertung der Befragung zum Einsatz mobiler internetf{\"a}higer Ger{\"a}te durch Studierende an der Universit{\"a}t Potsdam}, number = {3}, editor = {Bereich Lehre und Medien, Zentrum f{\"u}r Qualit{\"a}tsentwicklung in Lehre und Studium}, issn = {2199-6520}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-89966}, publisher = {Universit{\"a}t Potsdam}, pages = {ii, 20}, year = {2015}, abstract = {Welche mobilen internetf{\"a}higen Ger{\"a}te Studierende der Universit{\"a}t Potsdam nutzen und in welchem Rahmen dies geschieht, soll die hiermit vorgelegte Untersuchung aufzeigen. Im Sommersemester 2014 hat die AG eLEARNiNG der Universit{\"a}t Potsdam unter 290 Studierenden unterschiedlicher Fachrichtungen eine Umfrage zum Umgang mobilen, internetf{\"a}higen Endger{\"a}ten durchgef{\"u}hrt, um das E-Learning-Angebot den Bed{\"u}rfnissen der Studierenden entsprechend anpassen und weiterentwickeln zu k{\"o}nnen. Um einen Vergleich zwischen verschiedenen Studieng{\"a}ngen und -standorten ziehen zu k{\"o}nnen, wurde die Befragung mit Studierenden in Veranstaltungen mit kontr{\"a}ren Parametern (Studienfach, Semesterzahl, Universit{\"a}tsstandort) durchgef{\"u}hrt.}, language = {de} } @book{FelgentreffHirschfeldMillsteinetal.2015, author = {Felgentreff, Tim and Hirschfeld, Robert and Millstein, Todd and Borning, Alan}, title = {Babelsberg/RML}, number = {103}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-348-0}, issn = {1613-5652}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-83826}, publisher = {Universit{\"a}t Potsdam}, pages = {68}, year = {2015}, abstract = {New programming language designs are often evaluated on concrete implementations. However, in order to draw conclusions about the language design from the evaluation of concrete programming languages, these implementations need to be verified against the formalism of the design. To that end, we also have to ensure that the design actually meets its stated goals. A useful tool for the latter has been to create an executable semantics from a formalism that can execute a test suite of examples. However, this mechanism so far did not allow to verify an implementation against the design. Babelsberg is a new design for a family of object-constraint languages. Recently, we have developed a formal semantics to clarify some issues in the design of those languages. Supplementing this work, we report here on how this formalism is turned into an executable operational semantics using the RML system. Furthermore, we show how we extended the executable semantics to create a framework that can generate test suites for the concrete Babelsberg implementations that provide traceability from the design to the language. Finally, we discuss how these test suites helped us find and correct mistakes in the Babelsberg implementation for JavaScript.}, language = {en} } @book{OttoPollakWerneretal.2015, author = {Otto, Philipp and Pollak, Jaqueline and Werner, Daniel and Wolff, Felix and Steinert, Bastian and Thamsen, Lauritz and Taeumel, Marcel and Lincke, Jens and Krahn, Robert and Ingalls, Daniel H. H. and Hirschfeld, Robert}, title = {Exploratives Erstellen von interaktiven Inhalten in einer dynamischen Umgebung​}, number = {101}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-346-6}, issn = {1613-5652}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-83806}, publisher = {Universit{\"a}t Potsdam}, pages = {vii, 115}, year = {2015}, abstract = {Bei der Erstellung von Visualisierungen gibt es im Wesentlichen zwei Ans{\"a}tze. Zum einen k{\"o}nnen mit geringem Aufwand schnell Standarddiagramme erstellt werden. Zum anderen gibt es die M{\"o}glichkeit, individuelle und interaktive Visualisierungen zu programmieren. Dies ist jedoch mit einem deutlich h{\"o}heren Aufwand verbunden. Flower erm{\"o}glicht eine schnelle Erstellung individueller und interaktiver Visualisierungen, indem es den Entwicklungssprozess stark vereinfacht und die Nutzer bei den einzelnen Aktivit{\"a}ten wie dem Import und der Aufbereitung von Daten, deren Abbildung auf visuelle Elemente sowie der Integration von Interaktivit{\"a}t direkt unterst{\"u}tzt.}, language = {de} } @book{OPUS4-8334, title = {Proceedings of the 9th Ph.D. retreat of the HPI Research School on service-oriented systems engineering}, number = {100}, editor = {Meinel, Christoph and Plattner, Hasso and D{\"o}llner, J{\"u}rgen Roland Friedrich and Weske, Mathias and Polze, Andreas and Hirschfeld, Robert and Naumann, Felix and Giese, Holger and Baudisch, Patrick and Friedrich, Tobias}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-345-9}, issn = {1613-5652}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-83347}, publisher = {Universit{\"a}t Potsdam}, pages = {vi, 250}, year = {2015}, abstract = {Design and implementation of service-oriented architectures impose numerous research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Service-oriented Systems Engineering represents a symbiosis of best practices in object orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns. Service-oriented Systems Engineering denotes a current research topic in the field of IT-Systems Engineering with high potential in academic research and industrial application. The annual Ph.D. Retreat of the Research School provides all members the opportunity to present the current state of their research and to give an outline of prospective Ph.D. projects. Due to the interdisciplinary structure of the Research School, this technical report covers a wide range of research topics. These include but are not limited to: Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for Service-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; and Services Specification, Composition, and Enactment.}, language = {en} } @book{DyckGiese2015, author = {Dyck, Johannes and Giese, Holger}, title = {Inductive invariant checking with partial negative application conditions}, number = {98}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-333-6}, issn = {1613-5652}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-77748}, publisher = {Universit{\"a}t Potsdam}, pages = {43}, year = {2015}, abstract = {Graph transformation systems are a powerful formal model to capture model transformations or systems with infinite state space, among others. However, this expressive power comes at the cost of rather limited automated analysis capabilities. The general case of unbounded many initial graphs or infinite state spaces is only supported by approaches with rather limited scalability or expressiveness. In this report we improve an existing approach for the automated verification of inductive invariants for graph transformation systems. By employing partial negative application conditions to represent and check many alternative conditions in a more compact manner, we can check examples with rules and constraints of substantially higher complexity. We also substantially extend the expressive power by supporting more complex negative application conditions and provide higher accuracy by employing advanced implication checks. The improvements are evaluated and compared with another applicable tool by considering three case studies.}, language = {en} } @book{Holtmann2015, author = {Holtmann, Dieter}, title = {Wohlstands- und Wohlfahrtsdimensionen im Wandel}, issn = {1612-6602}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-86474}, publisher = {Universit{\"a}t Potsdam}, pages = {110}, year = {2015}, language = {de} } @book{StedeMamprinPeldszusetal.2015, author = {Stede, Manfred and Mamprin, Sara and Peldszus, Andreas and Herzog, Andr{\´e} and Kaupat, David and Chiarcos, Christian and Warzecha, Saskia}, title = {Handbuch Textannotation}, editor = {Stede, Manfred}, isbn = {978-3-86956-343-5}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-82761}, publisher = {Universit{\"a}t Potsdam}, pages = {xvii, 209}, year = {2015}, abstract = {Das Potsdamer Kommentarkorpus ist eine Sammlung von Zeitungstexten, die dem Genre 'Kommentar' zuzuordnen sind. Der {\"o}ffentlich verf{\"u}gbare Teil besteht aus 175 Texten aus der M{\"a}rkischen Allgemeinen Zeitung, die hinsichtlich Syntax, Koreferenz, Konnektoren und Rhetorische Struktur manuell annotiert wurden. Weitere Ebenen werden bei zuk{\"u}nftigen Korpusversionen hinzukommen. Dieses Buch enth{\"a}lt die Annotationsrichtlinien, die der Bearbeitung des {\"o}ffentlichen Teils des Korpus zugrunde lagen, sowie auch anderer Teile, bei denen mit weiteren Annotationsebenen experimentiert wurde. Die meisten der Richtlinien werden auch f{\"u}r {\"a}hnliche Text-Genres und f{\"u}r andere Sprachen verwendbar sein.}, language = {de} } @book{SchroederSchellhardtAkincietal.2015, author = {Schroeder, Christoph and Schellhardt, Christin and Akinci, Mehmet-Ali and Dollnick, Meral and Dux, Ginesa and G{\"u}lbeyaz, Esin I{\c{s}}{\i}l and J{\"a}hnert, Anne and Ko{\c{c}}-G{\"u}lt{\"u}rk, Ceren and K{\"u}hmstedt, Patrick and Kuhn, Florian and Mezger, Verena and Pfaff, Carol and {\"U}rkmez, Bet{\"u}l Sena}, title = {MULTILIT}, editor = {Schroeder, Christoph and Schellhardt, Christin}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-80390}, publisher = {Universit{\"a}t Potsdam}, year = {2015}, abstract = {This paper presents an overview of the linguistic analyses developed in the MULTILIT project and the processing of the oral and written texts collected. The project investigates the language abilities of multilingual children and adolescents, in particular, those who have Turkish and/or Kurdish as a mother tongue. A further aim of the project is to examine from a psycholinguistic and sociolinguistic perspective the extent to which competence in academic registers is achieved on the basis of the languages spoken by the children, including the language(s) spoken at the home, the language of the country of residence and the first foreign language. To be able to examine these questions using corpus linguistic parameters, we created categories of analysis in MULTILIT. The data collection comprises texts from bilingual and monolingual children and adolescents in Germany in their first language Turkish, their second language German und their foreign language English. Pupils aged between nine and twenty years of age produced monologue oral and written texts in the two genres of narrative and discursive. On the basis of these samples, we examine linguistic features such as lexical expression (lexical density, lexical diversity), syntactic complexity (syntactic and discursive packaging) as well as phonology in the oral texts and orthography in the written texts, with the aim of investigating the pupils' growing mastery of these features in academic and informal registers. To this end the raw data have been transcribed by the use of transcription conventions developed especially for the needs of the MULTILIT data. They are based on the commonly used HIAT and GAT transcription conventions and supplemented with conventions that provide additional information such as features at the graphic level. The categories of analysis comprise a large number of linguistic categories such as word classes, syntax, noun phrase complexity, complex verbal morphology, direct speech and text structures. We also annotate errors and norm deviations at a wide range of levels (orthographic, morphological, lexical, syntactic and textual). In view of the different language systems, these criteria are considered separately for all languages investigated in the project.}, language = {en} } @book{GoellSeifried2015, author = {G{\"o}ll, Edgar and Seifried, Dieter}, title = {Nachhaltige Entwicklung und die Energiewende in Kuba}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-341-1}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-80848}, publisher = {Universit{\"a}t Potsdam}, pages = {121}, year = {2015}, abstract = {Seit dem UN-Gipfel 1992 in Rio de Janeiro ist die Aufmerksamkeit in Politik und {\"O}ffentlichkeit f{\"u}r das Thema „Nachhaltigkeit" gestiegen. In fast allen L{\"a}ndern dieser Welt wurden Programme und Maßnahmen zum Schutz und Erhalt der Umwelt und der sozialen Lebensbedingungen umgesetzt. Trotz beachtenswerter Fortschritte sind die bisherigen Effekte jedoch v{\"o}llig unzureichend. Umso interessanter ist daher der Blick auf einen erfolgreichen Akteur im Bereich der Umwelt- und Nachhaltigkeitspolitik: Kuba. {\"U}ber diese Erfahrungen des Karibik-Staates wird im deutschen Sprachraum kaum berichtet. Die Autoren leisten hierzu mit ihrer Studie einen Beitrag und analysieren die entsprechenden Politiken, Strategien und Maßnahmen, die in Kuba trotz vielf{\"a}ltiger Probleme zu einer gelungenen Nachhaltigkeitspolitik gef{\"u}hrt haben.}, language = {de} }