[PDF] On The Operationalization Of Graph Queries With Generalized Discrimination Networks - eBooks Review

On The Operationalization Of Graph Queries With Generalized Discrimination Networks


On The Operationalization Of Graph Queries With Generalized Discrimination Networks
DOWNLOAD

Download On The Operationalization Of Graph Queries With Generalized Discrimination Networks PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get On The Operationalization Of Graph Queries With Generalized Discrimination Networks book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page



On The Operationalization Of Graph Queries With Generalized Discrimination Networks


On The Operationalization Of Graph Queries With Generalized Discrimination Networks
DOWNLOAD
Author : Beyhl, Thomas
language : en
Publisher: Universitätsverlag Potsdam
Release Date : 2017-01-12

On The Operationalization Of Graph Queries With Generalized Discrimination Networks written by Beyhl, Thomas and has been published by Universitätsverlag Potsdam this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-01-12 with Computers categories.


Graph queries have lately gained increased interest due to application areas such as social networks, biological networks, or model queries. For the relational database case the relational algebra and generalized discrimination networks have been studied to find appropriate decompositions into subqueries and ordering of these subqueries for query evaluation or incremental updates of query results. For graph database queries however there is no formal underpinning yet that allows us to find such suitable operationalizations. Consequently, we suggest a simple operational concept for the decomposition of arbitrary complex queries into simpler subqueries and the ordering of these subqueries in form of generalized discrimination networks for graph queries inspired by the relational case. The approach employs graph transformation rules for the nodes of the network and thus we can employ the underlying theory. We further show that the proposed generalized discrimination networks have the same expressive power as nested graph conditions.



Modular And Incremental Global Model Management With Extended Generalized Discrimination Networks


Modular And Incremental Global Model Management With Extended Generalized Discrimination Networks
DOWNLOAD
Author : Matthias Barkowsky
language : en
Publisher: Universitätsverlag Potsdam
Release Date : 2023-06-06

Modular And Incremental Global Model Management With Extended Generalized Discrimination Networks written by Matthias Barkowsky and has been published by Universitätsverlag Potsdam this book supported file pdf, txt, epub, kindle and other format this book has been release on 2023-06-06 with Computers categories.


Complex projects developed under the model-driven engineering paradigm nowadays often involve several interrelated models, which are automatically processed via a multitude of model operations. Modular and incremental construction and execution of such networks of models and model operations are required to accommodate efficient development with potentially large-scale models. The underlying problem is also called Global Model Management. In this report, we propose an approach to modular and incremental Global Model Management via an extension to the existing technique of Generalized Discrimination Networks (GDNs). In addition to further generalizing the notion of query operations employed in GDNs, we adapt the previously query-only mechanism to operations with side effects to integrate model transformation and model synchronization. We provide incremental algorithms for the execution of the resulting extended Generalized Discrimination Networks (eGDNs), as well as a prototypical implementation for a number of example eGDN operations. Based on this prototypical implementation, we experiment with an application scenario from the software development domain to empirically evaluate our approach with respect to scalability and conceptually demonstrate its applicability in a typical scenario. Initial results confirm that the presented approach can indeed be employed to realize efficient Global Model Management in the considered scenario.



Proceedings Of The Fourth Hpi Cloud Symposium Operating The Cloud 2016


Proceedings Of The Fourth Hpi Cloud Symposium Operating The Cloud 2016
DOWNLOAD
Author : Klauck, Stefan
language : en
Publisher: Universitätsverlag Potsdam
Release Date : 2017-09-15

Proceedings Of The Fourth Hpi Cloud Symposium Operating The Cloud 2016 written by Klauck, Stefan and has been published by Universitätsverlag Potsdam this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-09-15 with Computers categories.


Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic "Operating the Cloud". Our goal is to provide a forum for the exchange of knowledge and experience between industry and academia. Co-located with the event is the HPI's Future SOC Lab day, which offers an additional attractive and conducive environment for scientific and industry related discussions. "Operating the Cloud" aims to be a platform for productive interactions of innovative ideas, visions, and upcoming technologies in the field of cloud operation and administration. On the occasion of this symposium we called for submissions of research papers and practitioner's reports. A compilation of the research papers realized during the fourth HPI cloud symposium "Operating the Cloud" 2016 are published in this proceedings. We thank the authors for exciting presentations and insights into their current work and research. Moreover, we look forward to more interesting submissions for the upcoming symposium later in the year. Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic "Operating the Cloud". Our goal is to provide a forum for the exchange of knowledge and experience between industry and academia. Co-located with the event is the HPI's Future SOC Lab day, which offers an additional attractive and conducive environment for scientific and industry related discussions. "Operating the Cloud" aims to be a platform for productive interactions of innovative ideas, visions, and upcoming technologies in the field of cloud operation and administration.



Graph Transformation


Graph Transformation
DOWNLOAD
Author : Rachid Echahed
language : en
Publisher: Springer
Release Date : 2016-06-21

Graph Transformation written by Rachid Echahed and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-06-21 with Computers categories.


This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 14 papers presented in this were carefully reviewed and selected from 33 submissions. They were organized in topical sections named: foundations, tools and algorithms, queries, and applications. The book also contains one keynote paper in full paper length. The book is dedicated to Hartmut Ehrig, one of the fathers and most productive members of the Graph Transformation community, who passed away in 2016. An obituary is included in the front matter of the volume.



Proceedings Of The 10th Ph D Retreat Of The Hpi Research School On Service Oriented Systems Engineering


Proceedings Of The 10th Ph D Retreat Of The Hpi Research School On Service Oriented Systems Engineering
DOWNLOAD
Author : Meinel, Christoph
language : en
Publisher: Universitätsverlag Potsdam
Release Date : 2018-01-17

Proceedings Of The 10th Ph D Retreat Of The Hpi Research School On Service Oriented Systems Engineering written by Meinel, Christoph and has been published by Universitätsverlag Potsdam this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-01-17 with Computers categories.


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.



Probalistic Timed Graph Transformation Systems


Probalistic Timed Graph Transformation Systems
DOWNLOAD
Author : Maximove, Maria
language : en
Publisher: Universitätsverlag Potsdam
Release Date : 2017-11-30

Probalistic Timed Graph Transformation Systems written by Maximove, Maria and has been published by Universitätsverlag Potsdam this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-11-30 with categories.


Today, software has become an intrinsic part of complex distributed embedded real-time systems. The next generation of embedded real-time systems will interconnect the today unconnected systems via complex software parts and the service-oriented paradigm. Therefore besides timed behavior and probabilistic behaviour also structure dynamics, where the architecture can be subject to changes at run-time, e.g. when dynamic binding of service end-points is employed or complex collaborations are established dynamically, is required. However, a modeling and analysis approach that combines all these necessary aspects does not exist so far. To fill the identified gap, we propose Probabilistic Timed Graph Transformation Systems (PTGTSs) as a high-level description language that supports all the necessary aspects of structure dynamics, timed behavior, and probabilistic behavior. We introduce the formal model of PTGTSs in this paper and present a mapping of models with finite state spaces to probabilistic timed automata (PTA) that allows to use the PRISM model checker to analyze PTGTS models with respect to PTCTL properties.



Symbolic Model Generation For Graph Properties


Symbolic Model Generation For Graph Properties
DOWNLOAD
Author : Schneider, Sven
language : en
Publisher: Universitätsverlag Potsdam
Release Date : 2017-05-09

Symbolic Model Generation For Graph Properties written by Schneider, Sven and has been published by Universitätsverlag Potsdam this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-05-09 with Computers categories.


Graphs are ubiquitous in Computer Science. For this reason, in many areas, it is very important to have the means to express and reason about graph properties. In particular, we want to be able to check automatically if a given graph property is satisfiable. Actually, in most application scenarios it is desirable to be able to explore graphs satisfying the graph property if they exist or even to get a complete and compact overview of the graphs satisfying the graph property. We show that the tableau-based reasoning method for graph properties as introduced by Lambers and Orejas paves the way for a symbolic model generation algorithm for graph properties. Graph properties are formulated in a dedicated logic making use of graphs and graph morphisms, which is equivalent to firstorder logic on graphs as introduced by Courcelle. Our parallelizable algorithm gradually generates a finite set of so-called symbolic models, where each symbolic model describes a set of finite graphs (i.e., finite models) satisfying the graph property. The set of symbolic models jointly describes all finite models for the graph property (complete) and does not describe any finite graph violating the graph property (sound). Moreover, no symbolic model is already covered by another one (compact). Finally, the algorithm is able to generate from each symbolic model a minimal finite model immediately and allows for an exploration of further finite models. The algorithm is implemented in the new tool AutoGraph.



Graph Transformation


Graph Transformation
DOWNLOAD
Author : Maribel Fernández
language : en
Publisher: Springer Nature
Release Date : 2023-07-13

Graph Transformation written by Maribel Fernández and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2023-07-13 with Computers categories.


This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023. The 14 full papers and 2 short papers presented in this book were carefully reviewed and selected from 29 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.



Graph Transformation


Graph Transformation
DOWNLOAD
Author : Fabio Gadducci
language : en
Publisher: Springer Nature
Release Date : 2021-06-17

Graph Transformation written by Fabio Gadducci and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2021-06-17 with Computers categories.


This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 24-25, 2021. The 14 full papers and 2 tool papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the following topics: theoretical advances; application domains; and tool presentations.



Fundamental Approaches To Software Engineering


Fundamental Approaches To Software Engineering
DOWNLOAD
Author : Reiner Hähnle
language : en
Publisher: Springer
Release Date : 2019-04-03

Fundamental Approaches To Software Engineering written by Reiner Hähnle and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2019-04-03 with Computers categories.


This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.