The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications...

The growing popularity of Service Oriented Architectures is mainly due to business and technology trendsthat have crystallized over thepast decade. On the business side, companies struggle to survive in a competitive - vironment that pushes them towards a tighter integration into an industry s value chain, to outsource non core business operations or to constantly- engineer business processes. These challenges boosted the demand for sc- able IT-solutions, with e?orts ultimately resulting in a ?exible architectural paradigm Service Oriented Architectures. On the technical side, middleware...

Das Buch vermittelt die grundlegenden Konzepte und Zusammenhange objektorientierter Entwurfsmethoden. Im Mittelpunkt stehen dabei die graphischen Beschreibungstechniken der Unified Modeling Language (UML). Neben einer kurzen Einfuhrung in Klassen-, Sequenz- und Zustandsdiagramme wird der Leser zunachst mit den Grundbegriffen objektorientierter Systemmodellierung vertraut gemacht. Im Vordergrund steht das Zusammenspiel der unterschiedlichen Diagrammtypen und ihre methodische Verwendung im Use-Case-gesteuerten Entwurf.
Das Buch, das nur Grundkenntnisse in objektorientierter Technologie...

Based on the paradigm of model-driven security, the authors of this book show how to systematically design and realize security-critical applications for SOAs. In a second step, they apply the principles of model-driven security to SOAs.

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model...