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.

This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016. The 43 full papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections named: foundations of computer science; software engineering: methods, tools, applications; and data, information, and knowledge engineering. The volume also contains 7 invited talks in full paper length.

This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. 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 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.

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."

Theareaofgraphtransformationoriginatedinthelate1960sunderthename "graph grammars" - the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology, musiccomposition, distributedsystems, speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called "Graph Grammars and Their Application to Computer Science." The new name of the Sixth Workshop re?ectsmoreaccuratelythecurrentsituation, whereboththeoryandapplication play an equally central role.

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 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. The topics selected by the authors demonstrate an increasing interest of the research community in the area of process mining, resonated by an equally fast-growing uptake by different industry sectors. The papers are organized in topical sections on process modeling; process mining; assorted BPM topics; decisions and understanding; and process knowledge.

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. The 13 revised papers were carefully selected from 36 submissions. The papers are organized in topical sections on model transformation languages, model transformation tools, developing model transformations, applications of model transformations, and looking ahead.

Dieses interdisziplinare Handbuch richtet sich an all diejenigen, die den digitalen Wandel, der im Zusammenhang mit der vierten industriellen Revolution (Industrie 4.0) diskutiert wird, in Betrieben, Verwaltungen und der Gesellschaft besser verstehen und aktiv gestalten moechten. Die einzelnen Beitrage veranschaulichen die vielfaltigen Perspektiven unterschiedlicher Disziplinen (z.B. Ingenieur-, Rechts- und Wirtschaftswissenschaften, Informatik, Psychologie, Soziologie, Erziehungswissenschaft u.a.) oder Interessensgruppen (z.B. Gewerkschaften) auf die Folgen der Digitalisierung im Arbeitsleben fur Mensch, Organisation und Gesellschaft. Das gesamte Werk schlagt eine Brucke von aktuellen Forschungsergebnissen hin zu praktischen Umsetzungshinweisen. Im Zentrum stehen drei zentrale Fragen zur Digitalisierung des Arbeitslebens, und zwar woran man sich bei der Gestaltung orientieren, wie die Transformation gestaltet werden und worauf sich die Digitalisierung auswirken kann. Beispielthemen dieser 3 Bereiche: 1. Im Zusammenhang mit den Gestaltungskriterien: sichere und gesundheitsfoerderliche Gestaltung der digitalen Arbeitswelt arbeitsrechtliche Aspekte psychologische Arbeitsgestaltung digitaler Arbeitswelten 2. Im Zusammenhang mit der Art und Weise des Wandels von analogen zu digitalen Arbeitswelten: Chancen fur gesundheitsorientierte Arbeitsgestaltung durch koerpernahe und tragbare Sensorik neue Aufgabenverteilung durch kollaborative Roboter im Rahmen der Mitbestimmung Prozesse durch proaktive betriebliche Interessensvertretung gestalten 3. Im Zusammenhang mit den Konsequenzen: Auswirkungen digitaler Arbeitswelten auf die Beschaftigungsstrukturen und das Privatleben Moeglichkeiten dieser Entwicklung fur die Inklusion alterer Menschen oder Menschen mit Behinderung Zielgruppen Anwender/innen und Entwickler/innen digitaler Technologien, Fuhrungskrafte, Personalleiter/innen und Entscheidungstrager/innen in Unternehmen, Verbanden und der Politik

Technologische Entwicklungen in der Informatik haben heute weitreichende Auswirkungen nicht nur auf den privaten Alltag, sondern vor allem auch auf die gesamtwirtschaftliche Entwicklung. Dieser umfassenden Bedeutung will die 29. Jahrestagung der Gesellschaft fiir Informatik unter dem Motto, Informatik iiberwindet Grenzen" gerecht werden. In eingeladenen Vortragen und Podiumsdiskussionen, in rezensierten technischen Beitragen und in Prasentationen ausgewahlter aktueller Promotionsvorhaben werden deshalb sowohl technische Neuerungen als auch die sich verandernden gesellschaftlichen Rahmenbedingungen vorgestellt. Hauptthema der Tagung sind der elektronische Handel und das damit eng verbundene Thema der Sicherheit, z. B. im elektronischen Zahlungsverkehr. Wir freuen uns, zu diesen Themen herausragende eingeladene Sprecher aus Industrie und Wissenschaft gewonnen zu haben. Einen Hauptvortrag halten: Dr. K. Eierhoff (Bertelsmann AG, Giitersloh), Prof. Dr. H. Maurer (TU Graz, bsterreich), E. Koller (IBM Deutschland, Stuttgart), J. Frischmuth (Siemens Business Services, Miinchen), Prof. Dr. U. Maurer (ETH Zurich, Schweiz). Die Zusammenfassungen ihrer Vortrage finden sich in diesem Band. Die relativ junge Wissenschaftsgeschichte der Informatik und die damit verbundene Frage der mangelnden Qualitat der (Software-)Produkte in der IT -Branche sind das Thema des ersten Nachmittags. Die eingeladenen Sprecher sind Prof. Dr. W. . Aspray (CRA, Washington D.C., USA) und Prof. Dr. R. Vollmar (Universitat Karlsruhe (TH)). Ander anschlieBenden Podiumsdiskussion nehmen teil: Prof. Dr. W. Aspray, Prof. Dr. Dr. h.c. mult. F.L. Bauer (TU Miinchen), Dr. K. Beiersdorfer (Heinz Nixdorf MuseumsForum, Paderborn), Prof. Dr. R. Keil-Slawik (Universitat Paderborn), Prof. Dr. P. Lockemann (Universitat Karlsruhe (TH)), Prof. Dr. R."

Dieses Buch wendet sich sowohl an InfOImatiker in der Praxis als auch an Dozenten und Studenten der Informatik an Universitaten, die an einem umfassenden und detaillierten Einblick in das Themengebiet der Programmentwicklungsumgebungen bzw. Softwareentwicklungsumgebungen interessiert sind. Dieses Forschungsthema hat gerade in den letzten 10 Jahren eine theoretische Fundierung und auch praktische Relevanz erlangt. Auf immer mehr Messen und in immer grosseren Anzeigen wird fur Softwarewerkzeuge, die die Produktivitat der Entwickler um das n-fache steigern sollen, geworben. Im Forschungssektor ist eine Vielzahl von Veroffentlichungen uber "Umgebungen" auf einschlagigen, insbesondere Software-Engineering Konferenzen zu beobachten, was letztlich sogar zur Grundung einer eigenen internationalen Konferenzreihe fuhrte, dem Symposium uber "Practical Software Development Environments," das bisher in Pittsburgh (Pennsylvania), Palo Alto (Kalifornien) und Boston (Mas sachusetts) stattfand. Das Buch ist entstanden auf der Grundlage der Dissertationen der beiden Autoren sowie mehrerer Spezialvorlesungen, die beide Autoren an den Universitaten Braunschweig, Dortmund und McGill (Mont real) in den letzten Jahren gehalten haben. Beide Autoren beschaftigen sich seit Anfang der 80er Jahre insbesondere im Rahmen des Forschungsprojektes IPSEN (Integrated Programming Support Environ ment) intensiv mit diesem Themengebiet. Programmentwicklungsumgebungen stellen einen integrierten Satz von Software-Werkzeugen bereit, die einen Programmierer bei der Entwicklung eines Programms unterstutzen. Hierzu gehoren z.B."