Gregor Engels - Böcker

This book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies.

This book constitutes the proceedings of the 15th International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, in September 2017.The 19 revised full papers papers presented were carefully reviewed and selected from 116 initial submissions.

This book constitutes the proceedings of the BPM Forum from the International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, September 2017.The BPM Forum hosts innovative research which has a high potential of stimulating discussions. The papers selected for the forum are expected to showcase fresh ideas from exciting and emerging topics in BPM, even if they are not yet as mature as the regular papers at the conference.The volume contains 11 full papers carefully reviewed and selected from 97 submissions. Each paper was reviewed by a team comprising of a senior PC and four regular PC members who engage in a discussion phase after the initial reviews were prepared. The authors eventually receive four review reports, and a meta-review that summarizes the reviews and the discussion.The selected papers cover topics related to process models and metrics, mining and compliance, and to other innovative ideas such as gamification, smart devices and digital innovation as far as they pertain to BPM.

ICGT 2004 was the 2nd International Conference on Graph Transformation, following the ?rst one in Barcelona (2002), and a series of six international workshops on graph grammars with applications in computer science between 1978 and 1998. ICGT 2004 was held in Rome (Italy), Sept. 29-Oct. 1, 2004 under the auspices of the European Association for Theoretical Computer S- ence (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP WG 1.3, Foundations of Systems Speci?cation. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful when - scribing complex structures and systems in a direct and intuitive way. These structures are often augmented with formalisms that add to the static descr- tion a further dimension, allowing for the modelling of the evolution of systems via all kinds of transformations of such graphical structures. The ?eld of graph transformation is concerned with the theory, applications, and implementation issues of such formalisms.The theory is strongly related to areas such as graph theory and graph - gorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal speci?cation and veri?cation, logic, and semantics. The application areas include all those ?elds of computer science, information processing,engineering,andthe naturalsciences wherestatic anddynamicm- elling using graphical structures and graph transformations, respectively, play important roles. In many of these areas tools based on graph transformation technology have been implemented and used.

This book contains a collection of 37 refereed full papers selected from the contributions presented at the 5th International Workshop on Graph Grammars and Their Applications to Computer Science, held in Williamsburg, Virginia, USA, in November 1994.The book covers the whole spectrum of methods and techniques for the investigation of the structure of graphs and graph transformations. The papers are divided into nine topical sections on rewriting techniques, specification and semantics, software engineering, algorithms and architectures, concurrency, graph languages, pattern and graphics, structure and logic of graphs, and biology.

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Theory and Applications of Graph Transformations held in Paderborn, Germany, in November 1998. The 33 revised full papers presented in the book were carefully reviewed and selected from a total of 55 papers presented at the meeting. The book addresses all current aspects in the area. The papers are organized in sections on graph languages, graph theory, categorical approaches, concurrency and distribution, artificial intelligence, visual languages, specification concepts, modularity and refinement, and software engineering.

This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MODELS 2007, held in Nashville, USA, September 30 - October 5, 2007. The 45 revised full papers were carefully reviewed and selected from 158 initial submissions. The papers are organized in topical sections.

Manfred Nagl has been a very active, productive researcher with great impact in a number of di?erent areas,e.g., graphtransformationsand their applications to a wide range of disciplines, software engineering environments, engineering designprocesses,andsoftwarearchitectures.We-?veofhisnumerousacademic descendants - were in?uenced deeply by Manfred's work. For this reason, we decided to prepare this volume, which was edited in his honor on the occasion of his 65th birthday. A "pre-release"(book of abstracts) was presented to Manfred atacelebrationatRWTHAachenUniversityinJune2009.Thecompletevolume followed when Manfred received an honorary doctorate from the University of Paderborn in November 2010. Altogether, we collected 30 papers. The types of papers vary signi?cantly, including classic research papers in the style of journal articles, surveys of - cused research areas, essays re?ecting on certain research topics, and papers summarizing long-term work conducted by Manfred Nagl. All papers were subject to a thorough quality control process involving at least two reviews for each paper.The editors were assisted by numerous ad- tional reviewers, whose work is gratefully acknowledged.

The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.

This bookconstitutes the proceedings of the 42nd International Conference on CurrentTrends in Theory and Practice of Computer Science, SOFSEM 2016, held inHarrachov, Czech Republic, in January 2016.The 43 fullpapers presented in this volume were carefully reviewed and selected from 116submissions. They are organized in topical sections named: foundations ofcomputer science; software engineering: methods, tools, applications; and data,information, and knowledge engineering. The volume also contains 7 invitedtalks in full paper length.