Proceedings Of The Hpi Research School On Service Oriented Systems Engineering 2020 Fall Retreat

Author : Christoph Meinel,Jürgen Döllner,Mathias Weske,Andreas Polze,Robert Hirschfeld,Felix Naumann,Holger Giese,Patrick Baudisch,Tobias Friedrich,Erwin Böttinger,Christoph Lippert,Christian Dörr,Anja Lehmann,Bernhard Renard,Tilmann Rabl,Falk Uebernickel,Bert Arnrich,Katharina Hölzle
Publisher : Unknown
Page : 0 pages
File Size : 43,8 Mb
Release : 2021
Category : Electronic
ISBN : 3869565136

Get Book

Proceedings of the HPI Research School on Service-oriented Systems Engineering 2020 Fall Retreat by Christoph Meinel,Jürgen Döllner,Mathias Weske,Andreas Polze,Robert Hirschfeld,Felix Naumann,Holger Giese,Patrick Baudisch,Tobias Friedrich,Erwin Böttinger,Christoph Lippert,Christian Dörr,Anja Lehmann,Bernhard Renard,Tilmann Rabl,Falk Uebernickel,Bert Arnrich,Katharina Hölzle Pdf

Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application. 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. The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the research school, this technical report covers a wide range of 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.

Author : Christoph Meinel,Jürgen Roland Friedrich Döllner,Mathias Weske,Andreas Polze,Robert Hirschfeld,Felix Naumann,Holger Giese,Patrick Baudisch,Tobias Friedrich,Erwin Böttinger,Christoph Lippert,Christian Dörr,Anja Lehmann,Bernhard Renard,Tilmann Rabl,Falk Uebernickel,Bert Arnrich,Katharina Hölzle
Publisher : Universitätsverlag Potsdam
Page : 160 pages
File Size : 40,7 Mb
Release : 2023-06-07
Category : Electronic
ISBN : 9783869565132

Get Book

Proceedings of the HPI Research School on Service-oriented Systems Engineering 2020 Fall Retreat by Christoph Meinel,Jürgen Roland Friedrich Döllner,Mathias Weske,Andreas Polze,Robert Hirschfeld,Felix Naumann,Holger Giese,Patrick Baudisch,Tobias Friedrich,Erwin Böttinger,Christoph Lippert,Christian Dörr,Anja Lehmann,Bernhard Renard,Tilmann Rabl,Falk Uebernickel,Bert Arnrich,Katharina Hölzle Pdf

Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application. 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. The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the research school, this technical report covers a wide range of 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.

Author : Falco Dürsch,Patrick Rein,Toni Mattis,Robert Hirschfeld
Publisher : Universitätsverlag Potsdam
Page : 92 pages
File Size : 44,8 Mb
Release : 2023-03-15
Category : Computers
ISBN : 9783869565286

Get Book

Learning from failure by Falco Dürsch,Patrick Rein,Toni Mattis,Robert Hirschfeld Pdf

Regression testing is a widespread practice in today's software industry to ensure software product quality. Developers derive a set of test cases, and execute them frequently to ensure that their change did not adversely affect existing functionality. As the software product and its test suite grow, the time to feedback during regression test sessions increases, and impedes programmer productivity: developers wait longer for tests to complete, and delays in fault detection render fault removal increasingly difficult. Test case prioritization addresses the problem of long feedback loops by reordering test cases, such that test cases of high failure probability run first, and test case failures become actionable early in the testing process. We ask, given test execution schedules reconstructed from publicly available data, to which extent can their fault detection efficiency improved, and which technique yields the most efficient test schedules with respect to APFD? To this end, we recover regression 6200 test sessions from the build log files of Travis CI, a popular continuous integration service, and gather 62000 accompanying changelists. We evaluate the efficiency of current test schedules, and examine the prioritization results of state-of-the-art lightweight, history-based heuristics. We propose and evaluate a novel set of prioritization algorithms, which connect software changes and test failures in a matrix-like data structure. Our studies indicate that the optimization potential is substantial, because the existing test plans score only 30% APFD. The predictive power of past test failures proves to be outstanding: simple heuristics, such as repeating tests with failures in recent sessions, result in efficiency scores of 95% APFD. The best-performing matrix-based heuristic achieves a similar score of 92.5% APFD. In contrast to prior approaches, we argue that matrix-based techniques are useful beyond the scope of effective prioritization, and enable a number of use cases involving software maintenance. We validate our findings from continuous integration processes by extending a continuous testing tool within development environments with means of test prioritization, and pose further research questions. We think that our findings are suited to propel adoption of (continuous) testing practices, and that programmers' toolboxes should contain test prioritization as an existential productivity tool.

Author : Sven Schneider,Maria Maximova,Holger Giese
Publisher : Universitätsverlag Potsdam
Page : 44 pages
File Size : 53,8 Mb
Release : 2022-11-17
Category : Computers
ISBN : 9783869565316

Get Book

Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction by Sven Schneider,Maria Maximova,Holger Giese Pdf

The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that violation could have been reached possibly obtaining contradictions to assumed invariants. However, GTSs where multiple agents regularly perform actions independently from each other cannot be analyzed using this technique as of now as the independence among backward steps may prevent the gathering of relevant knowledge altogether. In this paper, we extend k-induction to GTSs with multiple agents thereby supporting a wide range of additional GTSs. As a running example, we consider an unbounded number of shuttles driving on a large-scale track topology, which adjust their velocity to speed limits to avoid derailing. As central contribution, we develop pruning techniques based on causality and independence among backward steps and verify that k-induction remains sound under this adaptation as well as terminates in cases where it did not terminate before.

Author : Christian Bartz,Ralf Krestel
Publisher : Universitätsverlag Potsdam
Page : 94 pages
File Size : 45,6 Mb
Release : 2021-11-15
Category : Computers
ISBN : 9783869565149

Get Book

Deep learning for computer vision in the art domain by Christian Bartz,Ralf Krestel Pdf

In recent years, computer vision algorithms based on machine learning have seen rapid development. In the past, research mostly focused on solving computer vision problems such as image classification or object detection on images displaying natural scenes. Nowadays other fields such as the field of cultural heritage, where an abundance of data is available, also get into the focus of research. In the line of current research endeavours, we collaborated with the Getty Research Institute which provided us with a challenging dataset, containing images of paintings and drawings. In this technical report, we present the results of the seminar "Deep Learning for Computer Vision". In this seminar, students of the Hasso Plattner Institute evaluated state-of-the-art approaches for image classification, object detection and image recognition on the dataset of the Getty Research Institute. The main challenge when applying modern computer vision methods to the available data is the availability of annotated training data, as the dataset provided by the Getty Research Institute does not contain a sufficient amount of annotated samples for the training of deep neural networks. However, throughout the report we show that it is possible to achieve satisfying to very good results, when using further publicly available datasets, such as the WikiArt dataset, for the training of machine learning models.

Author : Paula Klinke,Silvan Verhoeven,Felix Roth,Linus Hagemann,Tarik Alnawa,Jens Lincke,Patrick Rein,Robert Hirschfeld
Publisher : Universitätsverlag Potsdam
Page : 178 pages
File Size : 43,8 Mb
Release : 2022-09-21
Category : Computers
ISBN : 9783869565217

Get Book

Tool support for collaborative creation of interactive storytelling media by Paula Klinke,Silvan Verhoeven,Felix Roth,Linus Hagemann,Tarik Alnawa,Jens Lincke,Patrick Rein,Robert Hirschfeld Pdf

Scrollytellings are an innovative form of web content. Combining the benefits of books, images, movies, and video games, they are a tool to tell compelling stories and provide excellent learning opportunities. Due to their multi-modality, creating high-quality scrollytellings is not an easy task. Different professions, such as content designers, graphics designers, and developers, need to collaborate to get the best out of the possibilities the scrollytelling format provides. Collaboration unlocks great potential. However, content designers cannot create scrollytellings directly and always need to consult with developers to implement their vision. This can result in misunderstandings. Often, the resulting scrollytelling will not match the designer’s vision sufficiently, causing unnecessary iterations. Our project partner Typeshift specializes in the creation of individualized scrollytellings for their clients. Examined existing solutions for authoring interactive content are not optimally suited for creating highly customized scrollytellings while still being able to manipulate all their elements programmatically. Based on their experience and expertise, we developed an editor to author scrollytellings in the lively.next live-programming environment. In this environment, a graphical user interface for content design is combined with powerful possibilities for programming behavior with the morphic system. The editor allows content designers to take on large parts of the creation process of scrollytellings on their own, such as creating the visible elements, animating content, and fine-tuning the scrollytelling. Hence, developers can focus on interactive elements such as simulations and games. Together with Typeshift, we evaluated the tool by recreating an existing scrollytelling and identified possible future enhancements. Our editor streamlines the creation process of scrollytellings. Content designers and developers can now both work on the same scrollytelling. Due to the editor inside of the lively.next environment, they can both work with a set of tools familiar to them and their traits. Thus, we mitigate unnecessary iterations and misunderstandings by enabling content designers to realize large parts of their vision of a scrollytelling on their own. Developers can add advanced and individual behavior. Thus, developers and content designers benefit from a clearer distribution of tasks while keeping the benefits of collaboration.

Author : Sven Schneider,Maria Maximova,Holger Giese
Publisher : Universitätsverlag Potsdam
Page : 44 pages
File Size : 53,7 Mb
Release : 2023-01-30
Category : Computers
ISBN : 9783869565170

Get Book

Probabilistic metric temporal graph logic by Sven Schneider,Maria Maximova,Holger Giese Pdf

Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time. In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.

Author : Christoph Meinel,Plattner, Hasso,Döllner, Jürgen
Publisher : Universitätsverlag Potsdam
Page : 240 pages
File Size : 42,5 Mb
Release : 2011
Category : Computers
ISBN : 9783869561295

Get Book

Proceedings of the ... Ph. D. Retreat of the HPI Research School on Service-Oriented Systems Engineering by Christoph Meinel,Plattner, Hasso,Döllner, Jürgen Pdf

Author : Meinel, Christoph , Plattner, Hasso , Döllner, Jürgen , Weske, Mathias , Polze, Andreas , Hirschfeld, Robert , Naumann, Felix , Giese, Holger , Baudisch, Patrick , Friedrich, Tobias , Müller, Emmanuel
Publisher : Universitätsverlag Potsdam
Page : 268 pages
File Size : 41,5 Mb
Release : 2018-01-17
Category : Computers
ISBN : 9783869563909

Get Book

Proceedings of the 10th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering by Meinel, Christoph , Plattner, Hasso , Döllner, Jürgen , Weske, Mathias , Polze, Andreas , Hirschfeld, Robert , Naumann, Felix , Giese, Holger , Baudisch, Patrick , Friedrich, Tobias , Müller, Emmanuel Pdf

Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application. Commonly used technologies, such as J2EE and .NET, form de facto standards for the realization of complex distributed systems. Evolution of component systems has lead to web services and service-based architectures. This has been manifested in a multitude of industry standards and initiatives such as XML, WSDL UDDI, SOAP, etc. All these achievements lead to a new and promising paradigm in IT systems engineering which proposes to design complex software solutions as collaboration of contractually defined software services. 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. The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the research school, this technical report covers a wide range of 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.

Author : Anonim
Publisher : Unknown
Page : 114 pages
File Size : 52,8 Mb
Release : 2007
Category : Electronic
ISBN : 3939469580

Get Book

Proceedings of the Fall 2006 Workshop of the HPI Research School on Service-Oriented Systems Engineering by Anonim Pdf

Author : Benjamin Hagedorn,Michael Schöbel,Matthias Uflacker,Flavius Copaciu,Nikola Milanovic
Publisher : Unknown
Page : 128 pages
File Size : 48,9 Mb
Release : 2009
Category : Electronic
ISBN : OCLC:1236167150

Get Book

Proceedings of the Fall 2006 Workshop of the HPI Research School on Service-oriented Systems Engineering by Benjamin Hagedorn,Michael Schöbel,Matthias Uflacker,Flavius Copaciu,Nikola Milanovic Pdf

Author : Leslie Neal-Boylan
Publisher : John Wiley & Sons
Page : 432 pages
File Size : 48,7 Mb
Release : 2011-11-28
Category : Medical
ISBN : 9781118277850

Get Book

Clinical Case Studies for the Family Nurse Practitioner by Leslie Neal-Boylan Pdf

Clinical Case Studies for the Family Nurse Practitioner is a key resource for advanced practice nurses and graduate students seeking to test their skills in assessing, diagnosing, and managing cases in family and primary care. Composed of more than 70 cases ranging from common to unique, the book compiles years of experience from experts in the field. It is organized chronologically, presenting cases from neonatal to geriatric care in a standard approach built on the SOAP format. This includes differential diagnosis and a series of critical thinking questions ideal for self-assessment or classroom use.

Author : Mairi Macintyre,Glenn Parry,Jannis Angelis
Publisher : Springer Science & Business Media
Page : 188 pages
File Size : 48,5 Mb
Release : 2011-04-02
Category : Business & Economics
ISBN : 9781441983213

Get Book

Service Design and Delivery by Mairi Macintyre,Glenn Parry,Jannis Angelis Pdf

Service Design and Delivery provides a comprehensive overview of the increasingly important role played by the service industry. Focusing on the development of different processes employed by service organizations, the book emphasizes management of service in relation to products. It not only explores the complexity of this relationship, but also introduces strategies used in the design and management of service across various sectors, highlighting where tools, techniques and processes applicable to one sector may prove useful in another. The implementation methods introduced in the book also illustrate how and why companies can transform themselves into service organizations. While the book is primarily intended as a text for advanced-level courses in service design and delivery, it also contains theoretical and practical knowledge beneficial to both practitioners in the service sector and those in manufacturing contemplating moving towards service delivery.

Author : Kurt Bittner,Ian Spence
Publisher : Addison-Wesley Professional
Page : 374 pages
File Size : 45,9 Mb
Release : 2003
Category : Business & Economics
ISBN : 0201709139

Get Book

Use Case Modeling by Kurt Bittner,Ian Spence Pdf

Discusses how to define and organize use cases that model the user requirements of a software application. The approach focuses on identifying all the parties who will be using the system, then writing detailed use case descriptions and structuring the use case model. An ATM example runs throughout the book. The authors work at Rational Software. Annotation copyrighted by Book News, Inc., Portland, OR

Author : National Academies of Sciences, Engineering, and Medicine,Health and Medicine Division,Board on Health Sciences Policy,Committee on Pain Management and Regulatory Strategies to Address Prescription Opioid Abuse
Publisher : National Academies Press
Page : 483 pages
File Size : 41,5 Mb
Release : 2017-09-28
Category : Medical
ISBN : 9780309459570

Get Book

Pain Management and the Opioid Epidemic by National Academies of Sciences, Engineering, and Medicine,Health and Medicine Division,Board on Health Sciences Policy,Committee on Pain Management and Regulatory Strategies to Address Prescription Opioid Abuse Pdf

Drug overdose, driven largely by overdose related to the use of opioids, is now the leading cause of unintentional injury death in the United States. The ongoing opioid crisis lies at the intersection of two public health challenges: reducing the burden of suffering from pain and containing the rising toll of the harms that can arise from the use of opioid medications. Chronic pain and opioid use disorder both represent complex human conditions affecting millions of Americans and causing untold disability and loss of function. In the context of the growing opioid problem, the U.S. Food and Drug Administration (FDA) launched an Opioids Action Plan in early 2016. As part of this plan, the FDA asked the National Academies of Sciences, Engineering, and Medicine to convene a committee to update the state of the science on pain research, care, and education and to identify actions the FDA and others can take to respond to the opioid epidemic, with a particular focus on informing FDA's development of a formal method for incorporating individual and societal considerations into its risk-benefit framework for opioid approval and monitoring.