Uwe Amann – författare

Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems.This book is one of the outcomes of the Dagstuhl Seminar 11481 on models@run.time held in November/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.

Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software development. MDA s- arates the speci?cation of system functionality from the implementation on a speci?c platform. It is aimed at making software assets more resilient to changes caused by emerging technologies. While stressing the importance of modeling, the MDA initiative covers a wide spectrum of research areas. Further e?orts are required to bring them into a coherent approach based on open standards and supported by matured tools and techniques. Thisvolumecontainstheselectedpapersoftwoworkshopson“Model-Driven Architecture – Foundations and Applications” (MDAFA): MDAFA 2003 held at the University of Twente, Twente, The Netherlands, June 26–27, 2003, and MDAFA 2004 held at Linko ¨ping University, Link¨ oping, Sweden, June 10–11, 2004. The goal of the workshops was to understand the foundations of MDA, to share experience in applying MDA techniques and tools, and to outline future research directions. The workshops organizers encouraged authors of accepted papers to re-submit their papers to a post-workshop reviewing process; 15 of these papers were accepted to appear in this volume on MDA.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011. The 18 papers presented together with 4 tool/language demonstration papers were carefully reviewed and selected from numerous submissions. SLE’s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces.

This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning into mainstream software development and its languages. Ontology Driven Software Development is the essential, comprehensive resource on enabling technologies, consistency checking and process guidance for ontology-driven software development (ODSD). It demonstrates how to apply ontology reasoning in the lifecycle of software development, using current and emerging standards and technologies. You will learn new methodologies and infrastructures, additionally illustrated using detailed industrial case studies.

The book will help you:

Learn how ontology reasoning allows validations of structure models and key tasks in behavior models.Understand how to develop ODSD guidance engines for important software development activities, such as requirement engineering, domain modeling and process refinement.Become familiar with semantic standards, such as the Web Ontology Language (OWL) and the SPARQL query language.Make use of ontology reasoning, querying and justification techniques to integrate software models and to offer guidance and traceability supports.

This book is helpful for undergraduate students and professionals who are interested in studying how ontologies and related semantic reasoning can be applied to the software development process. In addition, itwill also be useful for postgraduate students, professionals and researchers who are going to embark on their research in areas related to ontology or software engineering.