Hasso-Plattner-Institut
  
Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Graph Transformation

This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.
The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.

Software Engineering for Self-Adaptive Systems II

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of self-adaptive systems that are able to adapt to internal faults, changing requirements, and evolving environments. The 15 carefully reviewed papers included in this state-of-the-art survey were presented at the International Seminar on "Software Engineering for Self-Adaptive Systems", held in Dagstuhl Castle, Germany, in October 2010. Continuing the course of the first book of the series on "Software Engineering for Self-Adaptive Systems" the collection of papers in this second volume comprises a research roadmap accompanied by four elaborating working group papers. Next there are two parts - with three papers each - entitled "Requirements and Policies" and "Design Issues"; part four of the book contains four papers covering a wide range of "Applications".

Formal Techniques for Distributed Systems

This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.

Model-Based Engineering of Embedded Real-Time Systems

International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

This volume describes novel and state-of-the-art approaches to solving problems arising in the domain of embedded real-time systems. It is based on the GI-Dagstuhl research seminar MBEERTS (Modelling-Based Engineering of Embedded Real-Time Systems), which took place from November 4th to 9th in 2007, at Schloss Dagstuhl, Germany. Using models throughout the development bears several advantages. Not only can they be used as a tool for abstraction but also for verification, implementation, testing and maintenance. Due to the specific domain of real-time systems several constraints like real-time requirements, resource limitations or hardware-specific dependencies arise and impede the acceptance of high-level models for the aforementioned purposes. The approaches presented in this volume tackle those problems and lead the way to a greater acceptance and applicability of high-level models for embedded real-time systems. Therefore this volume contains 10 longer chapters covering broad areas and 11 short chapters discussing several specific state-of-the-art tools used for model-based engineering of embedded real time systems. The topic of 'Model-based Engineering of Real-time Embedded Systems' brings together a challenging problem domain (real-time embedded systems) and a solution domain (model-based engineering). Today, real-time embedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and facilitator for innovation. Development, evolution, verification, configuration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. This volume is a collection of 10 long and 11 short papers that survey the state-of-the-art in model-based development of real-time embedded systems. It is composed of longer chapters that cover broad areas and short papers that discuss specific tools. This state-of-the-art survey - outcome of a Dagstuhl Seminar held in Dagstuhl Castle in November 2007 - covers the essential aspects of integrated software and systems engineering in the field of model-based engineering of embedded real-time systems. The topics covered include: frameworks and methods, validation, model-based integration technology, formal modeling of semantics, fault management, concurrency models and models of computation, requirements modeling, formal derivation of designs from requirements, test modeling and model-based test generation, quality assurance, design management, abstractions and extensions, and development techniques and problems of application domains.

Architecting Critical Systems

Architecting critical systems has gained major importance in commercial, governmental and industrial sectors. Emerging software applications encompass criticalities that are associated with either the whole system or some of its components. Therefore, effective methods, techniques, and tools for constructing, testing, analyzing, and evaluating the architectures for critical systems are of major importance. Furthermore, these methods, techniques and tools must address issues of dependability and security, while focusing not only on the evelopment, but also on the deployment and evolution of the architecture.
This newly established ISARCS symposium provided an exclusive forum for exchanging views on the theory and practice for architecting critical systems. Such systems are characterized by the perceived severity of consequences that faults or attacks may cause, and architecting them requires appropriate means to assure that they will fulfill their specified services in a dependable and secure manner.

Software Engineering for Self-Adaptive Systems

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognised its key role in enabling the development of future software systems that are able to self-adapt to changes that may occur in the system, its requirements, or the environment in which it is deployed. In our understanding, this collection is one of the first books containing a collection of papers that looks specifically into the current state-of-the-art in the field, describes a wide range of approaches coming from different strands of software engineering, and presents future challenges facing this always resurgent and challenging field of research. This state-of-the-art survey originates from the International Seminar on Software Engineering for Self-Adaptive Systems, held in Dagstuhl Castle, Germany, in January 2008. Also included in this book is an invited roadmap paper on research challanges for the area of software engineering for self-adaptive systems, which was based on the discussion held at the Dagstuhl Seminar and put together by several of its participants. The volume consists of four parts: Research Roadmap, Architecture-Based, Context-Aware and Model-Driven, as well as Self-Healing.

Models in Software Engineering

This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735).

The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007), model-based design of trustworthy health information systems (MOTHIS 2007), model-driven engineering, verification and validation (MoDeVVa 2007), modelling systems with OCL (Ocl4All 2007), Models@run.time, multi-paradigm modeling: concepts and tools (MPM 2007), quality in modeling, doctoral symposium, and educators' symposium.

Software Engineering for Multi-Agent Systems V

The papers selected for this volume present advances in software engineering approaches to develop dependable high-quality multi-agent systems. These papers describe experiences and techniques associated with large multi-agent systems in a wide variety of problem domains. Reflecting the importance of agent properties in today's software systems, the papers in this book illustrate recent developments in specific issues and practical experience.

The 12 thoroughly reviewed and revised full papers are organized in topical sections on fault tolerance, exception handling and diagnosis, security and trust, verification and validation, as well as early development phases and software reuse. Some of the papers were initially presented at the 5th International Workshop on Software Engineering for Large-Scale Multi-agent Systems, SELMAS 2006, held in Shanghai, China in May 2006 in association with ICSE 2006.